Keyphrases
- finite automata
- modal logic
- search tree
- branch and bound
- automata theoretic
- search algorithm
- cellular automata
- finite state
- multi valued
- databases
- logic programming
- delay insensitive
- epistemic logic
- search engine
- computational properties
- probabilistic logic
- information systems
- set theory
- real time
- digital circuits
- abductive reasoning
- regular expressions
- proof theory
- case study
- probabilistic automata
- pattern matching