Nonmonotonic reasoning in FLORA-2. (2005)

by M Kifer
Venue:In Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR