Cautious reasoning in ASP via minimal models and unsatisfiable cores.
Mario AlvianoCarmine DodaroMatti JärvisaloMarco MarateaAlessandro PrevitiPublished in: CoRR (2018)
Keyphrases
- minimal models
- unsatisfiable cores
- logic programs
- answer set programming
- truth maintenance systems
- propositional logic
- knowledge base
- nonmonotonic reasoning
- hidden structure
- autoepistemic logic
- max sat
- computational properties
- logic programming
- default logic
- probabilistic reasoning
- stable models
- belief revision
- evolutionary algorithm
- search algorithm