Translation of Aggregate Programs to Normal Logic Programs.
Nikolay PelovMarc DeneckerMaurice BruynooghePublished in: Answer Set Programming (2003)
Keyphrases
- normal logic programs
- logic programs
- stable models
- answer sets
- default reasoning
- logic programming
- stable model semantics
- answer set semantics
- fixpoint
- answer set programming
- deductive databases
- knowledge representation and reasoning
- nonmonotonic reasoning
- loop formulas
- query language
- belief revision
- object oriented