Publications

Books

2014

Simon Parsons, Nir Oren, Chris Reed and Federico Cerutti (eds) · Computational Models of Argument - Proceedings of COMMA 2014 · IOS Press, 2014.

2010

Pietro Baroni, Federico Cerutti, Massimiliano Giacomin and Guillermo Simari (eds) · Computational Models of Argument - Proceedings of COMMA 2010 · IOS Press, 2010.

Journal Papers

2015

Adam Wyner, Trevor Bench-Capon, Paul Dunne and Federico Cerutti · Senses of ‘argument’ in instantiated argumentation frameworks · , 2015.

2014

Federico Cerutti, Lance M. Kaplan, Timothy J. Norman, Nir Oren and Alice Toniolo · Subjective Logic Operators in Trust Assessment: an Empirical Study · Information Systems Frontiers Journal, 2014.

Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre and Serena Villata · On the Input/Output behavior of argumentation frameworks · Artificial Intelligence, (217)2014.

Yuqing Tang, Federico Cerutti, Nir Oren and Chatschik Bisdikian · Reasoning about the Impacts of Information Sharing · Information Systems Frontiers Journal, 2014.

2013

Pietro Baroni, Federico Cerutti, Paul E. Dunne and Massimiliano Giacomin · Automata for Infinite Argumentation Structures · Artificial Intelligence, (203)2013.

2011

Pietro Baroni, Federico Cerutti, Massimiliano Giacomin and Giovanni Guida · AFRA: Argumentation framework with recursive attacks · International Journal of Approximate Reasoning (Special Issue Tenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty - ECSQARU 2009), 1(52)2011.

Papers in Proceedings

2015

Federico Cerutti, Nir Oren and Christopher Burnett · Global Approximations for Principal Agent Theory · Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015.

Federico Cerutti, Artemis Parvizi, Alice Toniolo, Dave Braines, Geeth R. de Mel, Timothy J. Norman, Nir Oren, Jeff Z. Pan, Gavin Pearson, Stephen D. Pipes and Paul Sullivan · When is Lying the Right Choice? · Proceedings of Language and Ontologies 2015, 2015.

Alice Toniolo, Timothy J. Norman, Anthony Etuk, Federico Cerutti, Robin Wentao Ouyang, Mani Srivastava, Nir Oren, Timothy Dropps, John A. Allen and Paul Sullivan · Agent Support to Reasoning with Different Types of Evidence in Intelligence Analysis · Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015.

Federico Cerutti, Ilias Tachmazidis, Sotirios Batsakis, Mauro Vallati, Massimiliano Giacomin and Grigoris Antoniou · Exploiting Parallelism for Hard Problems in Abstract Argumentation · 29th AAAI Conference - AAAI 2015, 2015.

2014

Hiroyuki Kido and Federico Cerutti · Shift from Forward to Backward Deliberation in Search of Reconciliation · PRICAI 2014: Trends in Artificial Intelligence, 2014.

Mauro Vallati, Federico Cerutti and Massimiliano Giacomin · Argumentation Extensions Enumeration as a Constraint Satisfaction Problem: a Performance Overview · DARe 2014, 2014.

Federico Cerutti, Massimiliano Giacomin and Mauro Vallati · Algorithm Selection for Preferred Extensions Enumeration · 5th Conference on Computational Models of Argument, 2014.

Federico Cerutti, Massimiliano Giacomin and Mauro Vallati · ArgSemSAT: Solving Argumentation Problems Using SAT · 5th Conference on Computational Models of Argument, 2014.

Federico Cerutti, Massimiliano Giacomin and Mauro Vallati · Generating Challenging Benchmark AFs · 5th Conference on Computational Models of Argument, 2014.

Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm and Mauro Vallati · A Benchmark Framework for a Computational Argumentation Competition · 5th Conference on Computational Models of Argument, 2014.

Federico Cerutti, Nava Tintarev and Nir Oren · Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical Evaluation · 21st European Conference on Artificial Intelligence, 2014.

Federico Cerutti, Nava Tintarev and Nir Oren · Formal Argumentation: A Human-centric Perspective · Eleventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2014), 2014.

Alice Toniolo, Federico Cerutti, Nir Oren, Timothy J. Norman and Katia Sycara · Making Informed Decisions with Provenance and Argumentation Schemes · Eleventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2014), 2014.

Federico Cerutti, Geeth R. de Mel, Timothy J. Norman, Nir Oren, Artemis Parvizi, Paul Sullivan and Alice Toniolo · Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information · DL2014, 2014.

Mauro Vallati, Federico Cerutti and Massimiliano Giacomin · Argumentation Frameworks Features: an Initial Study · 21st European Conference on Artificial Intelligence, 2014.

Federico Cerutti, Massimiliano Giacomin, Mauro Vallati and Marina Zanella · A SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation · 14th International Conference on Principles of Knowledge Representation and Reasoning, 2014.

Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin and Mauro Vallati · Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach · TAFA 2013, 2014.

2013

Mauro Vallati, Lukas Chrpa and Federico Cerutti · Towards Automated Planning Domain Models Generation · The 5th Italian Workshop on Planning and Scheduling, 2013.

Alice Toniolo, Federico Cerutti, Nir Oren and Timothy J. Norman · Argument schemes and provenance to support collaborative intelligence analysis · Proceedings of the Third International Conference on Advanced Collaborative Networks, Systems and Applications, 2013.

Federico Cerutti, Alice Toniolo, Nir Oren and Timothy J. Norman · An Empirical Evaluation of Geometric Subjective Logic Operators · Agreement Technologies -- Second International Conference, AT 2013 Beijing, China, August 2013 Proceedings, 2013.

Chatschik Bisdikian, Yuqing Tang, Federico Cerutti and Nir Oren · A Framework for Using Trust to Assess Risk in Information Sharing · Agreement Technologies -- Second International Conference, AT 2013 Beijing, China, August 2013 Proceedings, 2013.

Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin and Mauro Vallati · A SAT-based Approach for Computing Extensions in Abstract Argumentation · Second International Workshop on Theory and Applications of Formal Argumentation (TAFA-13), 2013.

2012

Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre and Serena Villata · On Input/Output Argumentation Frameworks · Proceedings of the 4th International Conference on Computational Models of Arguments (COMMA 2012), 2012.

Federico Cerutti and Mauro Vallati · On Practical Reasoning and Automated Planning · The 30th Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG-12), 2012.

Pietro Baroni, Federico Cerutti, Paul E. Dunne and Massimiliano Giacomin · Computing with Infinite Argumentation Frameworks: the Case of AFRAs · TAFA 2011, 2012.

2011

Pietro Baroni, Federico Cerutti, Paul E. Dunne and Massimiliano Giacomin · Computing with Infinite Argumentation Frameworks: the Case of AFRAs · Prooceedings of First International Workshop on the Theory and Applications of Formal Argumentation (TAFA-11), 2011.

Federico Cerutti · Decision Support through Argumentation-Based Practical Reasoning · Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), 2011.

2010

Pietro Baroni, Federico Cerutti, Massimiliano Giacomin and Giovanni Guida · Argumentation-Based Decision Making and Structural Models of Personality · Proceedings of the Eleventh AI*IA Symposium on Artificial Intelligence: Workshop on Artificial Intelligence and Argumentation: computational and philosophical perspective, 2010.

Pietro Baroni, Federico Cerutti, Daniela Fogli, Claudio Gandelli and Massimiliano Giacomin · From User-Generated Tagging to User-Agreed Knowledge: An Argumentation-Based Approach · 13th International Workshop on Non-Monotonic Reasoning NMR 2010, 2010.

2009

Pietro Baroni, Federico Cerutti, Massimiliano Giacomin and Giovanni Guida · An Argumentation-Based Approach to Modeling Decision Support Contexts with What-If Capabilities · AAAI Fall Symposium. Technical Report SS-09-06, 2009.

Pietro Baroni, Federico Cerutti, Massimiliano Giacomin and Giovanni Guida · Encompassing Attacks to Attacks in Abstract Argumentation Frameworks · ECSQARU 2009, 2009.

Technical Reports

2014

Jhonatan Garcia, Achille Fokoue, Jeff Z. Pan, Katia Sycara, Yuqing Tang and Federico Cerutti · Ontology-Based Data Access over Subjective Ontologies · AFM2014, 2014.

Federico Cerutti, Supriyo Chakraborty, Geeth R. de Mel, Lance M. Kaplan, Timothy J. Norman, Nir Oren, Stephen Pipes, Murat Sensoy, Mani B. Srivastava and Paul Sullivan · Managing Information Sharing in Coalitions through Credible Obfuscation · AFM2014, 2014.

Stephen Pipes, Supriyo Chakraborty and Federico Cerutti · Inference Management in the Experimentation Framework · AFM2014, 2014.

Stephen Pipes, Federico Cerutti, Supriyo Chakraborty, Christopher Gibson, Timothy J. Norman, Nir Oren and Mani Srivastava · Architecture Options for Realization of Inference Management in Information Fabric · https://www.usukitacs.com/node/2633, 2014.

Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin and Grigoris Antoniou · Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report · , 2014.

Yuqing Tang, Federico Cerutti and Nir Oren · On the Impacts of Information Sharing · AFM2014, 2014.

Federico Cerutti, Nava Tintarev and Nir Oren · Human-Argumentation Experiment Pilot 2013 · , 2014.

Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin and Mauro Vallati · Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach (technical Report) · , 2014.

Federico Cerutti, David Mott, Dave Braines, Timothy J. Norman, Nir Oren and Stephen Pipes · Reasoning under Uncertainty in Controlled English: an Argumentation-based Perspective · AFM2014, 2014.

Stephen Pipes, Supriyo Chakraborty, Federico Cerutti, Alice Toniolo and Paul Sullivan · T6.1 Demo: Multitiered Inference Management for Context-Aware Information Masking · , 2014.

Supriyo Chakraborty, Federico Cerutti, Matthew P. Johnson and Mani B. Srivastava · Understanding The Information Flow Dynamics In Coalition Networks: A Game Theoretic Analysis · AFM2014, 2014.

Federico Cerutti, Supriyo Chakraborty, Timothy J. Norman, Nir Oren, Mani B. Srivastava and Alice Toniolo · Preliminary Report on Privacy in Trust/Reputation Mechanism · , 2014.

Stephen Pipes, Federico Cerutti and Supriyo Chakraborty · Initial Realization of Inference Management in Information Fabric · , 2014.

2013

Federico Cerutti, Lance Kaplan, Geeth de Mel, Nir Oren and Murat Sensoy · Empirical Evaluation of Discounting and Fusion for Subjective Opinions of Various Trust Levels · Annual Fall Meeting of ITA, 2013.

Federico Cerutti, Alice Toniolo, Nir Oren and Timothy J. Norman · Context-dependent Trust Decisions with Subjective Logic · , 2013.

Federico Cerutti, Supriyo Chakraborty, Geeth de Mel, Christopher Gibson, Lance Kaplan, Nir Oren, Stephen Pipes, Murat Sensoy, Mani Srivastava and Murtaza Zafer · A Principled Framework for Risk vs. Utility Management in Coalition Networks · Annual Fall Meeting of ITA, 2013.

Ph.D. Thesis

Federico Cerutti Argumentation-Based Practical Reasoning: New Models and Algorithms. University of Brescia: Department of Information Engineering, 2012.