Computing Modular Paracoherent Answer Sets: Preliminary Result - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Bernardo Cuteri, Carmine Dodaro, Francesco Ricca. Computing Modular Paracoherent Answer Sets: Preliminary Result. In Alberto Casagrande, Eugenio G. Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. Volume 2396 of CEUR Workshop Proceedings, pages 279-288, CEUR-WS.org, 2019. [doi]

The following publications are possibly variants of this publication:

Compute Paracoherent Answer Sets via SaturationFrancesco Ricca. aiia 2018: [doi]

On the Computation of Paracoherent Answer SetsGiovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca. AAAI 2017: 1034-1040 [doi]

Paracoherent answer set computationGiovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Francesco Ricca. ai, 299:103519, 2021. [doi]

Debugging of Answer Set Programs Using Paracoherent ReasoningBernardo Cuteri, Carmine Dodaro, Francesco Ricca. cilc 2019: 289-299 [doi]

Paracoherent Answer Set Semantics meets Argumentation FrameworksGiovanni Amendola, Francesco Ricca. tplp, 19(5-6):688-704, 2019. [doi]

Better Paracoherent Answer Sets with Less ResourcesGiovanni Amendola, Carmine Dodaro, Francesco Ricca. tplp, 19(5-6):757-772, 2019. [doi]

Algorithm Selection for Paracoherent Answer Set ComputationGiovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Luca Pulina, Francesco Ricca. jelia 2019: 479-489 [doi]

runs on WebDSL