Keyphrases
- proof search
- description logics
- automated theorem proving
- proof procedure
- classical logic
- logic programming
- multi valued
- sound and complete axiomatization
- linear logic
- asynchronous circuits
- neighborhood structure
- computational properties
- theorem prover
- inference rules
- modal logic
- databases
- logical framework
- theorem proving
- nonmonotonic logics
- digital circuits
- epistemic logic
- logic programs
- artificial intelligence
- information retrieval
- proof theory
- real time