


default search action
Thomas 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
— 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) - [c109]Victoria Chama, Steve Wang, Thomas Andreas Meyer, Giovanni Casini:
Defeasible Justification for KML-Style Logic. Description Logics 2024 - [c108]Jesse Heyninck, Richard Booth, Thomas Andreas Meyer:
The Role of Syntax in Inductive Inference: A Property-based Study. NMR 2024: 142-151 - [c107]Alexander Hahn, Gabriele Kern-Isberner, Thomas Meyer:
Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics. NMR 2024: 162-172 - 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]