Federico Cerutti

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

2022

Handling epistemic and aleatory uncertainties in probabilistic circuits.

[BibT_eX]

[DOI]

Mach. Learn., 2022

Research Note on Uncertain Probabilities and Abstract Argumentation.

[BibT_eX]

[DOI]

Lance M. Kaplan

Murat Sensoy

CoRR, 2022

Evidential Reasoning and Learning: a Survey.

[BibT_eX]

[DOI]

Lance M. Kaplan

Murat Sensoy

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

SOLBP: Second-Order Loopy Belief Propagation for Inference in Uncertain Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Information Fusion, 2022

AI-based Sound-Squatting Attack Made Possible.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Symposium on Security and Privacy, 2022

A Generalized Notion of Consistency with Applications to Formal Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2022

Generalizing Consistency and Reinstatement in Abstract Argumentation.

[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

Addressing the Symbol Grounding Problem with Constraints in Neuro-Symbolic Planning (Short Paper).

[BibT_eX]

[DOI]

Aymeric Barbin

Alfonso Emilio Gerevini

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

2021

Using DeepProbLog to perform Complex Event Processing on an Audio Stream.

[BibT_eX]

[DOI]

CoRR, 2021

Fudge: A light-weight solver for abstract argumentation based on SAT reductions.

[BibT_eX]

[DOI]

CoRR, 2021

Uncertain Bayesian Networks: Learning from Incomplete Data.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE 31st International Workshop on Machine Learning for Signal Processing (MLSP), 2021

DeepSQA: Understanding Sensor Data via Question Answering.

[BibT_eX]

[DOI]

Proceedings of the IoTDI '21: International Conference on Internet-of-Things Design and Implementation, 2021

Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Self-Aware Effective Identification and Response to Viral Cyber Threats.

[BibT_eX]

[DOI]

Daniela Fogli

Francesco Gringoli

Paul Sullivan

Proceedings of the 13th International Conference on Cyber Conflict, 2021

Augmenting phishing squatting detection with GANs.

[BibT_eX]

[DOI]

Proceedings of the CoNEXT-SW '21: Proceedings of the CoNEXT Student Workshop, 2021

Towards a General Theory of Decomposability in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

Did Karadzic Possess the Mens Rea for Genocide in Srebrenica?

[BibT_eX]

[DOI]

Yvonne McDermott Rees

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

Supporting Trustworthy Artificial Intelligence via Bayesian Argumentation.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

Constructing Local Functions to Decompose Argumentation Semantics: Preliminary Results.

[BibT_eX]

[DOI]

2020

Rapid Trust Calibration through Interpretable and Uncertainty-Aware AI.

[BibT_eX]

[DOI]

Patterns, 2020

An Experimentation Platform for Explainable Coalition Situational Understanding.

[BibT_eX]

[DOI]

CoRR, 2020

Towards human-agent knowledge fusion (HAKF) in support of distributed coalition teams.

[BibT_eX]

[DOI]

CoRR, 2020

A Hybrid Neuro-Symbolic Approach for Complex Event Processing.

[BibT_eX]

[DOI]

CoRR, 2020

The current state of automated negotiation theory: a literature review.

[BibT_eX]

[DOI]

CoRR, 2020

An experimental analysis on the similarity of argumentation semantics.

[BibT_eX]

[DOI]

Argument Comput., 2020

Neuroplex: learning to detect complex events in sensor networks through knowledge injection.

[BibT_eX]

[DOI]

Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

Second-Order Learning and Inference using Incomplete Data for Uncertain Bayesian Networks: A Two Node Example.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Information Fusion, 2020

Increasing Negotiation Performance at the Edge of the Network.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

On Computing the Set of Acceptable Arguments in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2020

An Efficient Algorithm for Admissible Argumentation Stages.

[BibT_eX]

[DOI]

Tobia Zanetti

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

An Efficient Algorithm for Semi-stable Extensions.

[BibT_eX]

[DOI]

Tobia Zanetti

Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020

Uncertainty-Aware Deep Classifiers Using Generative Models.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Predictive models and abstract argumentation: the case of high-complexity semantics.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2019

A general approach to reasoning with probabilities.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2019

Explainable AI for Intelligence Augmentation in Multi-Domain Operations.

[BibT_eX]

[DOI]

CoRR, 2019

Preface.

[BibT_eX]

[DOI]

Richard Booth

Argument Comput., 2019

How we designed winning algorithms for abstract argumentation and which insight we attained.

[BibT_eX]

[DOI]

Artif. Intell., 2019

DeepCEP: Deep Complex Event Processing Using Distributed Multimodal Information.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Smart Computing, 2019

A Pilot Study on Detecting Violence in Videos Fusing Proxy Models.

[BibT_eX]

[DOI]

Proceedings of the 22th International Conference on Information Fusion, 2019

On Natural Language Generation of Formal Argumentation.

[BibT_eX]

[DOI]

Alice Toniolo

Timothy J. Norman

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

Probabilistic Logic Programming with Beta-Distributed Random Variables.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

On the impact of configuration on abstract argumentation automated reasoning.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2018

Unveiling the oracle: Artificial intelligence for the 21st century.

[BibT_eX]

[DOI]

Alessia Grassi

Intell. Decis. Technol., 2018

Uncertainty Aware AI ML: Why and How.

[BibT_eX]

[DOI]

CoRR, 2018

A General Approach to Reasoning with Probabilities - Extended Abstract.

[BibT_eX]

[DOI]

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

A Tool to Highlight Weaknesses and Strengthen Cases: CISpaces.org.

[BibT_eX]

[DOI]

Timothy J. Norman

Alice Toniolo

Proceedings of the Legal Knowledge and Information Systems, 2018

Supporting Scientific Enquiry with Uncertain Sources.

[BibT_eX]

[DOI]

Gavin Pearson

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

Learning and Reasoning in Complex Coalition Information Environments: A Critical Analysis.

[BibT_eX]

[DOI]

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

Probabilistic Graded Semantics.

[BibT_eX]

[DOI]

Tjitze Rienstra

Proceedings of the Computational Models of Argument, 2018

AIF-EL - An OWL2-EL-Compliant AIF Ontology.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2018

CISpaces.org: From Fact Extraction to Report Generation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2018

Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver.

[BibT_eX]

[DOI]

Wolfgang Faber

Proceedings of the Computational Models of Argument, 2018

2017

An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2017

Foundations of Implementations for Formal Argumentation.

[BibT_eX]

[DOI]

Sarah Alice Gaggl

Johannes Peter Wallner

FLAP, 2017

Towards an Ontology of Trust for Situational Understanding.

[BibT_eX]

[DOI]

Owain Carpanini

Proceedings of the Advances in Computational Intelligence Systems, 2017

Cognitive computing for coalition situational understanding.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE SmartWorld, 2017

Interpretability of deep learning models: A survey of results.

[BibT_eX]

[DOI]

Christopher J. Willis

Prudhvi Gurram

Proceedings of the 2017 IEEE SmartWorld, 2017

Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding.

[BibT_eX]

[DOI]

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2017

On the Combination of Argumentation Solvers into Parallel Portfolios.

[BibT_eX]

[DOI]

Proceedings of the AI 2017: Advances in Artificial Intelligence, 2017

2016

Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation.

[BibT_eX]

[DOI]

Wolfgang Faber

CoRR, 2016

Special issue on argumentation in multi-agent systems.

[BibT_eX]

[DOI]

Argument Comput., 2016

Summary Report of The First International Competition on Computational Models of Argumentation.

[BibT_eX]

[DOI]

AI Mag., 2016

Privacy enforcement through policy extension.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Military Communications Conference, 2016

jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation.

[BibT_eX]

[DOI]

Wolfgang Faber

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Efficient and Off-The-Shelf Solver: jArgSemSAT.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2016

Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2016

On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2016

A Pilot Study in Using Argumentation Frameworks for Online Debates.

[BibT_eX]

[DOI]

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

Generating Structured Argumentation Frameworks: AFBenchGen2.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2016

2015

Reasoning about the impacts of information sharing.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2015

Subjective logic operators in trust assessment: an empirical study.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2015

Senses of 'argument' in instantiated argumentation frameworks.

[BibT_eX]

[DOI]

Adam Z. Wyner

Trevor J. M. Bench-Capon

Argument Comput., 2015

Formal reconciliatory dialogue based on shift from forward to backward deliberation.

[BibT_eX]

[DOI]

Hiroyuki Kido

Argument Comput., 2015

Supporting Reasoning with Different Types of Evidence in Intelligence Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Global Approximations for Principal Agent Theory.

[BibT_eX]

[DOI]

Nir Oren

Christopher Burnett

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Representative Agents and the Cold Start Problem in Contract Negotiation.

[BibT_eX]

[DOI]

Christopher Burnett

Nir Oren

Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

Exploiting Parallelism for Hard Problems in Abstract Argumentation.

[BibT_eX]

[DOI]

Grigoris Antoniou

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report.

[BibT_eX]

[DOI]

Grigoris Antoniou

CoRR, 2014

On the Input/Output behavior of argumentation frameworks.

[BibT_eX]

[DOI]

Guido Boella

Leendert W. N. van der Torre

Serena Villata

Artif. Intell., 2014

Shift from Forward to Backward Deliberation in Search of Reconciliation.

[BibT_eX]

[DOI]

Hiroyuki Kido

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

An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation.

[BibT_eX]

[DOI]

Marina Zanella

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Argumentation Extensions Enumeration as a Constraint Satisfaction Problem: a Performance Overview.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2014

Argumentation Frameworks Features: an Initial Study.

[BibT_eX]

[DOI]

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

Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical Evaluation.

[BibT_eX]

[DOI]

Nava Tintarev

Nir Oren

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

Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

A Benchmark Framework for a Computational Argumentation Competition.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

Generating Challenging Benchmark AFs.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

ArgSemSAT: Solving Argumentation Problems Using SAT.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

Algorithm Selection for Preferred Extensions Enumeration.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

2013

Subjective Logic Operators in Trust Assessment: an Empirical Study.

[BibT_eX]

[DOI]

CoRR, 2013

Context-dependent Trust Decisions with Subjective Logic.

[BibT_eX]

[DOI]

CoRR, 2013

Automata for infinite argumentation structures.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2013

An Empirical Evaluation of Geometric Subjective Logic Operators.

[BibT_eX]

[DOI]

Proceedings of the Agreement Technologies - Second International Conference, 2013

A Framework for Using Trust to Assess Risk in Information Sharing.

[BibT_eX]

[DOI]

Proceedings of the Agreement Technologies - Second International Conference, 2013

2012

On Input/Output Argumentation Frameworks.

[BibT_eX]

[DOI]

Guido Boella

Leendert W. N. van der Torre

Serena Villata

Proceedings of the Computational Models of Argument, 2012

2011

AFRA: Argumentation framework with recursive attacks.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2011

Computing with Infinite Argumentation Frameworks: The Case of AFRAs.

[BibT_eX]

[DOI]

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Decision Support through Argumentation-Based Practical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2009

Encompassing Attacks to Attacks in Abstract Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

An Argumentation-Based Approach to Modeling Decision Support Contexts with What-If Capabilities.

[BibT_eX]

[DOI]