Keyphrases
- general logic programs
- linear temporal logic
- conditional logic
- horn clauses
- first order logic
- higher order
- logic programming
- probabilistic logic
- multi valued
- modal logic
- predicate calculus
- classical first order logic
- sound and complete with respect
- model theoretic
- automated reasoning
- logical framework
- expressive power
- logic programs
- predicate logic
- logical formulas
- multi agent systems
- learning algorithm
- logical theories
- finite model theory
- valued logic
- dynamic logic
- asynchronous circuits
- set theory
- computational properties
- classical logic
- temporal logic