Approximating Answer Sets of Unitary Lifschitz-Woo Programs.
Victor W. MarekInna PivkinaMiroslaw TruszczynskiPublished in: LPNMR (2005)
Keyphrases
- answer sets
- answer set semantics
- normal logic programs
- logic programs
- answer set programming
- logic programming
- semantics of logic programs
- stable models
- stable model semantics
- fixpoint
- answer set programs
- extended logic programs
- logic program updates
- loop formulas
- default reasoning
- reasoning tasks
- semantics for logic programs
- search strategy
- heuristic search
- general purpose
- counter examples
- data model
- search algorithm
- information systems