Keyphrases
- horn clauses
- automated reasoning
- theorem proving
- logic programming
- equational theories
- lattice theory
- sequential monte carlo
- logical framework
- monte carlo
- markov chain
- theorem prover
- modal logic
- classical logic
- logic programs
- delay insensitive
- defeasible logic
- truth values
- least squares
- proof theory
- video sequences
- data sets