Thomas Meyer - RankMe

97 papers A* 7A 1B 10C 1Misc 2Journal 29Unranked 42

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	An Analysis of the Role of Syntax in Inductive Inference. KR Jesse Heyninck, Richard Booth, Thomas Meyer, Lars-Phillip Spiegel
2025	—	`conf`	Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. JELIA (2) Kai Sauerwald, Kenneth Skiba, Eduardo Fermé, Thomas Meyer
2025	J	`jnl`	Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. CoRR Kai Sauerwald, Kenneth Skiba, Eduardo Fermé, Thomas Meyer
2025	B	`conf`	Defeasible Conditionals using Answer Set Programming. ICLP Racquel Dennison, Jesse Heyninck, Thomas Meyer
2025	J	`jnl`	Rational Inference in Formal Concept Analysis. CoRR Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sergei Obiedkov
2025	A*	`conf`	Reasoning in Defeasible Description Logics with System W and Lexicographic Inference. KR Giovanni Casini, Jonas Haldimann, Thomas Meyer
2025	J	`jnl`	Reasoning with system W and infeasible worlds. Ann. Math. Artif. Intell. Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
2025	—	`conf`	Toward Defeasible Reasoning Using Knowledge Compilation Techniques. NMR Luke Slater, Thomas Meyer, Jesse Heyninck
2024	J	`jnl`	Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). Dagstuhl Manifestos James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter
2024	J	`jnl`	Non-monotonic Extensions to Formal Concept Analysis via Object Preferences. CoRR Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
2024	—	`conf`	Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics. NMR Alexander Hahn, Gabriele Kern-Isberner, Thomas Meyer
2024	J	`jnl`	Towards Propositional KLM-Style Defeasible Standpoint Logics. CoRR Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
2023	Misc	`conf`	Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
2023	J	`jnl`	Do Humans Find Postulates of Belief Change Plausible? FLAP Clayton Kevin Baker, Thomas Meyer
2023	B	`conf`	Investigating Ontology-Based Data Access with GitHub. ESWC Yahlieel Jafta, Louise Leenen, Thomas Meyer
2023	—	`ed.`	Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023. KoDis+CAKR@KR Clayton K. Baker, Lucía Gómez Álvarez, Jesse Heyninck, Thomas Meyer, Rafael Peñaloza, Srdjan Vesic
2023	—	`ed.`	Proceedings of 1st Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering, co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 3-4, 2023. ENIGMA@KR Salem Benferhat, Giovanni Casini, Thomas Meyer, Andrea Tettamanzi
2023	B	`conf`	Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle
2023	A*	`conf`	Revising Typical Beliefs: One Revision to Rule Them All. KR Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia
2023	J	`jnl`	Situated conditional reasoning. Artif. Intell. Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2022	J	`jnl`	Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). Dagstuhl Reports James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter
2022	—	`conf`	Defeasible Justification Using the KLM Framework. SACAIR Steve Wang, Thomas Meyer, Deshendran Moodley
2022	B	`conf`	KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak
2022	A*	`ed.`	Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022. KR Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer
2022	—	`ed.`	Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022. CaKR@IJCAI Jesse Heyninck, Thomas Meyer, Marco Ragni, Matthias Thimm, Gabriele Kern-Isberner
2022	—	`conf`	Relevance in the Computation of Non-monotonic Inferences. SACAIR Jesse Heyninck, Thomas Meyer
2021	—	`conf`	Explanation for KLM-Style Defeasible Reasoning. SACAIR Lloyd Everett, Emily Morris, Thomas Meyer
2021	J	`jnl`	Principles of KLM-style Defeasible Description Logics. ACM Trans. Comput. Log. Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2020	—	`conf`	A Boolean Extension of KLM-Style Conditional Reasoning. SACAIR Guy Paterson-Jones, Giovanni Casini, Thomas Meyer
2020	J	`jnl`	Algorithmic definitions for KLM-style defeasible disjunctive Datalog. South Afr. Comput. J. Matthew Morris, Tala Ross, Thomas Meyer
2020	—	`conf`	Cognitive Defeasible Reasoning: the Extent to Which Forms of Defeasible Reasoning Correspond with Human Reasoning. SACAIR Clayton Kevin Baker, Claire Denny, Paul Freund, Thomas Meyer
2020	J	`jnl`	DDLV: A System for rational preferential reasoning for datalog. South Afr. Comput. J. Michael Harrison, Thomas Meyer
2020	J	`jnl`	Defeasibility applied to Forrester's paradox. South Afr. Comput. J. Julian Chingoma, Thomas Meyer
2020	—	`ed.`	Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020 Description Logics Stefan Borgwardt, Thomas Meyer
2020	A*	`conf`	Rational Defeasible Belief Change. KR Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	B	`conf`	A Bayesian Extension of the Description Logic JELIA Leonard Botha, Thomas Meyer, Rafael Peñaloza
2019	—	`conf`	A KLM Perspective on Defeasible Reasoning for Description Logics. Description Logic, Theory Combination, and All That Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	J	`jnl`	A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. Inf. Sci. Giovanni Casini, Umberto Straccia, Thomas Meyer
2019	—	`conf`	Arbitrary Ranking of Defeasible Subsumption. Description Logics Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan
2019	—	`conf`	Defeasible disjunctive datalog. FAIR Matthew Morris, Tala Ross, Thomas Meyer
2019	J	`jnl`	On rational entailment for Propositional Typicality Logic. Artif. Intell. Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	—	`conf`	Rational preferential reasoning for datalog. FAIR Michael Harrison, Thomas Meyer
2019	A*	`conf`	Simple Conditionals with Constrained Right Weakening. IJCAI Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	B	`conf`	Taking Defeasible Entailment Beyond Rational Closure. JELIA Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	J	`jnl`	The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). Dagstuhl Reports Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, Renata Wassermann
2019	J	`jnl`	Theoretical Foundations of Defeasible Description Logics. CoRR Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2018	J	`jnl`	A Polynomial Time Subsumption Algorithm for Nominal Safe ELO CoRR Giovanni Casini, Umberto Straccia, Thomas Meyer
2018	A*	`conf`	A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. KR Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak
2018	—	`conf`	A Social Engineering Prevention Training Tool: Methodology and Design for Validating the SEADM. HAISA Francois Mouton, Michael Pepper, Thomas Meyer
2018	J	`jnl`	Maximizing Expected Impact in an Agent Reputation Network - Technical Report. CoRR Gavin Rens, Abhaya Nayak, Thomas Meyer
2017	—	`conf`	Benchmarking a mobile implementation of the social engineering prevention training tool. ISSA Francois Mouton, Marcel Teixeira, Thomas Meyer
2017	J	`jnl`	Ontology-based support for taxonomic functions. Ecol. Informatics Aurona Gerber, Nishal Morar, Thomas Meyer, Connal Eardley
2016	C	`conf`	Probabilistic Expert Systems for Reasoning in Clinical Depressive Disorders. ICMLA Blessing Ojeme, Audrey Mbogho, Thomas Meyer
2016	J	`jnl`	Semantic Technologies and Big Data Analytics for Cyber Defence. Int. J. Cyber Warf. Terror. Louise Leenen, Thomas Meyer
2015	Misc	`conf`	A New Approach to Probabilistic Belief Change. FLAIRS Gavin B. Rens, Thomas Meyer
2015	—	`conf`	Preferential Semantics as the Basis for Defeasible Reasoning in Ontologies. DARe@IJCAI Thomas Meyer
2015	—	`ed.`	Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015. JOWO@IJCAI Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, Daniele Porello
2015	—	`conf`	What Does Entailment for PTL Mean? AAAI Spring Symposia Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2014	—	`conf`	A Logic for Specifying Stochastic Actions and Observations. FoIKS Gavin Rens, Thomas Meyer, Gerhard Lakemeyer
2014	—	`conf`	Complexity of Temporal Query Abduction in DL-Lite. Description Logics Szymon Klarman, Thomas Meyer
2014	—	`conf`	DIP: A Defeasible-Inference Platform for OWL Ontologies. Description Logics Kodylan Moodley, Thomas Meyer, Uli Sattler
2014	J	`jnl`	On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann
2014	—	`conf`	Practical Defeasible Reasoning for Description Logics. STAIRS Kodylan Moodley, Thomas Meyer, Uli Sattler
2014	—	`conf`	Querying Temporal Databases via OWL 2 QL. RR Szymon Klarman, Thomas Meyer
2014	B	`conf`	Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. JELIA Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortje
2014	J	`jnl`	SLAP: Specification logic of actions with probability. J. Appl. Log. Gavin Rens, Thomas Meyer, Gerhard Lakemeyer
2014	—	`conf`	Transition Constraints for Temporal Attributes. Description Logics E. A. Nasubo Ongoma, C. Maria Keet, Thomas Meyer
2013	—	`conf`	An Ontology for Regulating eHealth Interoperability in Developing African Countries. FHIES Deshendran Moodley, Christopher J. Seebregts, Anban W. Pillay, Thomas Meyer
2013	—	`conf`	Module-theoretic Properties of Reachability Modules for SRIQ. Description Logics Riku Nortje, Arina Britz, Thomas Meyer
2013	—	`conf`	Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. Description Logics Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Kodylan Moodley
2013	B	`conf`	Prediction and Explanation over DL-Lite Data Streams. LPAR Szymon Klarman, Thomas Meyer
2013	—	`conf`	Preferential Role Restrictions. Description Logics Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2013	B	`conf`	Reachability Modules for the Description Logic $\mathcal{SRIQ}$. LPAR Riku Nortje, Katarina Britz, Thomas Meyer
2013	—	`conf`	Towards Practical Defeasible Reasoning for Description Logics. Description Logics Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak
2012	J	`jnl`	A Brief Overview of Artificial Intelligence in South Africa. AI Mag. Alexander Ferrein, Thomas Meyer
2012	J	`jnl`	A General Family of Preferential Belief Removal Operators. J. Philos. Log. Richard Booth, Thomas Meyer, Chattrakul Sombattheera
2012	—	`conf`	A Logic for Specifying Agent Actions and Observations with Probability. STAIRS Gavin Rens, Gerhard Lakemeyer, Thomas Meyer
2012	—	`conf`	A Protege Plug-in for Defeasible Reasoning. Description Logics Kodylan Moodley, Thomas Meyer, Ivan Varzinczak
2012	—	`conf`	A defeasible reasoning approach for description logic ontologies. SAICSIT Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak
2012	—	`conf`	A note on the translation of conceptual data models into description logics: disjointness and covering assumptions. SAICSIT Giovanni Casini, Aurona Gerber, Thomas Meyer
2012	J	`jnl`	Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). Dagstuhl Reports James P. Delgrande, Thomas Meyer, Ulrike Sattler
2012	—	`conf`	Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence Katarina Britz, Thomas Meyer, Ivan Varzinczak
2012	B	`conf`	PTL: A Propositional Typicality Logic. JELIA Richard Booth, Thomas Meyer, Ivan Varzinczak
2011	—	`conf`	A logic-based perspective on agent reconfiguration: Preliminary report. AFRICON Thomas Meyer, Ivan Varzinczak
2011	—	`conf`	Concept Model Semantics for DL Preferential Reasoning. Description Logics Arina Britz, Thomas Meyer, Ivan Varzinczak
2011	—	`conf`	Preferential Reasoning for Modal Logics. M4M/LAMAS Katarina Britz, Thomas Meyer, Ivan Varzinczak
2011	—	`conf`	Root Justifications for Ontology Repair. RR Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak
2011	—	`conf`	Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence Katarina Britz, Thomas Meyer, Ivan Varzinczak
2010	—	`conf`	A Logic for Reasoning about Actions and Explicit Observations. Australasian Conference on Artificial Intelligence Gavin Rens, Ivan Varzinczak, Thomas Meyer, Alexander Ferrein
2010	J	`jnl`	Introduction: Special Issue on Knowledge Representation and Ontology Research. Appl. Artif. Intell. Thomas Meyer, Mehmet A. Orgun
2008	J	`jnl`	Introduction to the special issue on advances in ontologies. Expert Syst. J. Knowl. Eng. Mehmet A. Orgun, Thomas Meyer
2007	—	`conf`	Implementing Iterated Belief Change Via Prime Implicates. Australian Conference on Artificial Intelligence Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer
2007	—	`conf`	Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. Australian Conference on Artificial Intelligence Louise Leenen, Anbulagan, Thomas Meyer, Aditya K. Ghose
2007	—	`conf`	Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1. OWLED Anne Cregan, Rolf Schwitter, Thomas Meyer
2006	A	`conf`	Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. ECAI Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer
2004	—	`conf`	LPOD Answer Sets and Nash Equilibria. ASIAN Norman Y. Foo, Thomas Meyer, Gerhard Brewka
2003	J	`jnl`	Non-Prioritized Ranked Belief Change. J. Philos. Log. Samir Chopra, Aditya Ghose, Thomas Meyer