Unification Modulo Chaining.

Siva Anantharaman Christopher Bouchard Paliath Narendran Michaël Rusinowitch

Published in: LATA (2012)

Keyphrases

equational theories
theorem prover
theorem proving
higher order
knuth bendix
neural network
automated theorem proving
pattern recognition
database
high level
probabilistic model
fuzzy logic