Impediments to Universal Preference-Based Default Theories.

Jon Doyle Michael P. Wellman

Published in: Artif. Intell. (1991)

Keyphrases

default theories
default logic
answer set programming
autoepistemic logic
nonmonotonic logics
nonmonotonic reasoning
revision operators
default reasoning
default rules
logic programming
classical logic
theorem prover
object oriented
state space
probabilistic model
database systems
knowledge base
database