activity
20022023
most citedSoft Concurrent Constraint Programming

45 citations · 60 across the 13 of their papers we have counts for

collaborators

13 papers

cs.AI2023★ 2 cited

An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games

Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi

Time is a crucial factor in modelling dynamic behaviours of intelligent agents: activities have a determined temporal duration in a real-world environment, and previous actions inf…

cs.AI2019

Implementing Ranking-Based Semantics in ConArg: a Preliminary Report

Stafano Bistarelli, Francesco Faloci, Carlo Taticchi

ConArg is a suite of tools that offers a wide series of applications for dealing with argumentation problems. In this work, we present the advances we made in implementing a rankin…

cs.AI2019

Block Argumentation

Ryuta Arisaka, Stefano Bistarelli, Francesco Santini

We contemplate a higher-level bipolar abstract argumentation for non-elementary arguments such as: X argues against Ys sincerity with the fact that Y has presented his argument to…

cs.AI2018

A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics

Theofrastos Mantadelis, Stefano Bistarelli

After Dung's founding work in Abstract Argumentation Frameworks there has been a growing interest in extending the Dung's semantics in order to describe more complex or real life s…

cs.AI2018

A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report

Stefano Bistarelli, Alessandra Tappini, Carlo Taticchi

The assignment of weights to attacks in a classical Argumentation Framework allows to compute semantics by taking into account the different importance of each argument. We represe…

cs.AI2018

On Looking for Local Expansion Invariants in Argumentation Semantics: a Preliminary Report

Stefano Bistarelli, Francesco Santini, Carlo Taticchi

We study invariant local expansion operators for conflict-free and admissible sets in Abstract Argumentation Frameworks (AFs). Such operators are directly applied on AFs, and are i…