Implementing preferences with asprin

DOI10.1007/978-3-319-23264-5_15MaRDI QIDQ3449201zbMATH OpenOpenAlexFDO

Authors Gerhard Brewka, James Delgrande, Javier Romero, Torsten Schaub

Publication date 4 November 2015

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10072/125361

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1844462
• Computing Diverse Optimal Stable Models
• Weight constraints with preferences in ASP
• A framework for compiling preferences in logic programs
• A semantic framework for preference handling in answer set programming

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)