Login / Signup
Incremental reasoning with lazy behavioral subtyping for multiple inheritance.
Johan Dovland
Einar Broch Johnsen
Olaf Owe
Martin Steffen
Published in:
Sci. Comput. Program. (2011)
Keyphrases
</>
multiple inheritance
inheritance reasoning
default reasoning
object oriented
complex objects
theoretically sound
nonmonotonic reasoning
object oriented databases
object oriented programming
feature selection
knowledge base
deductive databases
artificial intelligence
software engineering