5 citations · 15 across the 7 of their papers we have counts for
7 papers
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques
Fabio Gadducci, Francesco Santini
Residuation theory concerns the study of partially ordered algebraic structures, most often monoids, equipped with a weak inverse for the monoidal operator. One of its area of appl…
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…
Semiring-based Specification Approaches for Quantitative Security
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which…
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…
ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints
Stefano Bistarelli, Francesco Santini
ConArg is a Constraint Programming-based tool that can be used to model and solve different problems related to Abstract Argumentation Frameworks (AFs). To implement this tool we h…
Soft Constraints for Quality Aspects in Service Oriented Architectures
Stefano Bistarelli, Francesco Santini
We propose the use of Soft Constraints as a natural way to model Service Oriented Architecture. In the framework, constraints are used to model components and connectors and constr…