Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)

25 March 2025

Papers citing "Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)"

6 / 6 papers shown

Title
How to build your own ASP-based system?! Roland Kaminski J. Romero Torsten Schaub P. Wanko 31 33 0 15 Aug 2020
Verifying Tight Logic Programs with anthem and Vampire Jorge Fandinno Vladimir Lifschitz Patrick Lühne Torsten Schaub 20 24 0 05 Aug 2020
Modular Answer Set Programming as a Formal Specification Language Pedro Cabalar Jorge Fandinno Yuliya Lierler 29 13 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
Achieving compositionality of the stable model semantics for Smodels programs Emilia Oikarinen Tomi Janhunen 103 47 0 26 Sep 2008