Unification in Commutative Rings is Not Finitary.

Stanley Burris John Lawrence

Published in: Inf. Process. Lett. (1990)

Keyphrases

finite state
higher order
special case
learning algorithm
markov chain
function symbols
equational theories
answer set programming
theorem proving
artificial intelligence
bayesian networks
data structure
domain knowledge
markov decision processes
theorem prover