5 citations · 7 across the 6 of their papers we have counts for
13 papers
ValAsp: a tool for data validation in Answer Set Programming
Mario Alviano, Carmine Dodaro, Arnel Zamayla
The development of complex software requires tools promoting fail-fast approaches, so that bugs and unexpected behavior can be quickly identified and fixed. Tools for data validati…
Aggregate Semantics for Propositional Answer Set Programs
Mario Alviano, Wolfgang Faber, Martin Gebser
Answer Set Programming (ASP) emerged in the late 1990ies as a paradigm for Knowledge Representation and Reasoning. The attractiveness of ASP builds on an expressive high-level mode…
The pyglaf argumentation reasoner (ICCMA2021)
Mario Alviano
The pyglaf reasoner takes advantage of circumscription to solve computational problems of abstract argumentation frameworks. In fact, many of these problems are reduced to circumsc…
Large-scale Ontological Reasoning via Datalog
Mario Alviano, Marco Manna
Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for ma…
Inconsistency Proofs for ASP: The ASP-DRUPE Format
Mario Alviano, Carmine Dodaro, Johannes K. Fichte +3
Answer Set Programming (ASP) solvers are highly-tuned and complex procedures that implicitly solve the consistency problem, i.e., deciding whether a logic program admits an answer…
Enhancing magic sets with an application to ontological reasoning
Mario Alviano, Nicola Leone, Pierfrancesco Veltri +1
Magic sets are a Datalog to Datalog rewriting technique to optimize query answering. The rewritten program focuses on a portion of the stable model(s) of the input program which is…