Computing Stable Models of Normal Logic Programs Without Grounding.
Kyle MarpleElmer SalazarGopal GuptaPublished in: CoRR (2017)
Keyphrases
- normal logic programs
- stable models
- logic programs
- logic programming
- stable model semantics
- answer set programming
- fixpoint
- deductive databases
- default reasoning
- answer sets
- strong equivalence
- inductive logic programming
- knowledge representation and reasoning
- reasoning tasks
- loop formulas
- answer set semantics
- programming language
- search strategies
- background knowledge
- semantics for logic programs