16 citations · 71 across the 26 of their papers we have counts for
3 papers · 1 filter
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
In this paper we propose a general approach to define a many-valued preferential interpretation of gradual argumentation semantics. The approach allows for conditional reasoning ov…
Generative Datalog with Stable Negation
Mario Alviano, Matthias Lanzinger, Michael Morak +1
Extending programming languages with stochastic behaviour such as probabilistic choices or random sampling has a long tradition in computer science. A recent development in this di…
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…