Computing diverse optimal stable models
From MaRDI portal
Computing diverse optimal stable models
Recommendations
Cites work
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- Answer set programming as a modeling language for course timetabling
- Complex optimization in answer set programming
- Computing Diverse Optimal Stable Models
- Extending and implementing the stable model semantics
- Finding similar/diverse solutions in answer set programming
- Generating Diverse Solutions in SAT
- Implementing preferences with asprin
- Knowledge Representation, Reasoning and Declarative Problem Solving
- On optimal solutions of answer set optimization problems
- On the computational cost of disjunctive logic programming: Propositional case
- Symbolic system synthesis using answer set programming
- Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
Cited in
(8)- Model enumeration in propositional circumscription via unsatisfiable core analysis
- ASP and subset minimality: enumeration, cautious reasoning and MUSes
- Computing Diverse Optimal Stable Models
- How to build your own ASP-based system?!
- A general framework for preferences in answer set programming
- scientific article; zbMATH DE number 6734926 (Why is no real title available?)
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
- Implementing preferences with asprin
This page was built for publication: Computing diverse optimal stable models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5240206)
