A Multi-Engine Approach to Answer Set Programming

20 June 2013

Papers citing "A Multi-Engine Approach to Answer Set Programming"

11 / 11 papers shown

Title
An efficient solver for ASP(Q) Wolfgang Faber Giuseppe Mazzotta Francesco Ricca 18 3 0 17 May 2023
On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro Marco Maratea Mauro Vallati 64 1 0 02 Mar 2022
Parallel Logic Programming: A Sequel A. Dovier Andrea Formisano G. Gupta M. Hermenegildo Enrico Pontelli Ricardo Rocha LRM 46 10 0 22 Nov 2021
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders Francesco Calimeri Francesco Cauteruccio Luca Cinelli A. Marzullo C. Stamile G. Terracina F. Durand-Dubief D. Sappey-Marinier 42 19 0 21 Oct 2019
Research Report on Automatic Synthesis of Local Search Neighborhood Operators M. Slazynski 19 0 0 18 Sep 2019
Design and Results of the Second International Competition on Computational Models of Argumentation S. A. Gaggl Thomas Linsbichler Marco Maratea S. Woltran 29 54 0 02 Sep 2019
The Algorithm Selection Competitions 2015 and 2017 Marius Lindauer Jan N. van Rijn Lars Kotthoff 73 38 0 03 May 2018
Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates Katharina Eggensperger Marius Lindauer Holger H. Hoos Frank Hutter Kevin Leyton-Brown 56 7 0 30 Mar 2017
A case study of algorithm selection for the traveling thief problem Markus Wagner Marius Lindauer Mustafa Misir Samadhi Nallaperuma Frank Hutter 71 66 0 02 Sep 2016
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper) Carmine Dodaro Philip Gasteiger Nicola Leone Benjamin Musitsch Francesco Ricca Konstantin Schekotihin 51 53 0 02 Aug 2016
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming Holger Hoos Marius Lindauer Torsten Schaub 112 85 0 07 May 2014