Modularity Aspects of Disjunctive Stable Models

15 January 2014

Papers citing "Modularity Aspects of Disjunctive Stable Models"

22 / 22 papers shown

Title
Relating Answer Set Programming and Many-sorted Logics for Formal Verification Zachary Hansen LRM 94 0 0 13 Feb 2025
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment Giovanni Amendola Tobias Berei Giuseppe Mazzotta Francesco Ricca 18 1 0 04 Jan 2024
Rethinking Answer Set Programming Templates Mario Alviano Giovambattista Ianni Francesco Pacenza J. Zangari 20 1 0 12 Jul 2023
How to Split a Logic Program R. Ben-Eliyahu-Zohary 13 0 0 17 Sep 2021
On the Foundations of Grounding in Answer Set Programming Roland Kaminski Torsten Schaub 17 9 0 10 Aug 2021
Forgetting in Answer Set Programming -- A Survey Ricardo Gonccalves Matthias Knorr João Leite KELM MU 20 10 0 14 Jul 2021
An application of Answer Set Programming in Distributed Architectures: ASP Microservices Stefania Costantini Lorenzo De Lauretis 18 0 0 22 Sep 2020
On Uniform Equivalence of Epistemic Logic Programs W. Faber Michael Morak S. Woltran 29 2 0 25 Jul 2019
Partial Compilation of ASP Programs Bernardo Cuteri Carmine Dodaro Francesco Ricca P. Schüller 49 13 0 24 Jul 2019
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs Yuliya Lierler 8 0 0 26 Jan 2019
The informal semantics of Answer Set Programming: A Tarskian perspective M. Denecker Yuliya Lierler M. Truszczynski Joost Vennekens KELM 30 5 0 26 Jan 2019
Technical Report: Inconsistency in Answer Set Programs and Extensions Christoph Redl 12 0 0 31 May 2018
Stable Model Counting and Its Application in Probabilistic Logic Programming R. Aziz Geoffrey Chu Christian Muise Peter Stuckey TPM LRM 46 21 0 20 Nov 2014
Generalizing Modular Logic Programs J. Pires C. Damásio LRM 37 2 0 29 Apr 2014
Backdoors to Normality for Disjunctive Logic Programs Johannes Fichte Stefan Szeider LRM 54 36 0 08 Jan 2013
Module Theorem for The General Theory of Stable Models Joseph Babb Joohyung Lee 53 2 0 18 Oct 2012
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs Christian Kloimüllner J. Oetsch Jörg Pührer H. Tompits 74 29 0 19 Sep 2011
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report J. Oetsch Jörg Pührer H. Tompits 91 23 0 19 Sep 2011
Nested HEX-Programs Thomas Eiter T. Krennwallner Christoph Redl ReLM 52 1 0 29 Aug 2011
Origins of Answer-Set Programming - Some Background And Two Personal Accounts V. Marek I. Niemelä M. Truszczynski LRM 86 7 0 16 Aug 2011
A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There Michael Fink 64 13 0 15 Jun 2010
Achieving compositionality of the stable model semantics for Smodels programs Emilia Oikarinen Tomi Janhunen 108 47 0 26 Sep 2008