The design of the Seventh Answer Set Programming Competition

DOI10.1007/978-3-319-61660-5_1MaRDI QIDQ2401918zbMATH OpenOpenAlexFDO

Authors Martin Gebser, Marco Maratea, F. Ricca

Publication date 5 September 2017

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

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• The Seventh Answer Set Programming Competition: Design and Results
• Design and results of the Fifth Answer Set Programming Competition
• The Design of the Sixth Answer Set Programming Competition
• The Sixth Answer Set Programming Competition
• Preface: Seventh ASPOCP international workshop on `Answer set programming and other computing paradigms'

Cited in

(17)

• The Design of the Sixth Answer Set Programming Competition
• Optimizing answer set computation via heuristic-based decomposition
• The Seventh Answer Set Programming Competition: Design and Results
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• ASP-Core-2 input language format
• Boosting Answer Set Optimization with Weighted Comparator Networks
• A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
• Omission-based abstraction for answer set programs
• Manipulation of articulated objects using dual-arm robots via answer set programming
• Unsatisfiable core analysis and aggregates for optimum stable model search
• scientific article; zbMATH DE number 7453125 (Why is no real title available?)
• The Sixth Answer Set Programming Competition
• Logic programming
• IASCAR: incremental answer set counting by anytime refinement
• From felicitous models to answer set programming
• Scheduling pre-operative assessment clinic with answer set programming
• Design and results of the Fifth Answer Set Programming Competition

This page was built for publication: The design of the Seventh Answer Set Programming Competition

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