Ryuta Arisaka

CoRR, 2020

Let's Accept a Mission Impossible with Formal Argumentation, or Not.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2020

Broadening Label-Based Argumentation Semantics with May-Must Scales.

[BibT_eX]

[DOI]

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

Formulating Manipulable Argumentation with Intra-/Inter-Agent Preferences.

[BibT_eX]

[DOI]

Makoto Hagiwara

CoRR, 2019

Turing-Completeness of Dynamics in Abstract Persuasion Argumentation.

[BibT_eX]

[DOI]

CoRR, 2019

Deception/Honesty Detection and (Mis)trust Building in Manipulable Multi-Agent Argumentation: An Insight.

[BibT_eX]

[DOI]

Makoto Hagiwara

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

Block Argumentation.

[BibT_eX]

[DOI]

Francesco Santini

Stefano Bistarelli

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

Semantics of Opinion Transitions in Multi-Agent Forum Argumentation.

[BibT_eX]

[DOI]

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

Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence. IJCAI 2019 International Workshops, 2019

2018

Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions.

[BibT_eX]

[DOI]

Jeremie Dauphin

CoRR, 2018

Abstract Argumentation / Persuasion / Dynamics.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Defence Outsourcing in Argumentation.

[BibT_eX]

[DOI]

Stefano Bistarelli

Proceedings of the Computational Models of Argument, 2018

2017

Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Anything You Say May Be Used Against You in a Court of Law - Abstract Agent Argumentation (Triple-A).

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017

2016

Predicate Gradual Logic and Linguistics.

[BibT_eX]

[DOI]

CoRR, 2016

Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2016

2015

On Nested Sequents for Constructive Modal Logics.

[BibT_eX]

[DOI]

Anupam Das

Lutz Straßburger

Log. Methods Comput. Sci., 2015

Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories.

[BibT_eX]

[DOI]

CoRR, 2015

How do you revise your belief set with %$;@*?

[BibT_eX]

[DOI]

CoRR, 2015

Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation.

[BibT_eX]

[DOI]

CoRR, 2015

A Belief Revision Technique to Model Civil Code Updates.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2015

2014

Gradual Classical Logic for Attributed Objects.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations.

[BibT_eX]

[DOI]

PhD thesis, 2013

2012

LBI Cut Elimination Proof with BI-MultiCut.

[BibT_eX]

[DOI]