Keyphrases
- logic programming
- theorem proving
- horn clauses
- relation algebra
- boolean algebra
- modal logic
- classical logic
- sound and complete axiomatization
- lattice theory
- predicate logic
- automated reasoning
- computational properties
- defeasible logic
- spatial reasoning
- equational theories
- multi valued
- formal theory
- multi agent systems
- machine learning
- distributive lattices
- neural network