Thomas Meyer

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 37

Top Topics

Disjunctive Datalog

Defeasible Reasoning

Top Venues

Description Logics

Publications

James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). Dagstuhl Manifestos 10 (1) (2024)
Yahlieel Jafta, Louise Leenen, Thomas Meyer
Investigating Ontology-Based Data Access with GitHub. ESWC (2023)
Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA (2023)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Situated conditional reasoning. Artif. Intell. 319 (2023)
Clayton Kevin Baker, Thomas Meyer
Do Humans Find Postulates of Belief Change Plausible? FLAP 10 (2) (2023)
Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia
Revising Typical Beliefs: One Revision to Rule Them All. KR (2023)
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS (2023)
Steve Wang, Thomas Meyer, Deshendran Moodley
Defeasible Justification Using the KLM Framework. SACAIR (2022)
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). Dagstuhl Reports 12 (7) (2022)
Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak
KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR (2022)
Jesse Heyninck, Thomas Meyer
Relevance in the Computation of Non-monotonic Inferences. SACAIR (2022)
Lloyd Everett, Emily Morris, Thomas Meyer
Explanation for KLM-Style Defeasible Reasoning. SACAIR (2021)
Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
Principles of KLM-style Defeasible Description Logics. ACM Trans. Comput. Log. 22 (1) (2021)
Julian Chingoma, Thomas Meyer
Defeasibility applied to Forrester's paradox. South Afr. Comput. J. 32 (2) (2020)
Matthew Morris, Tala Ross, Thomas Meyer
Algorithmic definitions for KLM-style defeasible disjunctive Datalog. South Afr. Comput. J. 32 (2) (2020)
Michael Harrison, Thomas Meyer
DDLV: A System for rational preferential reasoning for datalog. South Afr. Comput. J. 32 (2) (2020)
Clayton Kevin Baker, Claire Denny, Paul Freund, Thomas Meyer
Cognitive Defeasible Reasoning: the Extent to Which Forms of Defeasible Reasoning Correspond with Human Reasoning. SACAIR (2020)
Guy Paterson-Jones, Giovanni Casini, Thomas Meyer
A Boolean Extension of KLM-Style Conditional Reasoning. SACAIR (2020)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Rational Defeasible Belief Change. KR (2020)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Taking Defeasible Entailment Beyond Rational Closure. JELIA (2019)
Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
Theoretical Foundations of Defeasible Description Logics. CoRR (2019)
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
On rational entailment for Propositional Typicality Logic. Artif. Intell. 277 (2019)
Giovanni Casini, Umberto Straccia, Thomas Meyer
A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. Inf. Sci. 501 (2019)
Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, Renata Wassermann
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). Dagstuhl Reports 9 (2) (2019)
Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
A KLM Perspective on Defeasible Reasoning for Description Logics. Description Logic, Theory Combination, and All That (2019)
Leonard Botha, Thomas Meyer, Rafael Peñaloza
. JELIA (2019)
Michael Harrison, Thomas Meyer
Rational preferential reasoning for datalog. FAIR (2019)
Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan
Arbitrary Ranking of Defeasible Subsumption. Description Logics (2019)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Simple Conditionals with Constrained Right Weakening. IJCAI (2019)
Giovanni Casini, Umberto Straccia, Thomas Meyer
under Rational Closure. CoRR (2018)
Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. KR (2018)
Gavin Rens, Abhaya Nayak, Thomas Meyer
Maximizing Expected Impact in an Agent Reputation Network - Technical Report. CoRR (2018)
Francois Mouton, Michael Pepper, Thomas Meyer
A Social Engineering Prevention Training Tool: Methodology and Design for Validating the SEADM. HAISA (2018)
Francois Mouton, Marcel Teixeira, Thomas Meyer
Benchmarking a mobile implementation of the social engineering prevention training tool. ISSA (2017)
Aurona Gerber, Nishal Morar, Thomas Meyer, Connal Eardley
Ontology-based support for taxonomic functions. Ecol. Informatics 41 (2017)
Louise Leenen, Thomas Meyer
Semantic Technologies and Big Data Analytics for Cyber Defence. Int. J. Cyber Warf. Terror. 6 (3) (2016)
Blessing Ojeme, Audrey Mbogho, Thomas Meyer
Probabilistic Expert Systems for Reasoning in Clinical Depressive Disorders. ICMLA (2016)
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak
What Does Entailment for PTL Mean? AAAI Spring Symposia (2015)
Gavin B. Rens, Thomas Meyer
A New Approach to Probabilistic Belief Change. FLAIRS Conference (2015)
Thomas Meyer
Preferential Semantics as the Basis for Defeasible Reasoning in Ontologies. DARe@IJCAI (2015)
E. A. Nasubo Ongoma, C. Maria Keet, Thomas Meyer
Transition Constraints for Temporal Attributes. Description Logics (2014)
Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortje
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. JELIA (2014)
Gavin Rens, Thomas Meyer, Gerhard Lakemeyer
SLAP: Specification logic of actions with probability. J. Appl. Log. 12 (2) (2014)
Szymon Klarman, Thomas Meyer
Complexity of Temporal Query Abduction in DL-Lite. Description Logics (2014)
Richard Booth, Thomas Meyer, Ivan José Varzinczak, Renata Wassermann
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR (2014)
Kodylan Moodley, Thomas Meyer, Uli Sattler
Practical Defeasible Reasoning for Description Logics. STAIRS (2014)
Kodylan Moodley, Thomas Meyer, Uli Sattler
DIP: A Defeasible-Inference Platform for OWL Ontologies. Description Logics (2014)
Gavin Rens, Thomas Meyer, Gerhard Lakemeyer
A Logic for Specifying Stochastic Actions and Observations. FoIKS (2014)
Szymon Klarman, Thomas Meyer
Querying Temporal Databases via OWL 2 QL. RR (2014)
Riku Nortje, Arina Britz, Thomas Meyer
Module-theoretic Properties of Reachability Modules for SRIQ. Description Logics (2013)
Arina Britz, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak
Preferential Role Restrictions. Description Logics (2013)
Giovanni Casini, Thomas Meyer, Ivan José Varzinczak, Kodylan Moodley
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. Description Logics (2013)
Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan José Varzinczak
Towards Practical Defeasible Reasoning for Description Logics. Description Logics (2013)
Szymon Klarman, Thomas Meyer
Prediction and Explanation over DL-Lite Data Streams. LPAR (2013)
Deshendran Moodley, Christopher J. Seebregts, Anban W. Pillay, Thomas Meyer
An Ontology for Regulating eHealth Interoperability in Developing African Countries. FHIES (2013)
Riku Nortje, Katarina Britz, Thomas Meyer
Reachability Modules for the Description Logic $\mathcal{SRIQ}$. LPAR (2013)
Alexander Ferrein, Thomas Meyer
A Brief Overview of Artificial Intelligence in South Africa. AI Mag. 33 (1) (2012)
Richard Booth, Thomas Meyer, Ivan José Varzinczak
PTL: A Propositional Typicality Logic. JELIA (2012)
James P. Delgrande, Thomas Meyer, Ulrike Sattler
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). Dagstuhl Reports 2 (10) (2012)
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak
A Protege Plug-in for Defeasible Reasoning. Description Logics (2012)
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak
A defeasible reasoning approach for description logic ontologies. SAICSIT (2012)
Gavin Rens, Gerhard Lakemeyer, Thomas Meyer
A Logic for Specifying Agent Actions and Observations with Probability. STAIRS (2012)
Katarina Britz, Thomas Meyer, Ivan José Varzinczak
Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence (2012)
Giovanni Casini, Aurona Gerber, Thomas Meyer
A note on the translation of conceptual data models into description logics: disjointness and covering assumptions. SAICSIT (2012)
Richard Booth, Thomas Meyer, Chattrakul Sombattheera
A General Family of Preferential Belief Removal Operators. J. Philos. Log. 41 (4) (2012)
Thomas Meyer, Ivan Varzinczak
A logic-based perspective on agent reconfiguration: Preliminary report. AFRICON (2011)
Katarina Britz, Thomas Meyer, Ivan José Varzinczak
Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence (2011)
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak
Root Justifications for Ontology Repair. RR (2011)
Arina Britz, Thomas Meyer, Ivan José Varzinczak
Concept Model Semantics for DL Preferential Reasoning. Description Logics (2011)
Katarina Britz, Thomas Meyer, Ivan José Varzinczak
Preferential Reasoning for Modal Logics. Electron. Notes Theor. Comput. Sci. 278 (2011)
Gavin Rens, Ivan José Varzinczak, Thomas Meyer, Alexander Ferrein
A Logic for Reasoning about Actions and Explicit Observations. Australasian Conference on Artificial Intelligence (2010)
Thomas Meyer, Mehmet A. Orgun
Introduction: Special Issue on Knowledge Representation and Ontology Research. Appl. Artif. Intell. 24 (1&2) (2010)
Mehmet A. Orgun, Thomas Meyer
Introduction to the special issue on advances in ontologies. Expert Syst. J. Knowl. Eng. 25 (3) (2008)
Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer
Implementing Iterated Belief Change Via Prime Implicates. Australian Conference on Artificial Intelligence (2007)
Louise Leenen, Anbulagan, Thomas Meyer, Aditya K. Ghose
Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. Australian Conference on Artificial Intelligence (2007)
Anne Cregan, Rolf Schwitter, Thomas Meyer
Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1. OWLED (2007)
Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. ECAI (2006)
Norman Y. Foo, Thomas Meyer, Gerhard Brewka
LPOD Answer Sets and Nash Equilibria. ASIAN (2004)
Samir Chopra, Aditya Ghose, Thomas Meyer
Non-Prioritized Ranked Belief Change. J. Philos. Log. 32 (4) (2003)