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

DOI10.1007/978-3-031-15707-3_8MaRDI QIDQ2694555zbMATH OpenOpenAlexFDO

Authors Elisa Böhl, Sarah Alice Gaggl

Publication date 4 April 2023

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

zbMATH Keywords

diverse answer setsmulti-shot answer set programmingnavigation

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Recommendations

• Distribution-aware sampling of answer sets
• Complex question answering: unsupervised learning approaches and experiments
• scientific article; zbMATH DE number 1929222

Cites work

• An Introduction to Answer Set Programming and Some of Its Extensions
• Anytime answer set optimization via unsatisfiable core shrinking
• Clingo goes linear constraints over reals and integers
• Complex optimization in answer set programming
• Computing Diverse Optimal Stable Models
• Finding similar/diverse solutions in answer set programming
• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 1453059 (Why is no real title available?)
• Multi-shot ASP solving with clingo
• The ASP system DLV2
• The Seventh Answer Set Programming Competition: Design and Results
• Train scheduling with hybrid answer set programming

Cited in

(1)

• IASCAR: incremental answer set counting by anytime refinement

Describes a project that uses

Uses Software

• WASP
• Potassco
• DLV2
• Clingo

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2694555)