Keyphrases
- default logic
- nonmonotonic logics
- logic programming
- autoepistemic logic
- classical logic
- modal logic
- knowledge representation formalisms
- valued semantics
- default theories
- defeasible logic
- nonmonotonic reasoning
- default reasoning
- logic programs
- fixed point
- truth maintenance systems
- causal reasoning
- default rules
- commonsense reasoning
- inference rules
- answer set programming
- temporal logic
- decision procedures
- minimal models
- knowledge representation
- probabilistic reasoning
- artificial intelligence
- constraint propagation
- propositional logic
- deductive databases
- programming language
- query language
- expert systems