Keyphrases
- markov chain
- logic programming
- formal semantics
- cellular automata
- finite state
- probabilistic automata
- default reasoning
- conditional independence
- markov model
- directed acyclic graph
- semantic information
- conceptual model
- markov process
- finite automata
- formal language
- formal languages
- logical language
- argumentation semantics
- learning algorithm