Towards a declarative semantics of inheritance with exceptions.
Dianxiang XuGuoliang ZhengPublished in: J. Comput. Sci. Technol. (1996)
Keyphrases
- declarative semantics
- multiple inheritance
- deductive databases
- inheritance reasoning
- logic programming
- nonmonotonic reasoning
- logic programs
- defeasible reasoning
- logic programming language
- operational semantics
- integrity constraints
- default reasoning
- fixpoint
- fixpoint semantics
- query evaluation
- partial order
- answer set programming
- object oriented
- conditional logic
- constraint logic programming
- knowledge representation
- databases
- artificial intelligence
- programming language
- stable models
- nonmonotonic logics
- knowledge representation and reasoning
- formal semantics
- database
- constraint programming