Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs.
Jia-Huai YouJohn MorrisYi BiPublished in: ICLP (Technical Communications) (2012)
Keyphrases
- dl programs
- answer set semantics
- logic programs
- answer sets
- normal logic programs
- logic programming
- fixpoint
- stable models
- answer set programming
- description logic programs
- fixpoint semantics
- description logics
- deductive databases
- knowledge representation
- stable model semantics
- nonmonotonic reasoning
- reasoning tasks
- default reasoning
- ontology languages
- default logic
- database systems
- horn clauses
- databases
- propositional logic
- general purpose
- high level