Characterizing and computing stable models of logic programs: The non-stratified case.
Gianpaolo BrignoliStefania CostantiniOttavio M. D'AntonaAlessandro ProvettiPublished in: CoRR (2014)
Keyphrases
- logic programs
- stable models
- logic programming
- normal logic programs
- answer set programming
- fixpoint
- answer sets
- stable model semantics
- strong equivalence
- computational properties
- logic programs with negation
- loop formulas
- inductive logic programming
- background knowledge
- answer set semantics
- deductive databases
- general purpose
- data model
- fixpoint semantics
- answer set programs
- model checking
- declarative semantics
- minimal models
- query processing
- natural language