- A System for Computing Answer Sets of Logic Programs with Aggregates.
Islam ElkabaniEnrico PontelliTran Cao SonPublished in: LPNMR (2005)
Keyphrases
- logic programs
- answer sets
- logic programming
- answer set semantics
- answer set programming
- normal logic programs
- logic program updates
- fixpoint
- extended logic programs
- stable models
- computational properties
- inductive logic programming
- answer set solvers
- answer set programs
- loop formulas
- semantics of logic programs
- polynomial hierarchy
- anti monotone
- strong equivalence
- stable model semantics
- disjunctive logic programming
- deductive databases
- minimal models
- relational databases
- orders of magnitude
- integrity constraints
- artificial intelligence