default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Andreas Meyer
Thomas Meyer 0002 – Tommie Meyer
Person information
- affiliation: CAIR, University of Cape Town
- affiliation: CSIR Meraka, South Africa
- affiliation: University of New South Wales, Australia
Other persons with the same name
- Thomas Meyer — disambiguation page
- Thomas Meyer 0001 — University of Bremen, Germany
- Thomas Meyer 0003
![[0000-0002-1235-1188]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-1235-1188")
— Google Inc., Zurich, Switzerland (and 1 more) - Thomas Meyer 0004 — University of Basel, Department of Mathematics & Computer Science, Switzerland
- Thomas Meyer 0005 — Forschungszentrum Jülich, Institute of Bio- and Geosciences, Germany
- Thomas Meyer 0006 — University of Trier, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]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): 1-61 (2024)- [c107]Victoria Chama, Steve Wang, Thomas Andreas Meyer, Giovanni Casini:
Defeasible Justification for KML-Style Logic. Description Logics 2024 - 2023
- [j31]Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Situated conditional reasoning. Artif. Intell. 319: 103917 (2023) - [j30]Clayton Kevin Baker, Thomas Meyer:
Do Humans Find Postulates of Belief Change Plausible? FLAP 10(2): 249-267 (2023) - [c106]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle:
Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI 2023: 6416-6424 - [c105]Yahlieel Jafta, Louise Leenen, Thomas Meyer:
Investigating Ontology-Based Data Access with GitHub. ESWC 2023: 644-660 - [c104]Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer:
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS 2023 - [c103]Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle:
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA 2023: 561-576 - [c102]Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia:
Revising Typical Beliefs: One Revision to Rule Them All. KR 2023: 355-364 - [e6]Clayton K. Baker, Lucía Gómez Álvarez, Jesse Heyninck, Thomas Meyer, Rafael Peñaloza, Srdjan Vesic:
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. CEUR Workshop Proceedings 3548, CEUR-WS.org 2023 [contents] - [e5]Salem Benferhat, Giovanni Casini, Thomas Meyer, Andrea Tettamanzi:
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. CEUR Workshop Proceedings 3495, CEUR-WS.org 2023 [contents] - [i17]James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter:
Current and Future Challenges in Knowledge Representation and Reasoning. CoRR abs/2308.04161 (2023) - 2022
- [c101]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Lexicographic Entailment, Syntax Splitting and the Drowning Problem. IJCAI 2022: 2662-2668 - [c100]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. NMR 2022: 61-69 - [c99]Clayton K. Baker, Thomas Andreas Meyer:
Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. NMR 2022: 139-142 - [c98]Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Situated Conditionals - A Brief Introduction. NMR 2022: 151-154 - [c97]Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak:
KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR 2022: 81-94 - [c96]Steve Wang, Thomas Meyer, Deshendran Moodley:
Defeasible Justification Using the KLM Framework. SACAIR 2022: 187-201 - [c95]Jesse Heyninck, Thomas Meyer:
Relevance in the Computation of Non-monotonic Inferences. SACAIR 2022: 202-214 - [e4]Jesse Heyninck, Thomas Meyer, Marco Ragni, Matthias Thimm, Gabriele Kern-Isberner:
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. CEUR Workshop Proceedings 3251, CEUR-WS.org 2022 [contents] - [e3]Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer:
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022. 2022, ISBN 978-1-956792-01-0 [contents] - [i16]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): 62-79 (2022) - 2021
- [j29]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): 1:1-1:46 (2021) - [j28]Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Probabilistic Description Logic. Theory Pract. Log. Program. 21(4): 404-427 (2021) - [c94]Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Contextual Conditional Reasoning. AAAI 2021: 6254-6261 - [c93]Lloyd Everett, Emily Morris, Thomas Meyer:
Explanation for KLM-Style Defeasible Reasoning. SACAIR 2021: 192-207 - [i15]Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Situated Conditional Reasoning. CoRR abs/2109.01552 (2021) - 2020
- [j27]Julian Chingoma, Thomas Meyer:
Defeasibility applied to Forrester's paradox. South Afr. Comput. J. 32(2) (2020) - [j26]Michael Harrison, Thomas Meyer:
DDLV: A System for rational preferential reasoning for datalog. South Afr. Comput. J. 32(2) (2020) - [j25]Matthew Morris, Tala Ross, Thomas Meyer:
Algorithmic definitions for KLM-style defeasible disjunctive Datalog. South Afr. Comput. J. 32(2) (2020) - [c92]Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Rational Defeasible Belief Change. KR 2020: 213-222 - [c91]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: 199-219 - [c90]Guy Paterson-Jones, Giovanni Casini, Thomas Meyer:
A Boolean Extension of KLM-Style Conditional Reasoning. SACAIR 2020: 236-252 - [e2]Stefan Borgwardt, Thomas Meyer:
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. CEUR Workshop Proceedings 2663, CEUR-WS.org 2020 [contents] - [i14]Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Probabilistic Description Logic BALC. CoRR abs/2009.13407 (2020)
2010 – 2019
- 2019
- [j24]Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
On rational entailment for Propositional Typicality Logic. Artif. Intell. 277 (2019) - [j23]Giovanni Casini, Umberto Straccia, Thomas Meyer:
A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. Inf. Sci. 501: 588-620 (2019) - [c89]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: 147-173 - [c88]Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan:
Arbitrary Ranking of Defeasible Subsumption. Description Logics 2019 - [c87]Michael Harrison, Thomas Meyer:
Rational preferential reasoning for datalog. FAIR 2019: 232-243 - [c86]Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Simple Conditionals with Constrained Right Weakening. IJCAI 2019: 1632-1638 - [c85]Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Taking Defeasible Entailment Beyond Rational Closure. JELIA 2019: 182-197 - [c84]Leonard Botha, Thomas Meyer, Rafael Peñaloza:
A Bayesian Extension of the Description Logic ALC. JELIA 2019: 339-354 - [i13]Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak:
Theoretical Foundations of Defeasible Description Logics. CoRR abs/1904.07559 (2019) - [i12]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): 73-90 (2019) - 2018
- [c83]Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Bayesian Description Logic BALC. Description Logics 2018 - [c82]Francois Mouton, Michael Pepper, Thomas Meyer:
A Social Engineering Prevention Training Tool: Methodology and Design for Validating the SEADM. HAISA 2018: 12-27 - [c81]Gavin Rens, Thomas Andreas Meyer:
Probabilistic Belief Update via Mixing Endogenous Actions and Exogenous Events. DKB/KIK@KI 2018: 41-54 - [c80]Gavin Rens, Abhaya Nayak, Thomas Andreas Meyer:
Maximizing Expected Impact in an Agent Reputation Network. KI 2018: 99-106 - [c79]Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak:
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. KI 2018: 343-356 - [c78]Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak:
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. KR 2018: 220-229 - [i11]Giovanni Casini, Umberto Straccia, Thomas Meyer:
A Polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. CoRR abs/1802.08201 (2018) - [i10]Gavin Rens, Abhaya Nayak, Thomas Meyer:
Maximizing Expected Impact in an Agent Reputation Network - Technical Report. CoRR abs/1805.05230 (2018) - [i9]Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
On Rational Entailment for Propositional Typicality Logic. CoRR abs/1809.10946 (2018) - 2017
- [j22]Aurona Gerber, Nishal Morar, Thomas Meyer, Connal Eardley:
Ontology-based support for taxonomic functions. Ecol. Informatics 41: 11-23 (2017) - [c77]Luke Kingsley Bell, Francois Mouton, Tommie Meyer:
Mobile on-board vehicle event recorder: MOVER. ICTAS 2017: 1-7 - [c76]Giovanni Casini, Thomas Andreas Meyer:
Belief Change in a Preferential Non-monotonic Framework. IJCAI 2017: 929-935 - [c75]Francois Mouton, Marcel Teixeira, Thomas Meyer:
Benchmarking a mobile implementation of the social engineering prevention training tool. ISSA 2017: 106-116 - [i8]Gavin Rens, Thomas Andreas Meyer:
Imagining Probabilistic Belief Change as Imaging (Technical Report). CoRR abs/1705.01172 (2017) - 2016
- [j21]Louise Leenen, Thomas Meyer:
Semantic Technologies and Big Data Analytics for Cyber Defence. Int. J. Cyber Warf. Terror. 6(3): 53-64 (2016) - [c74]Gavin Rens, Thomas Andreas Meyer, Giovanni Casini:
On Revision of Partially Specified Convex Probabilistic Belief Bases. ECAI 2016: 921-929 - [c73]Blessing Ojeme, Audrey Mbogho, Thomas Meyer:
Probabilistic Expert Systems for Reasoning in Clinical Depressive Disorders. ICMLA 2016: 599-604 - [c72]Giovanni Casini, Thomas Andreas Meyer:
Using Defeasible Information to Obtain Coherence. KR 2016: 537-540 - [i7]Gavin Rens, Thomas Andreas Meyer, Giovanni Casini:
Revising Incompletely Specified Convex Probabilistic Belief Bases. CoRR abs/1604.02133 (2016) - 2015
- [c71]Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
What Does Entailment for PTL Mean? AAAI Spring Symposia 2015 - [c70]Gavin B. Rens, Thomas Meyer:
A New Approach to Probabilistic Belief Change. FLAIRS 2015: 581-587 - [c69]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: 3-19 - [c68]Gavin Rens, Thomas Andreas Meyer:
Hybrid POMDP-BDI - An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. ICAART (1) 2015: 5-14 - [c67]Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer:
A Modal Logic for the Decision-Theoretic Projection Problem. ICAART (2) 2015: 5-16 - [c66]Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer:
A Logic for Reasoning About Decision-Theoretic Projections. ICAART (Revised Selected Papers) 2015: 79-99 - [c65]Thomas Meyer:
Preferential Semantics as the Basis for Defeasible Reasoning in Ontologies. DARe@IJCAI 2015 - [c64]Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
On the Entailment Problem for a Logic of Typicality. IJCAI 2015: 2805-2811 - [c63]Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak:
Introducing Defeasibility into OWL Ontologies. ISWC (2) 2015: 409-426 - [e1]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:
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. CEUR Workshop Proceedings 1517, CEUR-WS.org 2015 [contents] - 2014
- [j20]Gavin Rens, Thomas Meyer, Gerhard Lakemeyer:
SLAP: Specification logic of actions with probability. J. Appl. Log. 12(2): 128-150 (2014) - [c62]Szymon Klarman, Thomas Meyer:
Complexity of Temporal Query Abduction in DL-Lite. Description Logics 2014: 233-244 - [c61]Kodylan Moodley, Thomas Meyer, Uli Sattler:
DIP: A Defeasible-Inference Platform for OWL Ontologies. Description Logics 2014: 671-683 - [c60]E. A. Nasubo Ongoma, C. Maria Keet, Thomas Meyer:
Transition Constraints for Temporal Attributes. Description Logics 2014: 684-695 - [c59]Gavin Rens, Thomas Meyer, Gerhard Lakemeyer:
A Logic for Specifying Stochastic Actions and Observations. FoIKS 2014: 305-323 - [c58]Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortje:
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. JELIA 2014: 92-106 - [c57]Szymon Klarman, Thomas Meyer:
Querying Temporal Databases via OWL 2 QL. RR 2014: 92-107 - [c56]Kodylan Moodley, Thomas Meyer, Uli Sattler:
Practical Defeasible Reasoning for Description Logics. STAIRS 2014: 191-200 - [i6]Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR abs/1401.3902 (2014) - 2013
- [c55]Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Preferential Role Restrictions. Description Logics 2013: 93-106 - [c54]Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak:
Towards Practical Defeasible Reasoning for Description Logics. Description Logics 2013: 587-599 - [c53]Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Kodylan Moodley:
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. Description Logics 2013: 600-615 - [c52]Riku Nortje, Arina Britz, Thomas Meyer:
Module-theoretic Properties of Reachability Modules for SRIQ. Description Logics 2013: 868-884 - [c51]Deshendran Moodley, Christopher J. Seebregts, Anban W. Pillay, Thomas Meyer:
An Ontology for Regulating eHealth Interoperability in Developing African Countries. FHIES 2013: 107-124 - [c50]Szymon Klarman, Thomas Meyer:
Prediction and Explanation over DL-Lite Data Streams. LPAR 2013: 536-551 - [c49]Riku Nortje, Katarina Britz, Thomas Meyer:
Reachability Modules for the Description Logic $\mathcal{SRIQ}$. LPAR 2013: 636-652 - 2012
- [j19]Alexander Ferrein, Thomas Meyer:
A Brief Overview of Artificial Intelligence in South Africa. AI Mag. 33(1): 99-103 (2012) - [j18]Richard Booth, Thomas Meyer, Chattrakul Sombattheera:
A General Family of Preferential Belief Removal Operators. J. Philos. Log. 41(4): 711-733 (2012) - [c48]Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence 2012: 505-516 - [c47]Kodylan Moodley, Thomas Meyer, Ivan Varzinczak:
A Protege Plug-in for Defeasible Reasoning. Description Logics 2012 - [c46]Richard Booth, Thomas Meyer, Ivan Varzinczak:
PTL: A Propositional Typicality Logic. JELIA 2012: 107-119 - [c45]Giovanni Casini, Aurona Gerber, Thomas Meyer:
A note on the translation of conceptual data models into description logics: disjointness and covering assumptions. SAICSIT 2012: 10-20 - [c44]Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak:
A defeasible reasoning approach for description logic ontologies. SAICSIT 2012: 69-78 - [c43]Gavin Rens, Gerhard Lakemeyer, Thomas Meyer:
A Logic for Specifying Agent Actions and Observations with Probability. STAIRS 2012: 252-263 - [i5]James P. Delgrande, Thomas Meyer, Ulrike Sattler:
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). Dagstuhl Reports 2(10): 105-116 (2012) - 2011
- [j17]Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. 42: 31-53 (2011) - [j16]Richard Booth, Thomas Andreas Meyer:
How to Revise a Total Preorder. J. Philos. Log. 40(2): 193-238 (2011) - [c42]Thomas Meyer, Ivan Varzinczak:
A logic-based perspective on agent reconfiguration: Preliminary report. AFRICON 2011: 1-6 - [c41]Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence 2011: 491-500 - [c40]Arina Britz, Thomas Meyer, Ivan Varzinczak:
Concept Model Semantics for DL Preferential Reasoning. Description Logics 2011 - [c39]Riku Nortje, Arina Britz, Thomas Andreas Meyer:
Bidirectional Reachability-Based Modules. Description Logics 2011 - [c38]Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak:
Root Justifications for Ontology Repair. RR 2011: 275-280 - [c37]Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Preferential Reasoning for Modal Logics. M4M/LAMAS 2011: 55-69 - [i4]Richard Booth, Thomas Andreas Meyer:
Admissible and Restrained Revision. CoRR abs/1109.6344 (2011) - 2010
- [j15]Thomas Meyer, Mehmet A. Orgun:
Introduction: Special Issue on Knowledge Representation and Ontology Research. Appl. Artif. Intell. 24(1&2): 1-4 (2010) - [j14]Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
Double preference relations for generalised belief change. Artif. Intell. 174(16-17): 1339-1368 (2010) - [j13]Richard Booth, Thomas Andreas Meyer:
Equilibria in social belief removal. Synth. 177(Supplement-1): 97-123 (2010) - [c36]Gavin Rens, Ivan Varzinczak, Thomas Meyer, Alexander Ferrein:
A Logic for Reasoning about Actions and Explicit Observations. Australasian Conference on Artificial Intelligence 2010: 395-404 - [c35]Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann:
Horn Belief Change: A Contraction Core. ECAI 2010: 1065-1066
2000 – 2009
- 2009
- [c34]Katarina Britz, Johannes Heidema, Thomas Andreas Meyer:
Modelling Object Typicality in Description Logics. Australasian Conference on Artificial Intelligence 2009: 506-516 - [c33]Katarina Britz, Johannes Heidema, Tommie Meyer:
Modelling Object Typicality in Description Logics. Description Logics 2009 - [c32]Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak:
Next Steps in Propositional Horn Contraction. IJCAI 2009: 702-707 - [c31]Richard Booth, Thomas Andreas Meyer, Chattrakul Sombattheera:
A General Family of Preferential Belief Removal Operators. LORI 2009: 42-54 - 2008
- [j12]Mehmet A. Orgun, Thomas Meyer:
Introduction to the special issue on advances in ontologies. Expert Syst. J. Knowl. Eng. 25(3): 175-178 (2008) - [j11]Samir Chopra, Aditya Ghose, Thomas Andreas Meyer, Ka-Shu Wong:
Iterated Belief Change and the Recovery Axiom. J. Philos. Log. 37(5): 501-520 (2008) - [c30]Richard Booth, Thomas Andreas Meyer:
Equilibria in Social Belief Removal. KR 2008: 145-155 - [c29]Katarina Britz, Johannes Heidema, Thomas Andreas Meyer:
Semantic Preferential Subsumption. KR 2008: 476-484 - 2007
- [j10]Louise Leenen, Thomas Andreas Meyer, Aditya Ghose:
Relaxations of semiring constraint satisfaction problems. Inf. Process. Lett. 103(5): 177-182 (2007) - [c28]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: 202-212 - [c27]Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer:
Implementing Iterated Belief Change Via Prime Implicates. Australian Conference on Artificial Intelligence 2007: 507-518 - [c26]Richard Booth, Thomas Andreas Meyer:
On the Dynamics of Total Preorders: Revising Abstract Interval Orders. ECSQARU 2007: 42-53 - [c25]Anne Cregan, Rolf Schwitter, Thomas Meyer:
Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1. OWLED 2007 - 2006
- [j9]Samir Chopra, Aditya K. Ghose, Thomas Andreas Meyer:
Social choice theory, belief merging, and strategy-proofness. Inf. Fusion 7(1): 61-79 (2006) - [j8]Richard Booth, Thomas Andreas Meyer:
Admissible and Restrained Revision. J. Artif. Intell. Res. 26: 127-151 (2006) - [c24]Thomas Andreas Meyer, Kevin Lee, Richard Booth, Jeff Z. Pan:
Finding Maximally Satisfiable Terminologies for the Description Logic ALC. AAAI 2006: 269-274 - [c23]Laurent Perrussel, Jean-Marc Thévenin, Thomas Andreas Meyer:
Mutual enrichment through nested belief change. AAMAS 2006: 226-228 - [c22]Kevin Lee, Thomas Andreas Meyer, Jeff Z. Pan, Richard Booth:
Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions. Description Logics 2006 - [c21]Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer:
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. ECAI 2006: 731-732 - [c20]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: 230-238 - [c19]Louise Leenen, Thomas Andreas Meyer, Peter Harvey, Aditya Ghose:
A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings. PRICAI 2006: 907-911 - 2005
- [j7]Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Belief Liberation (and Retraction). Stud Logica 79(1): 47-72 (2005) - [c18]Thomas Andreas Meyer, Kevin Lee, Richard Booth:
Knowledge Integration for Description Logics. AAAI 2005: 645-650 - [c17]Thomas Andreas Meyer, Pilar Pozos Parra, Laurent Perrussel:
Mediation Using m-States. ECSQARU 2005: 489-500 - 2004
- [c16]Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang:
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. AAAI 2004: 293-298 - [c15]Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok:
Negotiation as Mutual Belief Revision. AAAI 2004: 317-323 - [c14]Norman Y. Foo, Thomas Meyer, Gerhard Brewka:
LPOD Answer Sets and Nash Equilibria. ASIAN 2004: 343-351 - [c13]Kevin Lee, Thomas Andreas Meyer:
A Classification of Ontology Modification. Australian Conference on Artificial Intelligence 2004: 248-258 - [c12]Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
A Unifying Semantics for Belief Change. ECAI 2004: 793-797 - [c11]Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang:
Logical Foundations of Negotiation: Strategies and Preferences. KR 2004: 311-318 - [c10]Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
A unifying semantics for belief change. NMR 2004: 72-78 - 2003
- [j6]Samir Chopra, Aditya Ghose, Thomas Meyer:
Non-Prioritized Ranked Belief Change. J. Philos. Log. 32(4): 417-443 (2003) - [c9]Samir Chopra, Johannes Heidema, Thomas Andreas Meyer:
Some Logics of Belief and Disbelief. Australian Conference on Artificial Intelligence 2003: 364-376 - [c8]Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Belief liberation (and retraction). TARK 2003: 159-172 - 2002
- [j5]Thomas Andreas Meyer, Johannes Heidema, Willem Adrian Labuschagne, Louise Leenen:
Systematic Withdrawal. J. Philos. Log. 31(5): 415-443 (2002) - [c7]Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Iterated revision and the axiom of recovery: A unified treatment via epistemic states. ECAI 2002: 541-545 - [c6]Samir Chopra, Johannes Heidema, Thomas Andreas Meyer:
Some logics of belief and disbelief. NMR 2002: 25-32 - [c5]Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Iterated revision and the axiom of recovery: a unified treatment via epistemic states. NMR 2002: 117-123 - [c4]Thomas Andreas Meyer, Aditya Ghose, Samir Chopra:
Syntactic Representations of Semantic Merging Operations. PRICAI 2002: 620 - [i3]Samir Chopra, Johannes Heidema, Thomas Andreas Meyer:
Some logics of belief and disbelief. CoRR cs.AI/0207037 (2002) - [i2]Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Iterated revision and the axiom of recovery: a unified treatment via epistemic states. CoRR cs.AI/0207038 (2002) - 2001
- [j4]Thomas Andreas Meyer:
On the semantics of combination operations. J. Appl. Non Class. Logics 11(1-2): 59-84 (2001) - [j3]Thomas Andreas Meyer:
Basic Infobase Change. Stud Logica 67(2): 215-242 (2001) - [c3]Thomas Andreas Meyer, Aditya Ghose, Samir Chopra:
Social Choice, Merging, and Elections. ECSQARU 2001: 466-477 - 2000
- [j2]Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema:
Refined Epistemic Entrenchment. J. Log. Lang. Inf. 9(2): 237-259 (2000) - [j1]Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema:
Infobase Change: A First Approximation. J. Log. Lang. Inf. 9(3): 353-377 (2000) - [c2]Thomas Andreas Meyer:
Merging Epistemic States. PRICAI 2000: 286-296 - [i1]Thomas Andreas Meyer:
On the semantics of merging. CoRR cs.AI/0003015 (2000)
1990 – 1999
- 1999
- [c1]Thomas Andreas Meyer:
Basic Infobase Change. Australian Joint Conference on Artificial Intelligence 1999: 156-167
Coauthor Index
Katarina Britz
aka: Arina Britz
aka: Arina Britz
Aditya Ghose
aka: Aditya K. Ghose
aka: Aditya K. Ghose
Gavin Rens
aka: Gavin B. Rens
aka: Gavin B. Rens
Ivan Varzinczak
aka: Ivan José Varzinczak
aka: Ivan José Varzinczak
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
