Implementing preferences with asprin
From MaRDI portal
Publication:3449201
Recommendations
Cites work
- Combining approaches for solving satisfiability problems with qualitative preferences
- Extending and implementing the stable model semantics
- Knowledge Representation, Reasoning and Declarative Problem Solving
- On optimal solutions of answer set optimization problems
- Planning with preferences using logic programming
- Solving satisfiability problems with preferences
- The DLV system for knowledge representation and reasoning
- Unrestricted vs restricted cut in a tableau method for Boolean circuits
Cited in
(6)- Model enumeration in propositional circumscription via unsatisfiable core analysis
- Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
- Computing Diverse Optimal Stable Models
- asprin
- A general framework for preferences in answer set programming
- Multi-shot ASP solving with clingo
This page was built for publication: Implementing preferences with asprin
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3449201)