Keyphrases
- default logic
- first order logic
- expressive power
- autoepistemic logic
- propositional logic
- computer programs
- classical first order logic
- propositional variables
- inference rules
- modal logic
- automatic programming
- logic programming
- neural network
- decision procedures
- nonmonotonic logics
- expert systems
- computational properties
- logic programs
- proof theory
- object oriented
- linearly ordered
- answer set programs
- coalition logic