Logic Programs with Consistency-Restoring Rules
Marcello Balduccini, Michael Gelfond · 2003
We present an extension of language A-Prolog by consistency-restoring rules with preferences, give the semantics of the new language, CR-Prolog, and show how the language can be used to formalize various types of commonsense knowledge and reasoning.