A Sphere World Semantics for Default Reasoning

João C. P. da Silva, Sheila R. M. Veloso. A Sphere World Semantics for Default Reasoning. In V. Wiktor Marek, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR 95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Volume 928 of Lecture Notes in Computer Science, pages 175-188, Springer, 1995.

Authors

João C. P. da Silva

This author has not been identified. Look up 'João C. P. da Silva' in Google

Sheila R. M. Veloso

This author has not been identified. Look up 'Sheila R. M. Veloso' in Google