Keyphrases
- semantics for logic programs
- propositional logic
- minimal models
- inference rules
- modal logic
- first order logic
- temporal logic
- logic programs
- belief revision
- open world
- logic programming
- stable models
- answer sets
- fixpoint
- model checking
- regular expressions
- normal logic programs
- nonmonotonic logics
- artificial intelligence
- default reasoning
- databases
- normal form
- incomplete information