Order-sorted Equational Unification Revisited.
Joe HendrixJosé MeseguerPublished in: Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases
- equational theories
- order sorted
- theorem proving
- predicate logic
- theorem prover
- automated theorem proving
- first order logic
- automated reasoning
- temporal logic
- knowledge representation and reasoning
- learning algorithm
- incomplete information
- co occurrence
- object oriented
- video sequences
- similarity measure
- knowledge base
- artificial intelligence