Stefano Bistarelli
Orcid: 0000-0001-7411-9678
According to our database1,
Stefano Bistarelli
authored at least 251 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Int. J. Inf. Sec., December, 2024
Argument Comput., 2024
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024
Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024
Analysis of Blockchain Sustainability through the Comparison of Different Smart Contracts Programming Languages.
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024
Proceedings of the 39th Italian Conference on Computational Logic, 2024
Proceedings of the 39th Italian Conference on Computational Logic, 2024
Proceedings of the 39th Italian Conference on Computational Logic, 2024
2023
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics.
J. Log. Comput., December, 2023
*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems.
Future Gener. Comput. Syst., December, 2023
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games.
Theory Pract. Log. Program., November, 2023
J. Log. Comput., June, 2023
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays.
Concurr. Comput. Pract. Exp., 2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), 2023
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
Proceedings of the AIxIA 2023 - Advances in Artificial Intelligence, 2023
Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023
2022
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks.
J. Log. Comput., 2022
Proceedings of the Practical Aspects of Declarative Languages, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the 4th Workshop on Distributed Ledger Technology co-located with the Italian Conference on Cybersecurity 2022 (ITASEC 2022), 2022
Proceedings of the Italian Conference on Cybersecurity (ITASEC 2022), 2022
Proceedings of the 34th IEEE International Conference on Tools with Artificial Intelligence, 2022
Proceedings of the Emerging Technologies for Authorization and Authentication, 2022
Proceedings of the Computational Models of Argument, 2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the Advanced Information Networking and Applications, 2022
Deriving Dependency Graphs from Abstract Argumentation Frameworks: a Preliminary Report.
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
Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time.
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
ConArgLib: an argumentation library with support to search strategies and parallel search.
J. Exp. Theor. Artif. Intell., 2021
Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs.
Inf. Process. Lett., 2021
Summary Report for the Third International Competition On Computational Models of Argumentation.
AI Mag., 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021
A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision.
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021
Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021
Proceedings of the Euro-Par 2021: Parallel Processing Workshops, 2021
Proceedings of the 36th Italian Conference on Computational Logic, 2021
Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021
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
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
Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021
2020
Internet Things, 2020
Int. J. Approx. Reason., 2020
Argument Comput., 2020
Ann. Math. Artif. Intell., 2020
Proceedings of the Fourth Italian Conference on Cyber Security, 2020
Proceedings of the Computational Models of Argument, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020
Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020
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
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
A Short Introduction to Collective Defense in Weighted Abstract Argumentation Problems.
Proceedings of the Decision Making under Constraints, 2020
2019
Preface to the Special Issue on Advances in Argumentation in Artificial Intelligence.
Intelligenza Artificiale, 2019
Power index-based semantics for ranking arguments in abstract argumentation frameworks.
Intelligenza Artificiale, 2019
J. Grid Comput., 2019
Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017.
Fundam. Informaticae, 2019
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019
Proceedings of the Distributed Applications and Interoperable Systems, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the Advanced Information Networking and Applications, 2019
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
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
2018
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive.
J. Log. Comput., 2018
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
J. Exp. Theor. Artif. Intell., 2018
Int. J. Approx. Reason., 2018
Special Issue: Selected Papers from AI<sup>∧</sup>3 2017, the 1st Workshop on Advances in Argumentation in Artificial Intelligence.
Intelligenza Artificiale, 2018
A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics.
CoRR, 2018
CoRR, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018
Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract Argumentation.
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2018
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018
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.
Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018
Proceedings of the Crypto Valley Conference on Blockchain Technology, 2018
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
Proceedings of the Computational Models of Argument, 2018
Proceedings of the Computational Models of Argument, 2018
Proceedings of the Dynamics, 2018
Proceedings of the 2nd Workshop on Advances In Argumentation In Artificial Intelligence, 2018
Proceedings of the 2nd Workshop on Advances In Argumentation In Artificial Intelligence, 2018
2017
Math. Struct. Comput. Sci., 2017
Proceedings of the Symposium on Applied Computing, 2017
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the LPAR-21, 2017
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017
Proceedings of the 1st Workshop on Advances In Argumentation In Artificial Intelligence co-located with XVI International Conference of the Italian Association for Artificial Intelligence, 2017
Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017
2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks.
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.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
Proceedings of the Computational Models of Argument, 2016
2015
Theory Pract. Log. Program., 2015
Fundam. Informaticae, 2015
Proceedings of the 30th Italian Conference on Computational Logic, 2015
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
Fundam. Informaticae, 2014
Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014
Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014
Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Computational Models of Argument, 2014
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic.
Proceedings of the Computational Logic in Multi-Agent Systems, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
Proceedings of the Ninth International Conference on Availability, 2014
2013
Fundam. Informaticae, 2013
Ann. Math. Artif. Intell., 2013
Proceedings of the 28th Italian Conference on Computational Logic, 2013
2012
J. Exp. Theor. Artif. Intell., 2012
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization.
Expert Syst. Appl., 2012
ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints
CoRR, 2012
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials.
Comput. Math. Appl., 2012
Towards a similarity-based web service discovery through soft constraint satisfaction problems.
Proceedings of the 2nd International Workshop on Semantic Search over the Web, 2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming.
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Declarative Agent Languages and Technologies X, 2012
Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012
Proceedings of the First International Conference on Agreement Technologies, 2012
2011
Fundam. Informaticae, 2011
Proceedings of the Theorie and Applications of Formal Argumentation, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
2010
ACM Trans. Comput. Log., 2010
Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria.
Secur. Commun. Networks, 2010
From soft constraints to bipolar preferences: modelling framework and solving issues.
J. Exp. Theor. Artif. Intell., 2010
Proceedings of the Advances in Artificial Intelligence, 2010
Proceedings of the ECAI 2010, 2010
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints.
Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010
2009
J. Exp. Theor. Artif. Intell., 2009
Proceedings of the Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, 2009
Proceedings of the Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Recent Advances in Constraints, 2009
2008
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the Architecting Dependable Systems VI, 2008
Proceedings of the Seventh International Conference on Networking (ICN 2008), 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Recent Advances in Constraints, 2008
Proceedings of the Recent Advances in Constraints, 2008
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.
Proceedings of the Autonomic and Trusted Computing, 5th International Conference, 2008
Proceedings of the The Third International Conference on Availability, 2008
2007
Proceedings of the 3rd International Workshop on Security and Trust Management, 2007
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the Recent Advances in Constraints, 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
2006
Proceedings of the Quality of Protection - Security Measurements and Metrics, 2006
Pattern Anal. Appl., 2006
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Knowledge Discovery in Inductive Databases, 5th International Workshop, 2006
Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration.
Proceedings of the Autonomic Principles of IP Operations and Management, 2006
Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006
Bipolar Preference Problems.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the Recent Advances in Constraints, 2006
Proceedings of the The First International Conference on Availability, 2006
2005
J. Comput. Secur., 2005
J. Comput. Secur., 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining.
Proceedings of the Knowledge Discovery in Databases: PKDD 2005, 2005
Proceedings of the Audio- and Video-Based Biometric Person Authentication, 2005
Proceedings of the Audio- and Video-Based Biometric Person Authentication, 2005
2004
Theory Pract. Log. Program., 2004
Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004
Comput. Intell., 2004
Editorial message: special track on artificial intelligence, computational logic and image analysis.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004
Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
Lecture Notes in Computer Science 2962, Springer, ISBN: 3-540-21181-0, 2004
2003
Constraints An Int. J., 2003
Proceedings of the Security Protocols, 2003
Proceedings of the Research and Development in Intelligent Systems XX, 2003
Proceedings of the Research and Development in Intelligent Systems XX, 2003
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity.
Proceedings of the Computer Safety, 2003
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003
Proceedings of the Computer Network Security, 2003
Proceedings of the IJCAI-03, 2003
Proceedings of the Computational Science - ICCS 2003, 2003
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003
Proceedings of the Computer Aided Systems Theory, 2003
Proceedings of the Recent Advances in Constraints, 2003
Proceedings of the Recent Advances in Constraints, 2003
Proceedings of the Recent Advances in Constraints, 2003
2002
J. Heuristics, 2002
Proceedings of the Security Protocols, 2002
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Proceedings of the Recent Advances in Constraints, 2002
2001
ACM Trans. Program. Lang. Syst., 2001
Proceedings of the Practical Aspects of Declarative Languages, 2001
2000
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation.
Proceedings of the Abstraction, 2000
Proceedings of the Practical Aspects of Declarative Languages, 2000
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.
Proceedings of the Principles and Practice of Constraint Programming, 2000
1999
Constraints An Int. J., 1999
Labeling and Partial Arc Consistency for Soft Constraints.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Constraints and Agents for a Decentralized Network Infrastructure.
Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997
1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
Proceedings of the Over-Constrained Systems, 1995