Picture for Stefano Bistarelli

Stefano Bistarelli

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

Add code
Jun 13, 2023
Viaarxiv icon

Block Argumentation

Add code
Jan 18, 2019
Viaarxiv icon

A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics

Add code
Sep 24, 2018
Figure 1 for A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics
Figure 2 for A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics
Figure 3 for A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics
Figure 4 for A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics
Viaarxiv icon

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

Add code
Jul 30, 2018
Figure 1 for On Looking for Local Expansion Invariants in Argumentation Semantics: a Preliminary Report
Figure 2 for On Looking for Local Expansion Invariants in Argumentation Semantics: a Preliminary Report
Figure 3 for On Looking for Local Expansion Invariants in Argumentation Semantics: a Preliminary Report
Figure 4 for On Looking for Local Expansion Invariants in Argumentation Semantics: a Preliminary Report
Viaarxiv icon

A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report

Add code
Feb 23, 2018
Figure 1 for A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report
Figure 2 for A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report
Figure 3 for A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report
Figure 4 for A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report
Viaarxiv icon

Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach

Add code
Apr 22, 2014
Figure 1 for Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach
Figure 2 for Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach
Figure 3 for Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach
Figure 4 for Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach
Viaarxiv icon

ConArg: a Tool to Solve Abstract Argumentation Frameworks with Constraints

Add code
Jan 16, 2013
Figure 1 for ConArg: a Tool to Solve  Abstract Argumentation Frameworks with  Constraints
Figure 2 for ConArg: a Tool to Solve  Abstract Argumentation Frameworks with  Constraints
Figure 3 for ConArg: a Tool to Solve  Abstract Argumentation Frameworks with  Constraints
Figure 4 for ConArg: a Tool to Solve  Abstract Argumentation Frameworks with  Constraints
Viaarxiv icon

Soft Constraints for Quality Aspects in Service Oriented Architectures

Add code
Jun 22, 2009
Figure 1 for Soft Constraints for Quality Aspects in Service Oriented Architectures
Figure 2 for Soft Constraints for Quality Aspects in Service Oriented Architectures
Figure 3 for Soft Constraints for Quality Aspects in Service Oriented Architectures
Figure 4 for Soft Constraints for Quality Aspects in Service Oriented Architectures
Viaarxiv icon

Unicast and Multicast Qos Routing with Soft Constraint Logic Programming

Add code
Apr 21, 2008
Figure 1 for Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
Figure 2 for Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
Figure 3 for Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
Figure 4 for Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
Viaarxiv icon

Soft Constraint Programming to Analysing Security Protocols

Add code
Dec 14, 2003
Figure 1 for Soft Constraint Programming to Analysing Security Protocols
Figure 2 for Soft Constraint Programming to Analysing Security Protocols
Figure 3 for Soft Constraint Programming to Analysing Security Protocols
Figure 4 for Soft Constraint Programming to Analysing Security Protocols
Viaarxiv icon