Equational Completion in Order-Sorted Algebras (Extended Abstract).

Isabelle Gnaedig Claude Kirchner Hélène Kirchner

Published in: CAAP (1988)

Keyphrases

extended abstract
order sorted
predicate logic
theorem proving
equational theories
spatial reasoning
distributive lattices
theorem prover
topological spaces
machine learning
learning algorithm
knowledge representation
knowledge representation and reasoning
clifford algebra