Keyphrases
- logic programming
- automated reasoning
- classical logic
- modal logic
- branch and bound
- search tree
- proof theory
- sound and complete axiomatization
- search algorithm
- finite state
- finite automata
- predicate logic
- tree automata
- asynchronous circuits
- multi valued
- probabilistic automata
- epistemic logic
- genetic algorithm
- knowledge base
- learning algorithm