|
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. |