2 citations · 3 across the 4 of their papers we have counts for
5 papers · 1 filter
Fudge: A light-weight solver for abstract argumentation based on SAT reductions
Matthias Thimm, Federico Cerutti, Mauro Vallati
We present Fudge, an abstract argumentation solver that tightly integrates satisfiability solving technology to solve a series of abstract argumentation problems. While most of the…
Automata for Infinite Argumentation Structures
Pietro Baroni, Federico Cerutti, Paul E. Dunne +1
The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded…
Uncertainty Aware AI ML: Why and How
Lance Kaplan, Federico Cerutti, Murat Sensoy +2
This paper argues the need for research to realize uncertainty-aware artificial intelligence and machine learning (AI\&ML) systems for decision support by describing a number of mo…
Probabilistic Logic Programming with Beta-Distributed Random Variables
Federico Cerutti, Lance Kaplan, Angelika Kimmig +1
We enable aProbLog---a probabilistic logical programming approach---to reason in presence of uncertain probabilities represented as Beta-distributed random variables. We achieve th…
On Natural Language Generation of Formal Argumentation
Federico Cerutti, Alice Toniolo, Timothy J. Norman
In this paper we provide a first analysis of the research questions that arise when dealing with the problem of communicating pieces of formal argumentation through natural languag…