Richard Booth

J. Artif. Intell. Res., 2024

The Score Reveal Problem: How do We Maximise Entertainment?

[BibT_eX]

[DOI]

Aric Fowler

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

The Role of Syntax in Inductive Inference: A Property-based Study.

[BibT_eX]

[DOI]

Jesse Heyninck

Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024

Interval Orders and Biorders: Under-explored Playgrounds for NMR and Belief Revision (Invited Talk, Abstract).

[BibT_eX]

[DOI]

Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties).

[BibT_eX]

[DOI]

Nico Potyka

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

An Empirical Study of Quantitative Bipolar Argumentation Frameworks for Truth Discovery.

[BibT_eX]

[DOI]

Nico Potyka

Proceedings of the Computational Models of Argument, 2024

Can Language Models Learn Embeddings of Propositional Logic Assertions?

[BibT_eX]

[DOI]

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

2023

Elementary Belief Revision Operators.

[BibT_eX]

[DOI]

J. Philos. Log., February, 2023

A Contribution to the Defense of Liquid Democracy.

[BibT_eX]

[DOI]

Gregory Butterworth

Proceedings of the 24th Annual International Conference on Digital Government Research, 2023

Joint Trust for Belief Revision.

[BibT_eX]

[DOI]

Aaron Hunter

Proceedings of the 36th Canadian Conference on Artificial Intelligence, 2023

2022

Towards an axiomatic approach to truth discovery.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2022

Who's the Expert? On Multi-source Belief Change.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Rankings for Bipartite Tournaments via Chain Editing.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Conditional Inference under Disjunctive Rationality.

[BibT_eX]

[DOI]

Ivan Varzinczak

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

On strengthening the logic of iterated belief revision: Proper ordinal interval operators.

[BibT_eX]

[DOI]

Artif. Intell., 2020

Revision by Conditionals: From Hook to Arrow.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

An Axiomatic Approach to Truth Discovery.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Editorial: Defeasible and Ampliative Reasoning.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2019

Preface.

[BibT_eX]

[DOI]

Federico Cerutti

Argument Comput., 2019

On rational entailment for Propositional Typicality Logic.

[BibT_eX]

[DOI]

Artif. Intell., 2019

From iterated revision to iterated contraction: Extending the Harper Identity.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Elementary Iterated Revision and the Levi Identity.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018

Trust as a Precursor to Belief Revision.

[BibT_eX]

[DOI]

Aaron Hunter

J. Artif. Intell. Res., 2018

DISCO: A Web-Based Implementation of Discussion Games for Grounded and Preferred Semantics.

[BibT_eX]

[DOI]

Martin Caminada

Braden Marshall

Proceedings of the Computational Models of Argument, 2018

2017

Judgement aggregation in multi-agent argumentation.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

The Irreducibility of Iterated to Single Revision.

[BibT_eX]

[DOI]

J. Philos. Log., 2017

2016

Extending the Harper Identity to Iterated Belief Change.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Dialectical Approach for Argument-Based Judgment Aggregation.

[BibT_eX]

[DOI]

Martin Caminada

Proceedings of the Computational Models of Argument, 2016

2015

Trust-Sensitive Belief Revision.

[BibT_eX]

[DOI]

Aaron Hunter

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Entailment Problem for a Logic of Typicality.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Judgment Aggregation in Abstract Dialectical Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

What Does Entailment for PTL Mean?

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

2014

Judgment Aggregation in Multi-Agent Argumentation.

[BibT_eX]

[DOI]

CoRR, 2014

Interval Methods for Judgment Aggregation in Argumentation.

[BibT_eX]

[DOI]

Edmond Awad

Iyad Rahwan

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

Abduction and Dialogical Proof in Argumentation and Logic Programming.

[BibT_eX]

[DOI]

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

Credibility-Limited Improvement Operators.

[BibT_eX]

[DOI]

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

Complexity Properties of Critical Sets of Arguments.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

2013

A Logical Theory about Dynamics in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Monotonic and Nonmonotonic Inference for Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

Property-Based Preferences in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Decision Theory - Third International Conference, 2013

2012

A General Family of Preferential Belief Removal Operators.

[BibT_eX]

[DOI]

Thomas Meyer

Chattrakul Sombattheera

J. Philos. Log., 2012

Credibility-Limited Revision Operators in Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

PTL: A Propositional Typicality Logic.

[BibT_eX]

[DOI]

Thomas Meyer

Ivan Varzinczak

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Conditional Acceptance Functions.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2012

Quantifying disagreement in argument-based reasoning.

[BibT_eX]

[DOI]

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

2011

How to Revise a Total Preorder.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

2010

Equilibria in social belief removal.

[BibT_eX]

[DOI]

Synth., 2010

Double preference relations for generalised belief change.

[BibT_eX]

[DOI]

Artif. Intell., 2010

Horn Belief Change: A Contraction Core.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Learning conditionally lexicographic preference relations.

[BibT_eX]

[DOI]

Chattrakul Sombattheera

Proceedings of the ECAI 2010, 2010

2009

Next Steps in Propositional Horn Contraction.

[BibT_eX]

[DOI]

Ivan José Varzinczak

Proceedings of the IJCAI 2009, 2009

2008

Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs.

[BibT_eX]

[DOI]

J. Log. Comput., 2008

2007

On the Dynamics of Total Preorders: Revising Abstract Interval Orders.

[BibT_eX]

[DOI]

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

A Method for Reasoning about other Agents' Beliefs from Observations.

[BibT_eX]

[DOI]

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2006

Admissible and Restrained Revision.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2006

Social contraction and belief negotiation.

[BibT_eX]

[DOI]

Inf. Fusion, 2006

A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder.

[BibT_eX]

[DOI]

Ka-Shu Wong

Proceedings of the Proceedings, 2006

Computing Maximally Satisfiable Terminologies for the Description Logic <i>ALC</i> with Cyclic Definitions.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Finding Maximally Satisfiable Terminologies for the Description Logic ALC.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

On Revising Fuzzy Belief Bases.

[BibT_eX]

[DOI]

Eva Richter

Stud Logica, 2005

Belief Liberation (and Retraction).

[BibT_eX]

[DOI]

Stud Logica, 2005

Reconstructing an Agent's Epistemic State from Observations.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Beyond the Rational Explanation.

[BibT_eX]

[DOI]

Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

Knowledge Integration for Description Logics.

[BibT_eX]

[DOI]

Kevin Lee