Keyphrases
- general logic programs
- first order logic
- predicate calculus
- probabilistic logic
- worst case
- space complexity
- automated reasoning
- linear temporal logic
- conditional logic
- computational complexity
- modal logic
- higher order
- computational properties
- complexity analysis
- action theories
- expressive power
- classical first order logic