Modular Paracoherent Answer Sets.
Giovanni AmendolaThomas EiterNicola LeonePublished in: JELIA (2014)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- extended logic programs
- answer set programs
- normal logic programs
- fixpoint
- logic program updates
- counter examples
- stable models
- loop formulas
- semantics of logic programs
- formal semantics
- conflict resolution
- sat solvers
- machine learning