Thomas Andreas Meyer

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 21

Top Topics

Knowledge Representation

Probabilistic Reasoning

Top Venues

Publications

Victoria Chama, Steve Wang, Thomas Andreas Meyer, Giovanni Casini
Defeasible Justification for KML-Style Logic. Description Logics (2024)
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle
Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI (2023)
James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning. CoRR (2023)
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer
Lexicographic Entailment, Syntax Splitting and the Drowning Problem. IJCAI (2022)
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
Situated Conditionals - A Brief Introduction. NMR (2022)
Clayton K. Baker, Thomas Andreas Meyer
Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. NMR (2022)
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. NMR (2022)
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
Situated Conditional Reasoning. CoRR (2021)
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
Contextual Conditional Reasoning. AAAI (2021)
Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
The Probabilistic Description Logic. Theory Pract. Log. Program. 21 (4) (2021)
Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
The Probabilistic Description Logic BALC. CoRR (2020)
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
On Rational Entailment for Propositional Typicality Logic. CoRR (2018)
Gavin Rens, Thomas Andreas Meyer
Probabilistic Belief Update via Mixing Endogenous Actions and Exogenous Events. DKB/KIK@KI (2018)
Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
The Bayesian Description Logic BALC. Description Logics (2018)
Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. KI (2018)
Gavin Rens, Abhaya Nayak, Thomas Andreas Meyer
Maximizing Expected Impact in an Agent Reputation Network. KI (2018)
Gavin Rens, Thomas Andreas Meyer
Imagining Probabilistic Belief Change as Imaging (Technical Report). CoRR (2017)
Giovanni Casini, Thomas Andreas Meyer
Belief Change in a Preferential Non-monotonic Framework. IJCAI (2017)
Gavin Rens, Thomas Andreas Meyer, Giovanni Casini
Revising Incompletely Specified Convex Probabilistic Belief Bases. CoRR (2016)
Giovanni Casini, Thomas Andreas Meyer
Using Defeasible Information to Obtain Coherence. KR (2016)
Gavin Rens, Thomas Andreas Meyer, Giovanni Casini
On Revision of Partially Specified Convex Probabilistic Belief Bases. ECAI (2016)
Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan José Varzinczak
Introducing Defeasibility into OWL Ontologies. ISWC (2) (2015)
Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer
A Logic for Reasoning About Decision-Theoretic Projections. ICAART (Revised Selected Papers) (2015)
Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer
A Modal Logic for the Decision-Theoretic Projection Problem. ICAART (2) (2015)
Gavin Rens, Thomas Andreas Meyer
A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. ICAART (Revised Selected Papers) (2015)
Gavin Rens, Thomas Andreas Meyer
Hybrid POMDP-BDI - An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. ICAART (1) (2015)
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak
On the Entailment Problem for a Logic of Typicality. IJCAI (2015)
Richard Booth, Thomas Andreas Meyer
How to Revise a Total Preorder. J. Philos. Log. 40 (2) (2011)
Richard Booth, Thomas Andreas Meyer
Admissible and Restrained Revision CoRR (2011)
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. 42 (2011)
Riku Nortje, Arina Britz, Thomas Andreas Meyer
Bidirectional Reachability-Based Modules. Description Logics (2011)
Richard Booth, Thomas Andreas Meyer
Equilibria in social belief removal. Synth. 177 (Supplement-1) (2010)
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann
Horn Belief Change: A Contraction Core. ECAI (2010)
Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose
Double preference relations for generalised belief change. Artif. Intell. 174 (16-17) (2010)
Katarina Britz, Johannes Heidema, Thomas Andreas Meyer
Modelling Object Typicality in Description Logics. Australasian Conference on Artificial Intelligence (2009)
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak
Next Steps in Propositional Horn Contraction. IJCAI (2009)
Richard Booth, Thomas Andreas Meyer, Chattrakul Sombattheera
A General Family of Preferential Belief Removal Operators. LORI (2009)
Samir Chopra, Aditya Ghose, Thomas Andreas Meyer, Ka-Shu Wong
Iterated Belief Change and the Recovery Axiom. J. Philos. Log. 37 (5) (2008)
Richard Booth, Thomas Andreas Meyer
Equilibria in Social Belief Removal. KR (2008)
Katarina Britz, Johannes Heidema, Thomas Andreas Meyer
Semantic Preferential Subsumption. KR (2008)
Louise Leenen, Thomas Andreas Meyer, Aditya Ghose
Relaxations of semiring constraint satisfaction problems. Inf. Process. Lett. 103 (5) (2007)
Richard Booth, Thomas Andreas Meyer
On the Dynamics of Total Preorders: Revising Abstract Interval Orders. ECSQARU (2007)
Thomas Andreas Meyer, Kevin Lee, Richard Booth, Jeff Z. Pan
Finding Maximally Satisfiable Terminologies for the Description Logic ALC. AAAI (2006)
Richard Booth, Thomas Andreas Meyer
Admissible and Restrained Revision. J. Artif. Intell. Res. 26 (2006)
Samir Chopra, Aditya K. Ghose, Thomas Andreas Meyer
Social choice theory, belief merging, and strategy-proofness. Inf. Fusion 7 (1) (2006)
Louise Leenen, Thomas Andreas Meyer, Peter Harvey, Aditya Ghose
A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings. PRICAI (2006)
Richard Booth, Thomas Andreas Meyer, Ka-Shu Wong
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. KR (2006)
Kevin Lee, Thomas Andreas Meyer, Jeff Z. Pan, Richard Booth
with Cyclic Definitions. Description Logics (2006)
Laurent Perrussel, Jean-Marc Thévenin, Thomas Andreas Meyer
Mutual enrichment through nested belief change. AAMAS (2006)
Thomas Andreas Meyer, Kevin Lee, Richard Booth
Knowledge Integration for Description Logics. AAAI (2005)
Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
Belief Liberation (and Retraction). Stud Logica 79 (1) (2005)
Thomas Andreas Meyer, Pilar Pozos Parra, Laurent Perrussel
Mediation Using m-States. ECSQARU (2005)
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. AAAI (2004)
Kevin Lee, Thomas Andreas Meyer
A Classification of Ontology Modification. Australian Conference on Artificial Intelligence (2004)
Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok
Negotiation as Mutual Belief Revision. AAAI (2004)
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
Logical Foundations of Negotiation: Strategies and Preferences. KR (2004)
Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose
A unifying semantics for belief change. NMR (2004)
Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose
A Unifying Semantics for Belief Change. ECAI (2004)
Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
Belief liberation (and retraction). TARK (2003)
Samir Chopra, Johannes Heidema, Thomas Andreas Meyer
Some Logics of Belief and Disbelief. Australian Conference on Artificial Intelligence (2003)
Samir Chopra, Johannes Heidema, Thomas Andreas Meyer
Some logics of belief and disbelief. NMR (2002)
Thomas Andreas Meyer, Johannes Heidema, Willem Adrian Labuschagne, Louise Leenen
Systematic Withdrawal. J. Philos. Log. 31 (5) (2002)
Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
Iterated revision and the axiom of recovery: A unified treatment via epistemic states. ECAI (2002)
Samir Chopra, Johannes Heidema, Thomas Andreas Meyer
Some logics of belief and disbelief CoRR (2002)
Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
Iterated revision and the axiom of recovery: a unified treatment via epistemic states CoRR (2002)
Thomas Andreas Meyer, Aditya Ghose, Samir Chopra
Syntactic Representations of Semantic Merging Operations. PRICAI (2002)
Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
Iterated revision and the axiom of recovery: a unified treatment via epistemic states. NMR (2002)
Thomas Andreas Meyer
Basic Infobase Change. Stud Logica 67 (2) (2001)
Thomas Andreas Meyer
On the semantics of combination operations. J. Appl. Non Class. Logics 11 (1-2) (2001)
Thomas Andreas Meyer, Aditya Ghose, Samir Chopra
Social Choice, Merging, and Elections. ECSQARU (2001)
Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema
Infobase Change: A First Approximation. J. Log. Lang. Inf. 9 (3) (2000)
Thomas Andreas Meyer
Merging Epistemic States. PRICAI (2000)
Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema
Refined Epistemic Entrenchment. J. Log. Lang. Inf. 9 (2) (2000)
Thomas Andreas Meyer
On the semantics of merging CoRR (2000)
Thomas Andreas Meyer
Basic Infobase Change. Australian Joint Conference on Artificial Intelligence (1999)