Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics.
Nicholas HippenYuliya LierlerPublished in: JELIA (2021)
Keyphrases
- logic programs
- answer set semantics
- answer sets
- logic programming
- normal logic programs
- answer set programming
- extended logic programs
- abductive logic programming
- strong equivalence
- fixpoint
- stable models
- semantics of logic programs
- inductive logic programming
- computational properties
- answer set programs
- loop formulas
- stable model semantics
- reasoning tasks
- default logic
- propositional theories
- classical logic
- nonmonotonic reasoning
- natural language