HTML
-
Copyright © Cambridge University Press 1991 1991 Cambridge University Press
Cite this article
| Levesque HL, 1984, “Foundations of a functional approach to knowledge representation” Artificial Intelligence23155–212. |
| McCarthy J, 1980, “Circumscription—a form of non-monotonic reasoning” Artificial Intelligence1327–39. |
| Reiter R. 1980, “A logic for default reasoning” Artificial Intelligence1381–132. |