Meyer, Thomas Andreas

12 publications

AAAI 2023 Conditional Syntax Splitting for Non-Monotonic Inference Operators Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle

IJCAI 2022 Lexicographic Entailment, Syntax Splitting and the Drowning Problem Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer

AAAI 2021 Contextual Conditional Reasoning Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak

IJCAI 2017 Belief Change in a Preferential Non-Monotonic Framework Giovanni Casini, Thomas Andreas Meyer

IJCAI 2015 On the Entailment Problem for a Logic of Typicality Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak

JAIR 2011 On the Link Between Partial Meet, Kernel, and Infra Contraction and Its Application to Horn Logic Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann

IJCAI 2009 Next Steps in Propositional Horn Contraction Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak

JAIR 2006 Admissible and Restrained Revision Richard Booth, Thomas Andreas Meyer

AAAI 2006 Finding Maximally Satisfiable Terminologies for the Description Logic ALC Thomas Andreas Meyer, Kevin Lee, Richard Booth, Jeff Z. Pan

AAAI 2005 Knowledge Integration for Description Logics Thomas Andreas Meyer, Kevin Lee, Richard Booth

AAAI 2004 Logical Foundations of Negotiation: Outcome, Concession, and Adaptation Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang

AAAI 2004 Negotiation as Mutual Belief Revision Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok