Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy

DOI10.1007/978-3-031-15707-3_8OpenAlexW4293180187MaRDI QIDQ2694555

Elisa Böhl, Sarah A. Gaggl

Publication date: 4 April 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_8

zbMATH Keywords

navigationdiverse answer setsmulti-shot answer set programming

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Uses Software

• Potassco
• WASP
• Clingo
• DLV2

Cites Work

• The ASP system DLV2
• Complex optimization in answer set programming
• Clingo goes linear constraints over reals and integers
• Anytime answer set optimization via unsatisfiable core shrinking
• The Seventh Answer Set Programming Competition: Design and Results
• Train Scheduling with Hybrid Answer Set Programming
• Multi-shot ASP solving with clingo
• Computing Diverse Optimal Stable Models
• Finding similar/diverse solutions in answer set programming
• Unnamed Item
• Unnamed Item

This page was built for publication: Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy