Keyphrases
- cellular automata
- finite automata
- asynchronous circuits
- automated reasoning
- classical logic
- automata theoretic
- predicate logic
- logic programming
- modal logic
- finite state machines
- artificial intelligence
- lecture notes
- markov chain
- table of contents
- knowledge representation
- multi agent
- bayesian networks
- proof theory
- lattice gas
- knowledge base