Disjunctive Logic Programs with Inheritance Revisited.
Stefania CostantiniRamón P. OteroAlessandro ProvettiTran Cao SonPublished in: ISMIS (2002)
Keyphrases
- disjunctive logic programs
- answer set programming
- logic programming
- disjunctive logic programming
- logic programs
- polynomial hierarchy
- knowledge representation
- default logic
- stable model semantics
- desirable properties
- object oriented
- answer sets
- stable models
- minimal models
- artificial intelligence
- nonmonotonic reasoning
- knowledge representation and reasoning
- programming language
- knowledge base
- default theories
- description logics
- software engineering
- lower bound