Francesco Santini

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

Distributivity and residuation for lexicographic orders.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2022

Abstract Argumentation Goes Quantum: An Encoding to QUBO Problems.

[BibT_eX]

[DOI]

Marco Baioletti

Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

A Definition of Sceptical Semantics in the Constellations Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

On Identifying Repeated Patterns of OT Attacks with LOGistICS.

[BibT_eX]

[DOI]

Emanuele Bosimini

Proceedings of the Italian Conference on Cybersecurity (ITASEC 2022), 2022

Arg-XAI: a Tool for Explaining Machine Learning Results.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Conference on Tools with Artificial Intelligence, 2022

An E-Voting System Based on Tornado Cash.

[BibT_eX]

[DOI]

Bruno Lazo La Torre Montalvo

Proceedings of the Emerging Technologies for Authorization and Authentication, 2022

Soft Concurrent Constraint Programming with Local Variables.

[BibT_eX]

[DOI]

Laura Bussi

Proceedings of the Coordination Models and Languages, 2022

An Argumentative Explanation of Machine Learning Outcomes.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2022

Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

2021

Soft constraint automata with memory.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2021

ConArgLib: an argumentation library with support to search strategies and parallel search.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2021

Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2021

Weighted Argumentation.

[BibT_eX]

[DOI]

FLAP, 2021

Summary Report for the Third International Competition On Computational Models of Argumentation.

[BibT_eX]

[DOI]

AI Mag., 2021

Highlighting poor anonymity and security practice in the blockchain of Bitcoin.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

A Chatbot Extended with Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

A Medium-Interaction Emulation and Monitoring System for Operational Technology.

[BibT_eX]

[DOI]

Emanuele Bosimini

Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2020

Abstract argumentation and (optimal) stable marriage problems.

[BibT_eX]

[DOI]

Argument Comput., 2020

Multi-dimensional Stable Matching Problems in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020

A Report on the Security of Home Connections with IoT and Docker Honeypots.

[BibT_eX]

[DOI]

Emanuele Bosimini

Proceedings of the Fourth Italian Conference on Cyber Security, 2020

A First Overview of ICCMA'19.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Advances In Argumentation In Artificial Intelligence 2020 co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), 2020

2019

End-to-End Voting with Non-Permissioned and Permissioned Ledgers.

[BibT_eX]

[DOI]

J. Grid Comput., 2019

Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017.

[BibT_eX]

[DOI]

Paolo Torroni

Fundam. Informaticae, 2019

An Analysis of Non-standard Transactions.

[BibT_eX]

[DOI]

Frontiers Blockchain, 2019

Block Argumentation.

[BibT_eX]

[DOI]

Ryuta Arisaka

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Well-Foundedness in Weighted Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

CapBAC in Hyperledger Sawtooth.

[BibT_eX]

[DOI]

Claudio Pannacci

Proceedings of the Distributed Applications and Interoperable Systems, 2019

A Tool For Ranking Arguments Through Voting-Games Power Indexes.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Polyadic Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

From Trust Among Agents to Reputation of Abstract Arguments by Using Subjective Logic.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Advances In Argumentation In Artificial Intelligence co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019

An Introduction to Optimal Stable Marriage Problems and Argumentation Frameworks.

[BibT_eX]

[DOI]

2018

Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

A novel weighted defence and its relaxation in abstract argumentation.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2018

On Looking for Local Expansion Invariants in Argumentation Semantics.

[BibT_eX]

[DOI]

CoRR, 2018

Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Visualizing Bitcoin Flows of Ransomware: WannaCry One Week Later.

[BibT_eX]

[DOI]

Matteo Parroccini

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

Probabilistic Argumentation Frameworks with MetaProbLog and ConArg.

[BibT_eX]

[DOI]

Theofrastos Mantadelis

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Are My Arguments Trustworthy? Abstract Argumentation with Subjective Logic.

[BibT_eX]

[DOI]

Audun Jøsang

Maria Silvia Pini

Proceedings of the 21st International Conference on Information Fusion, 2018

On Looking for Invariant Operators in Argumentation Semantics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

An Analysis of Non-standard Bitcoin Transactions.

[BibT_eX]

[DOI]

Proceedings of the Crypto Valley Conference on Blockchain Technology, 2018

Containerisation and Dynamic Frameworks in ICCMA'19.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018

Studying Dynamics in Argumentation with Rob.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2018

Local Expansion Invariant Operators in Argumentation Semantics.

[BibT_eX]

[DOI]

Proceedings of the Dynamics, 2018

Soft Constraint Automata with Memory.

[BibT_eX]

[DOI]

Kasper Dokter

Proceedings of the It's All About Coordination, 2018

Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks.

[BibT_eX]

[DOI]

Theofrastos Mantadelis

Proceedings of the 2nd Workshop on Advances In Argumentation In Artificial Intelligence, 2018

A Cooperative-game Approach to Share Acceptability and Rank Arguments.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Advances In Argumentation In Artificial Intelligence, 2018

2017

On merging two trust-networks in one with bipolar preferences.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2017

Observational and behavioural equivalences for soft concurrent constraint programming.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Residuation for bipolar preferences in soft constraints.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2017

An end-to-end voting-system based on bitcoin.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2017

A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

A Quantitative Partial Model-Checking Function and Its Optimisation.

[BibT_eX]

[DOI]

Proceedings of the LPAR-21, 2017

Properties and Implementation of a Two-Step Ranking-Based Semantics: On Revising NaE and SC.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

A ConArg-Based Library for Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Go with the -Bitcoin- Flow, with Visual Analytics.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016

Graded Justification of Arguments via Internal and External Endogenous Features.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

A multi-criteria ranking of security countermeasures.

[BibT_eX]

[DOI]

Felicita Di Giandomenico

Andrea Bondavalli

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Automated adaptation via quantitative partial model checking.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

From Reviews to Arguments and from Arguments Back to Reviewers' Behaviour.

[BibT_eX]

[DOI]

Simone Gabbriellini

Proceedings of the Agents and Artificial Intelligence - 8th International Conference, 2016

From Arguments and Reviewers to their Simulation - Reproducing a Case-Study.

[BibT_eX]

[DOI]

Simone Gabbriellini

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Decomposing Global Quantitative Properties into Local Ones.

[BibT_eX]

[DOI]

Ilaria Matteucci

Proceedings of the Data Privacy Management and Security Assurance, 2016

ConArg: A Tool for Classical and Weighted Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2016

2015

Timed soft concurrent constraint programs: An interleaved and a parallel approach.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Partially distributed coordination with Reo and constraint automata.

[BibT_eX]

[DOI]

Farhad Arbab

Serv. Oriented Comput. Appl., 2015

A Comparative Test on the Enumeration of Extensions in Abstract Argumentation.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

Semiring-based Specification Approaches for Quantitative Security.

[BibT_eX]

[DOI]

Ilaria Matteucci

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Network security supported by arguments.

[BibT_eX]

[DOI]

Artsiom Yautsiukhin

Proceedings of the 13th Annual Conference on Privacy, Security and Trust, 2015

A Micro Study on the Evolution of Arguments in Amazon.com's Reviews.

[BibT_eX]

[DOI]

Simone Gabbriellini

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Quantitative Analysis of Network Security with Abstract Argumentation.

[BibT_eX]

[DOI]

Artsiom Yautsiukhin

Proceedings of the Data Privacy Management, and Security Assurance, 2015

A Labelled Semantics for Soft Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2015

Towards visualising security with arguments.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

There are Two Sides to Every Question - Controller Versus Attacker.

[BibT_eX]

[DOI]

Ilaria Matteucci

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

Defeasible Logic Programming in Satisfiability Modulo CHR.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

Testing Credulous and Sceptical Acceptance in Small-World Networks.

[BibT_eX]

[DOI]

Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

Orchestrating web services using Reo: from circuits and behaviors to automatically generated code.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2014

A Secure Non-monotonic Soft Concurrent Constraint Language.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Two trust networks in one: Using bipolar structures to fuse trust and distrust.

[BibT_eX]

[DOI]

Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

Partially-Distributed Coordination with Reo.

[BibT_eX]

[DOI]

Farhad Arbab

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making.

[BibT_eX]

[DOI]

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Debating Cybersecurity or Securing a Debate? - (Position Paper).

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014

A First Comparison of Abstract Argumentation Reasoning-Tools.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2014

An Improved Role-Based Access to Android Applications with JCHR.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Availability, 2014

2013

Coalitions of Arguments: An Approach with Constraint Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

A Tool for Behaviour-Based Discovery of Approximately Matching Web Services.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Combining Recommender and Reputation Systems to Produce Better Online Advice.

[BibT_eX]

[DOI]

Proceedings of the Modeling Decisions for Artificial Intelligence, 2013

Validating reconfigurations of reo circuits in an e-Banking scenario.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

A First Comparison of Abstract Argumentation Systems: A Computational Perspective.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

2012

Evaluation of complex security scenarios using defense trees and economic indexes.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2012

Local arc consistency for non-invertible semirings, with an application to multi-objective optimization.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2012

ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints

[BibT_eX]

[DOI]

CoRR, 2012

A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2012

Preference and Similarity-Based Behavioral Discovery of Services.

[BibT_eX]

[DOI]

Farhad Arbab

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Towards a similarity-based web service discovery through soft constraint satisfaction problems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Semantic Search over the Web, 2012

Securely Accessing Shared Resources with Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Paola Campli

Proceedings of the ACM Symposium on Applied Computing, 2012

Automatic Code Generation for the Orchestration of Web Services with Reo.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

Solving Fuzzy Distributed CSPs: An Approach with Naming Games.

[BibT_eX]

[DOI]

Giorgio Gosti

Proceedings of the Declarative Agent Languages and Technologies X, 2012

Semiring-based constraint models and frameworks for security-related scenarios.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

ConArg: Argumentation with Constraints.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Agreement Technologies, 2012

2011

A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Modeling and Solving AFs with a Constraint-Based Tool: ConArg.

[BibT_eX]

[DOI]

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Finding partitions of arguments with Dung's properties via SCSPs.

[BibT_eX]

[DOI]

Paola Campli

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

ConArg: A Constraint-Based Computational Framework for Argumentation Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Solving Fuzzy DCSPs with Naming Games.

[BibT_eX]

[DOI]

Giorgio Gosti

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

Unicast and multicast QoS routing with soft-constraint logic programming.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2010

Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2010

Extending Soft Arc Consistency Algorithms to Non-invertible Semirings.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2010

A Common Computational Framework for Semiring-based Argumentation Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Solving Weighted Argumentation Frameworks with Soft Constraints.

[BibT_eX]

[DOI]

Daniele Pirolandi

Proceedings of the 25th Italian Conference on Computational Logic, 2010

A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

2009

Soft Constraints for Quality Aspects in Service Oriented Architectures

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, 2009

2008

A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

C-semiring Frameworks for Minimum Spanning Tree Problems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Propagating multitrust within trust networks.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Soft Constraints for Dependable Service Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems VI, 2008

A Formal and Practical Framework for Constraint-Based Routing.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Networking (ICN 2008), 2008

Managing Quality of Service with Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

From Marriages to Coalitions: A Soft CSP Approach.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2008

Timed Soft Concurrent Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily.

[BibT_eX]

[DOI]

Proceedings of the Autonomic and Trusted Computing, 5th International Conference, 2008

Weighted Datalog and Levels of Trust.

[BibT_eX]

[DOI]

Proceedings of the The Third International Conference on Availability, 2008

2007

Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

SCLP for Trust Propagation in Small-World Networks.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2007

2006

An asymmetric fingerprint matching algorithm for Java Card <sup>TM</sup>.

[BibT_eX]

[DOI]

Anna Vaccarelli

Pattern Anal. Appl., 2006

2005

An Asymmetric Fingerprint Matching Algorithm for Java Card™.

[BibT_eX]

[DOI]