Keyphrases
- verification method
- logic programming
- modal logic
- multi valued
- epistemic logic
- objective function
- logic programs
- automated reasoning
- natural deduction
- asynchronous circuits
- formal theory
- computational properties
- probabilistic relaxation
- proof theory
- predicate logic
- set theory
- real time
- classical logic
- temporal logic
- databases