Sort Inheritance for Order-Sorted Equational Presentations.
Claus HintermeierClaude KirchnerHélène KirchnerPublished in: COMPASS/ADT (1994)
Keyphrases
- order sorted
- predicate logic
- theorem proving
- object oriented
- object oriented databases
- equational theories
- theorem prover
- knowledge representation
- multiple inheritance
- artificial intelligence
- data mining
- multimedia
- general purpose
- multimedia presentations
- object oriented languages
- knowledge base
- inheritance reasoning
- algebraic properties
- natural language
- object model
- database
- programming language
- low level