How to build your own ASP-based system?!

15 August 2020

Papers citing "How to build your own ASP-based system?!"

6 / 6 papers shown

Title
System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers M. Bartholomew Joohyung Lee LRM 87 30 0 12 Jun 2025
Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version) Jorge Fandinno Yuliya Lierler 61 0 0 25 Mar 2025
eclingo: A solver for Epistemic Logic Programs Pedro Cabalar Jorge Fandinno Javier Garea J. Romero Torsten Schaub LRM ReLM 27 11 0 05 Aug 2020
ASP-Core-2 Input Language Format Francesco Calimeri Wolfgang Faber Martin Gebser Giovambattista Ianni Roland Kaminski T. Krennwallner Nicola Leone Marco Maratea Francesco Ricca Torsten Schaub KELM 53 260 0 11 Nov 2019
Multi-shot ASP solving with clingo Martin Gebser Roland Kaminski B. Kaufmann Torsten Schaub LRM ReLM 54 248 0 27 May 2017
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 34 53 0 02 Aug 2016