Behavioral Subtyping, Specification Inheritance, and Modular Reasoning.
Gary T. LeavensDavid A. NaumannPublished in: ACM Trans. Program. Lang. Syst. (2015)
Keyphrases
- knowledge representation
- inheritance reasoning
- default reasoning
- high level
- object oriented
- knowledge base
- qualitative reasoning
- analogical reasoning
- formal methods
- legal reasoning
- modular neural networks
- model based reasoning
- meta level
- probabilistic reasoning
- spatial reasoning
- automated reasoning
- uncertain information
- reasoning systems
- knowledge representation and reasoning
- qualitative simulation
- data model
- modular structure
- theoretically sound
- formal specification
- derivation rules
- production rules