The design of the Seventh Answer Set Programming Competition

DOI10.1007/978-3-319-61660-5_1zbMath1418.68029OpenAlexW2885963677MaRDI QIDQ2401918

Francesco Ricca, Martin Gebser, Marco Maratea

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

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

Related Items

Unnamed Item, Optimizing Answer Set Computation via Heuristic-Based Decomposition, The Seventh Answer Set Programming Competition: Design and Results, Efficiently Coupling the 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