claspfolio2: Advances in Algorithm Selection for Answer Set Programming

DOI10.1017/S1471068414000210zbMath1307.68016DBLPjournals/tplp/HoosLS14arXiv1405.1520OpenAlexW2035142469WikidataQ59585981 ScholiaQ59585981MaRDI QIDQ2931265

Torsten Schaub, Holger H. Hoos, Marius Lindauer

Publication date: 25 November 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.1520

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (18)

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems ⋮ ASlib: a benchmark library for algorithm selection ⋮ Multi-level Algorithm Selection for ASP ⋮ Boosting evolutionary algorithm configuration ⋮ On the impact of configuration on abstract argumentation automated reasoning ⋮ Parallel Logic Programming: A Sequel ⋮ Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) ⋮ Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring ⋮ A machine learning system to improve the performance of ASP solving based on encoding selection ⋮ Efficient benchmarking of algorithm configurators via model-based surrogates ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Efficiently Coupling the I-DLV Grounder with ASP Solvers ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models ⋮ claspfolio 2 ⋮ The algorithm selection competitions 2015 and 2017

Uses Software

• clasp

Cites Work

• Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• Extending and implementing the stable model semantics
• Some (in)translatability results for normal logic programs and propositional theories
• Knowledge Representation, Reasoning and Declarative Problem Solving

This page was built for publication: claspfolio2: Advances in Algorithm Selection for Answer Set Programming