Multi-level Algorithm Selection for ASP

DOI10.1007/978-3-319-23264-5_36zbMath1467.68027OpenAlexW2394640999MaRDI QIDQ3449227

Marco Maratea, Francesco Ricca, Luca Pulina

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)

Related Items

The Design of the Sixth Answer Set Programming Competition, The Seventh Answer Set Programming Competition: Design and Results, Boosting Answer Set Optimization with Weighted Comparator Networks, Vicious circle principle, aggregates, and formation of sets in ASP based languages

Cites Work

• Design and results of the Fifth Answer Set Programming Competition
• Magic sets for disjunctive Datalog programs
• Normalizing Cardinality Rules Using Merging and Sorting Constructions
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• Some (in)translatability results for normal logic programs and propositional theories
• aspeed: Solver scheduling via answer set programming
• ASP-Core-2 Input Language Format
• The DLV system for knowledge representation and reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item