Keyphrases
- logic programming
- theorem proving
- horn clauses
- equational theories
- automated reasoning
- theorem prover
- lattice theory
- predicate logic
- modal logic
- epistemic logic
- proof theory
- artificial neural networks
- neural network
- computational properties
- classical logic
- dynamic logic
- asynchronous circuits
- formal theory
- information systems