Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses.
Tomi JanhunenIlkka NiemeläPublished in: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Keyphrases
- answer set programs
- answer sets
- logic programs
- answer set programming
- propositional theories
- logic programming
- horn clauses
- answer set semantics
- background knowledge
- first order logic
- stable models
- search space
- fixpoint
- inductive logic programming
- programming language
- relational databases
- boolean formula
- prime implicates