Keyphrases
- logic programming
- nonmonotonic logics
- modal logic
- defeasible logic
- nonmonotonic reasoning
- autoepistemic logic
- abductive reasoning
- classical logic
- logic programs
- multiple inheritance
- default logic
- temporal logic
- programming language
- deontic logic
- truth maintenance systems
- model theoretic
- expert systems
- propositional logic
- inference rules
- genetic algorithm
- knowledge representation and reasoning
- set theory
- logical framework
- automated reasoning
- answer set programming
- probabilistic knowledge
- deductive databases