Merging Epistemic States. - Thomas Andreas Meyer (PRICAI, 2000)

On the semantics of merging - Thomas Andreas Meyer (CoRR, 2000)

Refined Epistemic Entrenchment. - Thomas Andreas Meyer; Willem Adrian Labuschagne; Johannes Heidema (J. Log. Lang. Inf., 2000)

Infobase Change: A First Approximation. - Thomas Andreas Meyer; Willem Adrian Labuschagne; Johannes Heidema (J. Log. Lang. Inf., 2000)

Social Choice, Merging, and Elections. - Thomas Andreas Meyer; Aditya Ghose; Samir Chopra (ECSQARU, 2001)

On the semantics of combination operations. - Thomas Andreas Meyer (J. Appl. Non Class. Logics, 2001)

Basic Infobase Change. - Thomas Andreas Meyer (Stud Logica, 2001)

Iterated revision and the axiom of recovery: A unified treatment via epistemic states. - Samir Chopra; Aditya Ghose; Thomas Andreas Meyer (ECAI, 2002)

Syntactic Representations of Semantic Merging Operations. - Thomas Andreas Meyer; Aditya Ghose; Samir Chopra (PRICAI, 2002)

Systematic Withdrawal. - Thomas Andreas Meyer; Johannes Heidema; Willem Adrian Labuschagne; Louise Leenen (J. Philos. Log., 2002)

Some Logics of Belief and Disbelief. - Samir Chopra; Johannes Heidema; Thomas Andreas Meyer (Australian Conference on Artificial Intelligence, 2003)

Non-Prioritized Ranked Belief Change. - Samir Chopra; Aditya Ghose; Thomas Meyer 002 (J. Philos. Log., 2003)

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 (AAAI, 2004)

LPOD Answer Sets and Nash Equilibria. - Norman Y. Foo; Thomas Meyer 002; Gerhard Brewka (ASIAN, 2004)

A Classification of Ontology Modification. - Kevin Lee; Thomas Andreas Meyer (Australian Conference on Artificial Intelligence, 2004)

A Unifying Semantics for Belief Change. - Richard Booth 001; Samir Chopra; Thomas Andreas Meyer; Aditya Ghose (ECAI, 2004)

Logical Foundations of Negotiation: Strategies and Preferences. - Thomas Andreas Meyer; Norman Y. Foo; Rex Kwok; Dongmo Zhang (KR, 2004)

Knowledge Integration for Description Logics. - Thomas Andreas Meyer; Kevin Lee; Richard Booth 001 (AAAI, 2005)

Mediation Using m-States. - Thomas Andreas Meyer; Pilar Pozos Parra; Laurent Perrussel (ECSQARU, 2005)

Belief Liberation (and Retraction). - Richard Booth 001; Samir Chopra; Aditya Ghose; Thomas Andreas Meyer (Stud Logica, 2005)

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

Mutual enrichment through nested belief change. - Laurent Perrussel; Jean-Marc Thévenin; Thomas Andreas Meyer (AAMAS, 2006)

Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions. - Kevin Lee; Thomas Andreas Meyer; Jeff Z. Pan; Richard Booth 001 (Description Logics, 2006)

Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. - Laurent Perrussel; Jean-Marc Thévenin; Thomas Meyer 002 (ECAI, 2006)

A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. - Richard Booth 001; Thomas Andreas Meyer; Ka-Shu Wong (KR, 2006)

A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings. - Louise Leenen; Thomas Andreas Meyer; Peter Harvey; Aditya Ghose (PRICAI, 2006)

Social choice theory, belief merging, and strategy-proofness. - Samir Chopra; Aditya K. Ghose; Thomas Andreas Meyer (Inf. Fusion, 2006)

Admissible and Restrained Revision. - Richard Booth 001; Thomas Andreas Meyer (J. Artif. Intell. Res., 2006)

Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. - Louise Leenen; Anbulagan; Thomas Meyer 002; Aditya K. Ghose (Australian Conference on Artificial Intelligence, 2007)

Implementing Iterated Belief Change Via Prime Implicates. - Zhi Qiang Zhuang; Maurice Pagnucco; Thomas Meyer 002 (Australian Conference on Artificial Intelligence, 2007)

On the Dynamics of Total Preorders: Revising Abstract Interval Orders. - Richard Booth 001; Thomas Andreas Meyer (ECSQARU, 2007)

Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1. - Anne Cregan; Rolf Schwitter; Thomas Meyer 002 (OWLED, 2007)

Relaxations of semiring constraint satisfaction problems. - Louise Leenen; Thomas Andreas Meyer; Aditya Ghose (Inf. Process. Lett., 2007)

Semantic Preferential Subsumption. - Katarina Britz; Johannes Heidema; Thomas Andreas Meyer (KR, 2008)

Introduction to the special issue on advances in ontologies. - Mehmet A. Orgun; Thomas Meyer 002 (Expert Syst. J. Knowl. Eng., 2008)

Iterated Belief Change and the Recovery Axiom. - Samir Chopra; Aditya Ghose; Thomas Andreas Meyer; Ka-Shu Wong (J. Philos. Log., 2008)

Modelling Object Typicality in Description Logics. - Katarina Britz; Johannes Heidema; Thomas Andreas Meyer (Australasian Conference on Artificial Intelligence, 2009)

Next Steps in Propositional Horn Contraction. - Richard Booth 001; Thomas Andreas Meyer; Ivan José Varzinczak (IJCAI, 2009)

A Logic for Reasoning about Actions and Explicit Observations. - Gavin Rens; Ivan Varzinczak; Thomas Meyer 002; Alexander Ferrein (Australasian Conference on Artificial Intelligence, 2010)

Horn Belief Change: A Contraction Core. - Richard Booth 001; Thomas Andreas Meyer; Ivan Varzinczak; Renata Wassermann (ECAI, 2010)

Introduction: Special Issue on Knowledge Representation and Ontology Research. - Thomas Meyer 002; Mehmet A. Orgun (Appl. Artif. Intell., 2010)

Double preference relations for generalised belief change. - Richard Booth 001; Samir Chopra; Thomas Andreas Meyer; Aditya Ghose (Artif. Intell., 2010)

Equilibria in social belief removal. - Richard Booth 001; Thomas Andreas Meyer (Synth., 2010)

A logic-based perspective on agent reconfiguration: Preliminary report. - Thomas Meyer 002; Ivan Varzinczak (AFRICON, 2011)

Semantic Foundation for Preferential Description Logics. - Katarina Britz; Thomas Meyer 002; Ivan Varzinczak (Australasian Conference on Artificial Intelligence, 2011)

Concept Model Semantics for DL Preferential Reasoning. - Arina Britz; Thomas Meyer 002; Ivan Varzinczak (Description Logics, 2011)

Bidirectional Reachability-Based Modules. - Riku Nortje; Arina Britz; Thomas Andreas Meyer (Description Logics, 2011)

Root Justifications for Ontology Repair. - Kodylan Moodley; Thomas Meyer 002; Ivan José Varzinczak (RR, 2011)

Preferential Reasoning for Modal Logics. - Katarina Britz; Thomas Meyer 002; Ivan Varzinczak (M4M/LAMAS, 2011)

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. - Richard Booth 001; Thomas Andreas Meyer; Ivan Varzinczak; Renata Wassermann (J. Artif. Intell. Res., 2011)

How to Revise a Total Preorder. - Richard Booth 001; Thomas Andreas Meyer (J. Philos. Log., 2011)

Normal Modal Preferential Consequence. - Katarina Britz; Thomas Meyer 002; Ivan Varzinczak (Australasian Conference on Artificial Intelligence, 2012)

A Protege Plug-in for Defeasible Reasoning. - Kodylan Moodley; Thomas Meyer 002; Ivan Varzinczak (Description Logics, 2012)

PTL: A Propositional Typicality Logic. - Richard Booth 001; Thomas Meyer 002; Ivan Varzinczak (JELIA, 2012)

A note on the translation of conceptual data models into description logics: disjointness and covering assumptions. - Giovanni Casini; Aurona Gerber; Thomas Meyer 002 (SAICSIT, 2012)

A defeasible reasoning approach for description logic ontologies. - Kodylan Moodley; Thomas Meyer 002; Ivan José Varzinczak (SAICSIT, 2012)

A Logic for Specifying Agent Actions and Observations with Probability. - Gavin Rens; Gerhard Lakemeyer; Thomas Meyer 002 (STAIRS, 2012)

A Brief Overview of Artificial Intelligence in South Africa. - Alexander Ferrein; Thomas Meyer 002 (AI Mag., 2012)

Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). - James P. Delgrande; Thomas Meyer 002; Ulrike Sattler (Dagstuhl Reports, 2012)

A General Family of Preferential Belief Removal Operators. - Richard Booth 001; Thomas Meyer 002; Chattrakul Sombattheera (J. Philos. Log., 2012)

Preferential Role Restrictions. - Arina Britz; Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (Description Logics, 2013)

Towards Practical Defeasible Reasoning for Description Logics. - Giovanni Casini; Thomas Meyer 002; Kodylan Moodley; Ivan Varzinczak (Description Logics, 2013)

Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. - Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak; Kodylan Moodley (Description Logics, 2013)

Module-theoretic Properties of Reachability Modules for SRIQ. - Riku Nortje; Arina Britz; Thomas Meyer 002 (Description Logics, 2013)

An Ontology for Regulating eHealth Interoperability in Developing African Countries. - Deshendran Moodley; Christopher J. Seebregts; Anban W. Pillay; Thomas Meyer 002 (FHIES, 2013)

Prediction and Explanation over DL-Lite Data Streams. - Szymon Klarman; Thomas Meyer 002 (LPAR, 2013)

Reachability Modules for the Description Logic $ mathcal{SRIQ}$. - Riku Nortje; Katarina Britz; Thomas Meyer 002 (LPAR, 2013)

Complexity of Temporal Query Abduction in DL-Lite. - Szymon Klarman; Thomas Meyer 002 (Description Logics, 2014)

DIP: A Defeasible-Inference Platform for OWL Ontologies. - Kodylan Moodley; Thomas Meyer 002; Uli Sattler (Description Logics, 2014)

Transition Constraints for Temporal Attributes. - E. A. Nasubo Ongoma; C. Maria Keet; Thomas Meyer 002 (Description Logics, 2014)

A Logic for Specifying Stochastic Actions and Observations. - Gavin Rens; Thomas Meyer 002; Gerhard Lakemeyer (FoIKS, 2014)

Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. - Giovanni Casini; Thomas Meyer 002; Kodylan Moodley; Riku Nortje (JELIA, 2014)

Querying Temporal Databases via OWL 2 QL. - Szymon Klarman; Thomas Meyer 002 (RR, 2014)

Practical Defeasible Reasoning for Description Logics. - Kodylan Moodley; Thomas Meyer 002; Uli Sattler (STAIRS, 2014)

SLAP: Specification logic of actions with probability. - Gavin Rens; Thomas Meyer 002; Gerhard Lakemeyer (J. Appl. Log., 2014)

What Does Entailment for PTL Mean? - Richard Booth 001; Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (AAAI Spring Symposia, 2015)

A New Approach to Probabilistic Belief Change. - Gavin B. Rens; Thomas Meyer 002 (FLAIRS, 2015)

Hybrid POMDP-BDI - An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. - Gavin Rens; Thomas Andreas Meyer (ICAART (1), 2015)

A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. - Gavin Rens; Thomas Andreas Meyer (ICAART (Revised Selected Papers), 2015)

A Modal Logic for the Decision-Theoretic Projection Problem. - Gavin Rens; Thomas Andreas Meyer; Gerhard Lakemeyer (ICAART (2), 2015)

A Logic for Reasoning About Decision-Theoretic Projections. - Gavin Rens; Thomas Andreas Meyer; Gerhard Lakemeyer (ICAART (Revised Selected Papers), 2015)

Preferential Semantics as the Basis for Defeasible Reasoning in Ontologies. - Thomas Meyer 002 (DARe@IJCAI, 2015)

On the Entailment Problem for a Logic of Typicality. - Richard Booth 001; Giovanni Casini; Thomas Andreas Meyer; Ivan Varzinczak (IJCAI, 2015)

Introducing Defeasibility into OWL Ontologies. - Giovanni Casini; Thomas Andreas Meyer; Kodylan Moodley; Uli Sattler; Ivan Varzinczak (ISWC (2), 2015)

On Revision of Partially Specified Convex Probabilistic Belief Bases. - Gavin Rens; Thomas Andreas Meyer; Giovanni Casini (ECAI, 2016)

Probabilistic Expert Systems for Reasoning in Clinical Depressive Disorders. - Blessing Ojeme; Audrey Mbogho; Thomas Meyer 002 (ICMLA, 2016)

Using Defeasible Information to Obtain Coherence. - Giovanni Casini; Thomas Andreas Meyer (KR, 2016)

Revising Incompletely Specified Convex Probabilistic Belief Bases. - Gavin Rens; Thomas Andreas Meyer; Giovanni Casini (CoRR, 2016)

Semantic Technologies and Big Data Analytics for Cyber Defence. - Louise Leenen; Thomas Meyer 002 (Int. J. Cyber Warf. Terror., 2016)

Mobile on-board vehicle event recorder: MOVER. - Luke Kingsley Bell; Francois Mouton; Tommie Meyer (ICTAS, 2017)

Belief Change in a Preferential Non-monotonic Framework. - Giovanni Casini; Thomas Andreas Meyer (IJCAI, 2017)

Benchmarking a mobile implementation of the social engineering prevention training tool. - Francois Mouton; Marcel Teixeira; Thomas Meyer 002 (ISSA, 2017)

Imagining Probabilistic Belief Change as Imaging (Technical Report). - Gavin Rens; Thomas Andreas Meyer (CoRR, 2017)

Ontology-based support for taxonomic functions. - Aurona Gerber; Nishal Morar; Thomas Meyer 002; Connal Eardley (Ecol. Informatics, 2017)

The Bayesian Description Logic BALC. - Leonard Botha; Thomas Andreas Meyer; Rafael Peñaloza (Description Logics, 2018)

A Social Engineering Prevention Training Tool: Methodology and Design for Validating the SEADM. - Francois Mouton; Michael Pepper; Thomas Meyer 002 (HAISA, 2018)

Probabilistic Belief Update via Mixing Endogenous Actions and Exogenous Events. - Gavin Rens; Thomas Andreas Meyer (DKB/KIK@KI, 2018)

Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. - Gavin Rens; Thomas Andreas Meyer; Gabriele Kern-Isberner; Abhaya Nayak (KI, 2018)

Maximizing Expected Impact in an Agent Reputation Network. - Gavin Rens; Abhaya Nayak; Thomas Andreas Meyer (KI, 2018)

A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. - Giovanni Casini; Eduardo Fermé; Thomas Meyer 002; Ivan Varzinczak (KR, 2018)

A Polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. - Giovanni Casini; Umberto Straccia; Thomas Meyer 002 (CoRR, 2018)

Maximizing Expected Impact in an Agent Reputation Network - Technical Report. - Gavin Rens; Abhaya Nayak; Thomas Meyer 002 (CoRR, 2018)

A KLM Perspective on Defeasible Reasoning for Description Logics. - Katarina Britz; Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (Description Logic, Theory Combination, and All That, 2019)

Arbitrary Ranking of Defeasible Subsumption. - Giovanni Casini; Michael Harrison; Thomas Meyer 002; Reid Swan (Description Logics, 2019)

Rational preferential reasoning for datalog. - Michael Harrison; Thomas Meyer 002 (FAIR, 2019)

Simple Conditionals with Constrained Right Weakening. - Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (IJCAI, 2019)

A Bayesian Extension of the Description Logic ALC. - Leonard Botha; Thomas Meyer 002; Rafael Peñaloza (JELIA, 2019)

Taking Defeasible Entailment Beyond Rational Closure. - Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (JELIA, 2019)

On rational entailment for Propositional Typicality Logic. - Richard Booth 001; Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (Artif. Intell., 2019)

Theoretical Foundations of Defeasible Description Logics. - Katarina Britz; Giovanni Casini; Thomas Meyer 002; Kody Moodley; Uli Sattler; Ivan Varzinczak (CoRR, 2019)

The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). - Anthony Hunter; Gabriele Kern-Isberner; Thomas Meyer 002; Renata Wassermann (Dagstuhl Reports, 2019)

A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. - Giovanni Casini; Umberto Straccia; Thomas Meyer 002 (Inf. Sci., 2019)

Rational Defeasible Belief Change. - Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (KR, 2020)

Cognitive Defeasible Reasoning: the Extent to Which Forms of Defeasible Reasoning Correspond with Human Reasoning. - Clayton Kevin Baker; Claire Denny; Paul Freund; Thomas Meyer 002 (SACAIR, 2020)

A Boolean Extension of KLM-Style Conditional Reasoning. - Guy Paterson-Jones; Giovanni Casini; Thomas Meyer 002 (SACAIR, 2020)

The Probabilistic Description Logic BALC. - Leonard Botha; Thomas Andreas Meyer; Rafael Peñaloza (CoRR, 2020)

Defeasibility applied to Forrester's paradox. - Julian Chingoma; Thomas Meyer 002 (South Afr. Comput. J., 2020)

DDLV: A System for rational preferential reasoning for datalog. - Michael Harrison; Thomas Meyer 002 (South Afr. Comput. J., 2020)

Algorithmic definitions for KLM-style defeasible disjunctive Datalog. - Matthew Morris; Tala Ross; Thomas Meyer 002 (South Afr. Comput. J., 2020)

Contextual Conditional Reasoning. - Giovanni Casini; Thomas Andreas Meyer; Ivan Varzinczak (AAAI, 2021)

Explanation for KLM-Style Defeasible Reasoning. - Lloyd Everett; Emily Morris; Thomas Meyer 002 (SACAIR, 2021)

Principles of KLM-style Defeasible Description Logics. - Katarina Britz; Giovanni Casini; Thomas Meyer 002; Kody Moodley; Uli Sattler; Ivan Varzinczak (ACM Trans. Comput. Log., 2021)

The Probabilistic Description Logic. - Leonard Botha; Thomas Andreas Meyer; Rafael Peñaloza (Theory Pract. Log. Program., 2021)

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

Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. - Clayton K. Baker; Thomas Andreas Meyer (NMR, 2022)

Situated Conditionals - A Brief Introduction. - Giovanni Casini; Thomas Andreas Meyer; Ivan Varzinczak (NMR, 2022)

Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. - Jesse Heyninck; Gabriele Kern-Isberner; Thomas Andreas Meyer (NMR, 2022)

KLM-Style Defeasibility for Restricted First-Order Logic. - Giovanni Casini; Thomas Meyer 002; Guy Paterson-Jones; Ivan Varzinczak (RuleML+RR, 2022)

Relevance in the Computation of Non-monotonic Inferences. - Jesse Heyninck; Thomas Meyer 002 (SACAIR, 2022)

Defeasible Justification Using the KLM Framework. - Steve Wang; Thomas Meyer 002; Deshendran Moodley (SACAIR, 2022)

Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). - James P. Delgrande; Birte Glimm; Thomas Meyer 002; Miroslaw Truszczynski; Milene Santos Teixeira; Frank Wolter (Dagstuhl Reports, 2022)

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

Investigating Ontology-Based Data Access with GitHub. - Yahlieel Jafta; Louise Leenen; Thomas Meyer 002 (ESWC, 2023)

Conditionals, Infeasible Worlds, and Reasoning with System W. - Jonas Haldimann; Christoph Beierle; Gabriele Kern-Isberner; Thomas Meyer 002 (FLAIRS, 2023)

Rational Closure Extension in SPO-Representable Inductive Inference Operators. - Jonas Haldimann; Thomas Meyer 002; Gabriele Kern-Isberner; Christoph Beierle (JELIA, 2023)

Revising Typical Beliefs: One Revision to Rule Them All. - Jesse Heyninck; Giovanni Casini; Thomas Meyer 002; Umberto Straccia (KR, 2023)

Current and Future Challenges in Knowledge Representation and Reasoning. - James P. Delgrande; Birte Glimm; Thomas Andreas Meyer; Miroslaw Truszczynski; Frank Wolter (CoRR, 2023)

Do Humans Find Postulates of Belief Change Plausible? - Clayton Kevin Baker; Thomas Meyer 002 (FLAP, 2023)

Situated conditional reasoning. - Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (Artif. Intell., 2023)

Defeasible Justification for KML-Style Logic. - Victoria Chama; Steve Wang; Thomas Andreas Meyer; Giovanni Casini (Description Logics, 2024)

Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics. - Alexander Hahn 001; Gabriele Kern-Isberner; Thomas Meyer 002 (NMR, 2024)

The Role of Syntax in Inductive Inference: A Property-based Study. - Jesse Heyninck; Richard Booth 001; Thomas Andreas Meyer (NMR, 2024)

Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). - James P. Delgrande; Birte Glimm; Thomas Meyer 002; Miroslaw Truszczynski; Frank Wolter (Dagstuhl Manifestos, 2024)

Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. - Kai Sauerwald; Kenneth Skiba; Eduardo Fermé; Thomas Meyer 002 (CoRR, 2025)

Extending Defeasibility for Propositional Standpoint Logics. - Nicholas Leisegang; Thomas Andreas Meyer; Ivan Varzinczak (CoRR, 2025)