Cautious reasoning in ASP via minimal models and unsatisfiable cores.
Mario AlvianoCarmine DodaroMatti JärvisaloMarco MarateaAlessandro PrevitiPublished in: Theory Pract. Log. Program. (2018)
Keyphrases
- minimal models
- unsatisfiable cores
- answer set programming
- logic programs
- truth maintenance systems
- propositional logic
- nonmonotonic reasoning
- autoepistemic logic
- knowledge base
- logic programming
- default reasoning
- decision rules
- default logic
- automated reasoning
- belief revision
- probabilistic reasoning
- hidden structure
- computational properties
- possibility theory
- answer sets
- knowledge representation
- objective function