Keyphrases
- theory revision
- first order logic
- higher order
- concept learning
- propositional theories
- knowledge base
- finite automata
- cellular automata
- theoretical framework
- regular expressions
- quantifier elimination
- relational learning
- logic programming
- probabilistic automata
- stochastic dominance
- logical theories
- classical first order logic
- markov chain
- model theoretic
- action theories
- logic programs
- lattice gas