Declarative and Computational Properties of Logic Programs with Aggregates.
Francesco CalimeriWolfgang FaberNicola LeoneSimona PerriPublished in: IJCAI (2005)
Keyphrases
- computational properties
- logic programs
- abductive logic programming
- logic programming
- declarative semantics
- fixpoint
- answer sets
- stable models
- answer set programming
- semantic properties
- inductive logic programming
- answer set semantics
- knowledge representation
- partial deduction
- reasoning problems
- stable model semantics
- propositional theories
- deductive databases
- normal logic programs