About

Presentations during Conferences/Workshops

  • Slides of talk about "Algorithm Selection for Preferred Extensions Enumeration " presented at COMMA 2014: 5th Conference on Computational Models of Argument, 10th September, 2014, Pitlochry, Scotland, UK.
  • Slides of talk about "Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical Evaluation" presented at ECAI 2014: 21st European Conference on Artificial Intelligence, 22nd August, 2014, Prague, Czech Republic.
  • Slides of talk about "Argumentation Extensions Enumeration as a Constraint Satisfaction Problem: a Performance Overview" presented at DARe 2014: International Workshop on Defeasible and Ampliative Reasoning, 19th August, 2014, Prague, Czech Republic.
  • Slides of talk about "A SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation" presented at KR 2014: Principles of Knowledge Representation and Reasoning: 14th International Conference, 21st July, 2014, Vienna, Austria.
  • Slides of talk about "A SAT-based Approach for Computing Extensions in Abstract Argumentation" presented at TAFA 13: Second International Workshop on the Theory and Applications of Formal Argumentation, 4th August 2013, Beijing, China.
  • Slides of talk about "An Empirical Evaluation of Geometric Subjective Logic Operators" presented at Agreement Technologies -- Second International Conference, AT 2013 Beijing, China, 2nd August 2013, Beijing, China.
  • Slides of talk about "A Framework for Using Trust to Assess Risk in Information Sharing" presented at Agreement Technologies -- Second International Conference, AT 2013 Beijing, China, 1st August 2013, Beijing, China.
  • Slides of talk about "Computing with Infinite Argumentation Frameworks: the Case of AFRAs" presented at TAFA 11: First International Workshop on the Theory and Applications of Formal Argumentation, 17th July 2011, Barcelona, Spain.
  • Slides of talk about "Argumentation-Based Decision Making and Structural Models of Personality" presented on ARGAIP 2010: 1st Workshop on Argumentation in Artificial Intelligence and Philosophy: computational and philosophical perspectives; 3rd December 2010, Brescia, Italy.
  • Slides of talk about "From User-Generated Tagging to User-Agreed Knowledge: An Argumentation-Based Approach" presented at NMR 2010: Argument, Dialog and Decision; 16th May 2010, Toronto, ON, CA
  • Slides of talk about "An Argumentation-Based Approach to Modeling Decision Support Contexts with What-If Capabilities" presented on AAAI Fall Symposia 2009: The Uses of Computational Argumentation; 5th November 2009, Arlington, VA, USA.
  • Slides of talk about "Encompassing Attacks to Attacks in Abstract Argumentation Framework" presented on ECSQARU09; 1st July 2009, Verona, Italy.

Posters

  • Poster presented at the DL2014, Vienna, July 2014
  • Poster presented at the Doctoral Consortium of AI*IA10, Brescia, December 2010
  • Poster presented at the Advanced Course in Artificial Intelligence 09, Intelligent Decision Support Systems [theory, algorithms, and applications], Belfast, August 23-29, 2009

Seminars

  • Slides of talk about "Introduction to Argumentation Theory", Aberdeen, 18th December 2012.
  • Slides of the talk about "Knowledge Representation and Reasoning", Brescia, 1st June 2012.
  • Slides of talk about "On the Verification of Cryptographic Protocols". Presented during the course "Algebra for coding theory and cryptography" (Prof. Giuzzi), Brescia, 11th January 2011.
  • Slides of talk about "A WIS Project: 4 Advices for the CIO". Presented during the course "Sistemi Informativi in Rete" (Prof. De Antonellis), Brescia, 17th March 2010.

Ph.D. Thesis Presentation