Multi-level Algorithm Selection for ASP

DOI10.1007/978-3-319-23264-5_36MaRDI QIDQ3449227zbMATH OpenOpenAlexFDO

Authors Marco Maratea, Luca Pulina, F. Ricca

Publication date 4 November 2015

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

Full work available at URL https://doi.org/10.1007/978-3-319-23264-5_36

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Algorithm selection on a meta level
• Logic Programming and Nonmonotonic Reasoning
• Multi-threaded ASP solving with clasp
• Experiences with the multi-level algorithm
• A parallel selection algorithm
• Dynamic algorithm selection for runtime concepts
• A dynamic-programming based ASP-solver

Cites work

• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• ASP-Core-2 input language format
• aspeed: solver scheduling via answer set programming
• Design and results of the Fifth Answer Set Programming Competition
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 6747915 (Why is no real title available?)
• Learning and using domain-specific heuristics in ASP solvers
• Magic sets for disjunctive Datalog programs
• Normalizing cardinality rules using merging and sorting constructions
• Some (in)translatability results for normal logic programs and propositional theories
• The DLV system for knowledge representation and reasoning

Cited in

(9)

• Algorithm selection for paracoherent answer set computation
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• The Design of the Sixth Answer Set Programming Competition
• Multi-engine ASP solving with policy adaptation
• The Seventh Answer Set Programming Competition: Design and Results
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• Boosting Answer Set Optimization with Weighted Comparator Networks
• Applying machine learning techniques to ASP solving
• On the configuration of more and less expressive logic programs

This page was built for publication: Multi-level Algorithm Selection for ASP

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