6 citations · 13 across the 10 of their papers we have counts for
10 papers
Constrained Assumption-Based Argumentation Frameworks
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo +3
Assumption-based Argumentation (ABA) is a well-established form of structured argumentation. ABA frameworks with an underlying atomic language are widely studied, but their applica…
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…
Verification of Time-Aware Business Processes using Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo +2
We present a method for verifying properties of time-aware business processes, that is, business process where time constraints on the activities are explicitly taken into account.…
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo +1
We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony: the computation takes a bounded per…
Unfolding for CHR programs
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella +1
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption, and more generally to optimize a given program. Essentially, it con…
Unfolding in CHR
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it consi…