Combining Answer Set Programming and Domain Heuristics for Solving Hard
Industrial Problems (Application Paper)

Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)

2 August 2016

Philip Gasteiger

Benjamin Musitsch

Francesco Ricca

Konstantin Schekotihin

ArXiv (abs)PDF HTML

Papers citing "Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)"

18 / 18 papers shown

Title
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming Irumi Sugimori Katsumi Inoue Hidetomo Nabeshima Torsten Schaub Takehide Soh Naoyuki Tamura Mutsunori Banbara 26 2 0 18 May 2024
Inductive Learning of Declarative Domain-Specific Heuristics for ASP Richard Comploi-Taupe 26 0 0 30 Aug 2023
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels Vito Barbara M. Guarascio Nicola Leone Giuseppe Manco A. Quarta Francesco Ricca Ettore Ritacco University of Calabria 58 3 0 17 May 2023
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming Richard Comploi-Taupe G. Friedrich Konstantin Schekotihin A. Weinzierl 49 2 0 19 Sep 2022
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming Alice Tarzariol 70 0 0 05 Aug 2022
Efficient lifting of symmetry breaking constraints for complex combinatorial problems Alice Tarzariol Martin Gebser Mark Law Konstantin Schekotihin 65 2 0 14 May 2022
Lifting Symmetry Breaking Constraints with Inductive Logic Programming Alice Tarzariol Martin Gebser Konstantin Schekotihin 65 4 0 22 Dec 2021
LPOP: Challenges and Advances in Logic and Practice of Programming D. Warren Yanhong A. Liu 19 1 0 15 Aug 2020
How to build your own ASP-based system?! Roland Kaminski J. Romero Torsten Schaub P. Wanko 50 34 0 15 Aug 2020
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP Richard Comploi-Taupe Konstantin Schekotihin P. Schüller A. Weinzierl G. Friedrich 18 4 0 18 Sep 2019
Partial Compilation of ASP Programs Bernardo Cuteri Carmine Dodaro Francesco Ricca P. Schüller 55 13 0 24 Jul 2019
Better Paracoherent Answer Sets with Less Resources Giovanni Amendola Carmine Dodaro Francesco Ricca 29 2 0 22 Jul 2019
Beyond NP: Quantifying over Answer Sets Giovanni Amendola Francesco Ricca M. Truszczynski LRM 25 14 0 22 Jul 2019
The External Interface for Extending WASP Carmine Dodaro Francesco Ricca 26 14 0 05 Nov 2018
Debugging Non-Ground ASP Programs: Technique and Graphical Tools Carmine Dodaro Philip Gasteiger Kristian Reale Francesco Ricca Konstantin Schekotihin 60 22 0 01 Aug 2018
On the Computation of Paracoherent Answer Sets Giovanni Amendola Carmine Dodaro Wolfgang Faber Nicola Leone Francesco Ricca 35 15 0 21 Jul 2017
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis Bernardo Cuteri Carmine Dodaro Francesco Ricca P. Schüller 44 27 0 13 Jul 2017
AppLP: A Dialogue on Applications of Logic Programming D. Warren Yanhong A. Liu 21 5 0 07 Apr 2017