Compiling Circumscriptive Theories into Logic Programs

• Authors:

• Michael Gelfond;Vladimir Lifschitz

• Affiliations:

• -;-

• Venue:
• Proceedings of the 2nd International Workshop on Non-Monotonic Reasoning
• Year:
• 1988