Compiling circumscriptive theories into logic programs

Gelfond, M. | Lifschitz, V.

Feb-1-1988–Classics

In Non- Monotonic Reasoning: 2nd International Workshop Proceedings, pp. 74–99.

artificial intelligence, logic & formal reasoning, logic programming, (4 more...)

Feb-1-1988

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (1.00)