Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs.
David PearcePublished in: APPIA-GULP-PRODE (1998)
Keyphrases
- extended logic programs
- answer sets
- logic programming
- answer set semantics
- logic programs
- incomplete information
- answer set programming
- defeasible logic
- conflict resolution
- default logic
- nonmonotonic reasoning
- normal logic programs
- sat solvers
- fine grained
- high level
- reasoning tasks
- knowledge representation
- stable models
- fuzzy sets