Christian Straßer

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A postulate-driven study of logical argumentation.

[BibT_eX]

[DOI]

AnneMarie Borg

Artif. Intell., September, 2023

Evaluating and selecting arguments in the context of higher order uncertainty.

[BibT_eX]

[DOI]

Lisa Michajlova

Frontiers Artif. Intell., February, 2023

Scientific Disagreements and the Diagnosticity of Evidence: How Too Much Data May Lead to Polarization.

[BibT_eX]

[DOI]

J. Artif. Soc. Soc. Simul., 2023

Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version).

[BibT_eX]

[DOI]

Badran Raddaoui

CoRR, 2023

Arguing About Choosing a Normative System: Conflict of Laws.

[BibT_eX]

[DOI]

Réka Markovich

Leendert van der Torre

Proceedings of the Legal Knowledge and Information Systems, 2023

A Comparative Study of Ranking Formulas Based on Consistency.

[BibT_eX]

[DOI]

Badran Raddaoui

Saïd Jabbour

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Ranking-based Argumentation Semantics Applied to Logical Argumentation.

[BibT_eX]

[DOI]

Badran Raddaoui

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Abductive Reasoning with Sequent-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation.

[BibT_eX]

[DOI]

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

Explainable Logic-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2022

Reasoning With and About Norms in Logical Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2022

2021

A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.

[BibT_eX]

[DOI]

Stud Logica, 2021

A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities.

[BibT_eX]

[DOI]

FLAP, 2021

Logic-Based Approaches to Formal Argumentation.

[BibT_eX]

[DOI]

FLAP, 2021

Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut.

[BibT_eX]

[DOI]

Argument Comput., 2021

Characterizations and Classifications of Argumentative Entailments.

[BibT_eX]

[DOI]

AnneMarie Borg

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Prioritized Defaults and Formal Argumentation.

[BibT_eX]

Pere Pardo

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

On Minimality and Consistency Tolerance in Logical Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2020

2019

Logical argumentation by dynamic proof systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Normative reasoning by sequent-based argumentation.

[BibT_eX]

[DOI]

J. Log. Comput., 2019

Structured argumentation with prioritized conditional obligations and permissions.

[BibT_eX]

[DOI]

J. Log. Comput., 2019

A logic for best explanations.

[BibT_eX]

[DOI]

Jared Millson

J. Appl. Non Class. Logics, 2019

A Fully Rational Argumentation System for Preordered Defeasible Rules.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Reasoning with maximal consistency by argumentative approaches.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Argument Strength in Formal Argumentation.

[BibT_eX]

[DOI]

FLAP, 2018

Relevance in Structured Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Prioritized Sequent-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2017

Reasoning by cases in structured argumentation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2017

Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Revisiting Unrestricted Rebut and Preferences in Structured Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

An Argumentative Agent-Based Model of Scientific Inquiry.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Argumentative Approaches to Reasoning with Consistent Subsets of Premises.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Assumption-Based Approaches to Reasoning with Priorities.

[BibT_eX]

[DOI]

Pere Pardo

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

2016

Adaptive Logic Characterizations of Input/Output Logic.

[BibT_eX]

[DOI]

Stud Logica, 2016

Adaptive strategies and finite-conditional premise sets.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Which style of reasoning to choose in the face of conflicting information?

[BibT_eX]

[DOI]

Joke Meheus

Peter Verdée

J. Log. Comput., 2016

Relations between assumption-based approaches in nonmonotonic logic and formal argumentation.

[BibT_eX]

[DOI]

CoRR, 2016

Argumentative Approaches to Reasoning with Maximal Consistency.

[BibT_eX]

[DOI]

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

A Structured Argumentation Framework for Detaching Conditional Obligations.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

2015

Reactive standard deontic logic.

[BibT_eX]

[DOI]

Dov M. Gabbay

J. Log. Comput., 2015

Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.

[BibT_eX]

[DOI]

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Sequent-based logical argumentation.

[BibT_eX]

[DOI]

Argument Comput., 2015

2014

Epistemic justification in the context of pursuit: a coherentist approach.

[BibT_eX]

[DOI]

Dunja Seselja

Synth., 2014

Non-monotonic reasoning with normative conflicts in multi-agent deontic logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

Preferential Semantics using Non-smooth Preference Relations.

[BibT_eX]

[DOI]

J. Philos. Log., 2014

Adaptive logics: a parametric approach.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

Sequent-Based Argumentation for Normative Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

Dynamic Derivations for Sequent-Based Logical Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

2013

Abstract argumentation and explanation applied to scientific debates.

[BibT_eX]

[DOI]

Dunja Seselja

Synth., 2013

A Logic for prioritized normative reasoning.

[BibT_eX]

[DOI]

J. Log. Comput., 2013

An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.

[BibT_eX]

[DOI]

Joke Meheus

J. Philos. Log., 2013

Two adaptive logics of norm-propositions.

[BibT_eX]

[DOI]

J. Appl. Log., 2013

Three formats of prioritized adaptive logics: a comparative study.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

2012

Adaptively applying modus ponens in conditional logics of normality.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2012

An Andersonian Deontic Logic with Contextualized Sanctions.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

2011

Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach.

[BibT_eX]

[DOI]

Dunja Seselja

J. Log. Comput., 2011

A deontic logic framework allowing for factual detachment.

[BibT_eX]

[DOI]

J. Appl. Log., 2011

A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts.

[BibT_eX]

[DOI]