default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Andreas Meyer

Thomas Meyer 0002 – Tommie Meyer

> Home > Persons

Person information

affiliation: CAIR, University of Cape Town, South Africa
affiliation: CSIR Meraka, South Africa
affiliation: University of New South Wales, Australia

[+]

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on 170 of 170 records

view refined list in

export refined list as

showing all 170 records

refine by search term

refine by type

Journal Articles
Conference and Workshop Papers
Editorship
Informal and Other Publications

refine by coauthor

refine by orcid

refine by venue

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/concepts/CarrLMO25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concepts/CarrLMO25
Lucas Carr, Nicholas Leisegang, Thomas Andreas Meyer, Sergei Obiedkov:
Rational Inference in Formal Concept Analysis. CONCEPTS 2025: 325-341
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/LeisegangMV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/LeisegangMV25
Nicholas Leisegang, Thomas Andreas Meyer, Ivan Varzinczak:
Extending Defeasibility for Propositional Standpoint Logics. JELIA (2) 2025: 43-57
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/SauerwaldSFM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/SauerwaldSFM25
Kai Sauerwald, Kenneth Skiba, Eduardo Fermé, Thomas Meyer:
Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. JELIA (2) 2025: 58-74
[i20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2504-16938
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2504-16938
Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sergei Obiedkov:
Rational Inference in Formal Concept Analysis. CoRR abs/2504.16938 (2025)
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2506-03315
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2506-03315
Kai Sauerwald, Kenneth Skiba, Eduardo Fermé, Thomas Meyer:
Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. CoRR abs/2506.03315 (2025)
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-10133
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-10133
Nicholas Leisegang, Thomas Andreas Meyer, Ivan Varzinczak:
Extending Defeasibility for Propositional Standpoint Logics. CoRR abs/2507.10133 (2025)
2024
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-manifestos/DelgrandeG0TW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-manifestos/DelgrandeG0TW24
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/ChamaWMC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/ChamaWMC24
Victoria Chama, Steve Wang, Thomas Andreas Meyer, Giovanni Casini:
Defeasible Justification for KML-Style Logic. Description Logics 2024
[c108]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/nmr/HeyninckBM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/HeyninckBM24
Jesse Heyninck, Richard Booth, Thomas Andreas Meyer:
The Role of Syntax in Inductive Inference: A Property-based Study. NMR 2024: 142-151
[c107]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/nmr/HahnKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/HahnKM24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CasiniMV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CasiniMV23
Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Situated conditional reasoning. Artif. Intell. 319: 103917 (2023)
[j30]
- view
  - electronic edition @ collegepublications.co.uk
  - details & citations
- export record
  dblp key:
  - journals/flap/Baker023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/Baker023
Clayton Kevin Baker, Thomas Meyer:
Do Humans Find Postulates of Belief Change Plausible? FLAP 10(2): 249-267 (2023)
[c106]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HeyninckKMHB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HeyninckKMHB23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/esws/JaftaLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/JaftaLM23
Yahlieel Jafta, Louise Leenen, Thomas Meyer:
Investigating Ontology-Based Data Access with GitHub. ESWC 2023: 644-660
[c104]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/flairs/HaldimannBK023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/HaldimannBK023
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer:
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS 2023
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/HaldimannMKB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/HaldimannMKB23
Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle:
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA 2023: 561-576
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/HeyninckC0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/HeyninckC0S23
Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia:
Revising Typical Beliefs: One Revision to Rule Them All. KR 2023: 355-364
[e6]
- view
- export record
  dblp key:
  - conf/kodis/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kodis/2023
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]
- view
- export record
  dblp key:
  - conf/kr/2023enigma
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/2023enigma
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-04161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-04161
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/HeyninckKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HeyninckKM22
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Lexicographic Entailment, Syntax Splitting and the Drowning Problem. IJCAI 2022: 2662-2668
[c100]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/nmr/HeyninckKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/HeyninckKM22
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. NMR 2022: 61-69
[c99]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/nmr/BakerM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/BakerM22
Clayton K. Baker, Thomas Andreas Meyer:
Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. NMR 2022: 139-142
[c98]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/nmr/CasiniMV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/CasiniMV22
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Situated Conditionals - A Brief Introduction. NMR 2022: 151-154
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/CasiniMPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/CasiniMPV22
Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak:
KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR 2022: 81-94
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/sacair/Wang0M22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacair/Wang0M22
Steve Wang, Thomas Meyer, Deshendran Moodley:
Defeasible Justification Using the KLM Framework. SACAIR 2022: 187-201
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/sacair/Heyninck022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacair/Heyninck022
Jesse Heyninck, Thomas Meyer:
Relevance in the Computation of Non-monotonic Inferences. SACAIR 2022: 202-214
[e4]
- view
- export record
  dblp key:
  - conf/ijcai/2022cakr
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/2022cakr
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/2022
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/DelgrandeGMTTW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/DelgrandeGMTTW22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BritzCMMSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BritzCMMSV21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BothaMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BothaMP21
Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Probabilistic Description Logic. Theory Pract. Log. Program. 21(4): 404-427 (2021)
[c94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CasiniMV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CasiniMV21
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Contextual Conditional Reasoning. AAAI 2021: 6254-6261
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/sacair/EverettMM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacair/EverettMM21
Lloyd Everett, Emily Morris, Thomas Meyer:
Explanation for KLM-Style Defeasible Reasoning. SACAIR 2021: 192-207
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-01552
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-01552
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Situated Conditional Reasoning. CoRR abs/2109.01552 (2021)
2020
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/saj/Chingoma020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saj/Chingoma020
Julian Chingoma, Thomas Meyer:
Defeasibility applied to Forrester's paradox. South Afr. Comput. J. 32(2) (2020)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/saj/Harrison020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saj/Harrison020
Michael Harrison, Thomas Meyer:
DDLV: A System for rational preferential reasoning for datalog. South Afr. Comput. J. 32(2) (2020)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/saj/MorrisR020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saj/MorrisR020
Matthew Morris, Tala Ross, Thomas Meyer:
Algorithmic definitions for KLM-style defeasible disjunctive Datalog. South Afr. Comput. J. 32(2) (2020)
[c92]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/kr/CasiniMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CasiniMV20
Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Rational Defeasible Belief Change. KR 2020: 213-222
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/sacair/BakerDF020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacair/BakerDF020
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sacair/Paterson-JonesC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacair/Paterson-JonesC20
Guy Paterson-Jones, Giovanni Casini, Thomas Meyer:
A Boolean Extension of KLM-Style Conditional Reasoning. SACAIR 2020: 236-252
[e2]
- view
- export record
  dblp key:
  - conf/dlog/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/2020
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-13407
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-13407
Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Probabilistic Description Logic BALC. CoRR abs/2009.13407 (2020)
no results

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BoothCMV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BoothCMV19
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
On rational entailment for Propositional Typicality Logic. Artif. Intell. 277 (2019)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/CasiniSM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/CasiniSM19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BritzCMV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BritzCMV19
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/CasiniHMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CasiniHMS19
Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan:
Arbitrary Ranking of Defeasible Subsumption. Description Logics 2019
[c87]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fair2/HarrisonM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fair2/HarrisonM19
Michael Harrison, Thomas Meyer:
Rational preferential reasoning for datalog. FAIR 2019: 232-243
[c86]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CasiniMV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CasiniMV19
Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Simple Conditionals with Constrained Right Weakening. IJCAI 2019: 1632-1638
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/CasiniMV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/CasiniMV19
Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Taking Defeasible Entailment Beyond Rational Closure. JELIA 2019: 182-197
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BothaMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BothaMP19
Leonard Botha, Thomas Meyer, Rafael Peñaloza:
A Bayesian Extension of the Description Logic ALC. JELIA 2019: 339-354
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1904-07559
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-07559
Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak:
Theoretical Foundations of Defeasible Description Logics. CoRR abs/1904.07559 (2019)
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/HunterK0W19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/HunterK0W19
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/BothaMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BothaMP18
Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Bayesian Description Logic BALC. Description Logics 2018
[c82]
- view
  - electronic edition @ cscan.org
  - details & citations
- export record
  dblp key:
  - conf/haisa/MoutonPM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haisa/MoutonPM18
Francois Mouton, Michael Pepper, Thomas Meyer:
A Social Engineering Prevention Training Tool: Methodology and Design for Validating the SEADM. HAISA 2018: 12-27
[c81]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ki/RensM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/RensM18
Gavin Rens, Thomas Andreas Meyer:
Probabilistic Belief Update via Mixing Endogenous Actions and Exogenous Events. DKB/KIK@KI 2018: 41-54
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/RensNM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/RensNM18
Gavin Rens, Abhaya Nayak, Thomas Andreas Meyer:
Maximizing Expected Impact in an Agent Reputation Network. KI 2018: 99-106
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/RensMKN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/RensMKN18
Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak:
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. KI 2018: 343-356
[c78]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/CasiniFMV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CasiniFMV18
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1802-08201
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08201
Giovanni Casini, Umberto Straccia, Thomas Meyer:
A Polynomial Time Subsumption Algorithm for Nominal Safe ELO_⊥ under Rational Closure. CoRR abs/1802.08201 (2018)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-05230
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05230
Gavin Rens, Abhaya Nayak, Thomas Meyer:
Maximizing Expected Impact in an Agent Reputation Network - Technical Report. CoRR abs/1805.05230 (2018)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-10946
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-10946
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
On Rational Entailment for Propositional Typicality Logic. CoRR abs/1809.10946 (2018)
2017
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/ecoi/GerberMME17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ecoi/GerberMME17
Aurona Gerber, Nishal Morar, Thomas Meyer, Connal Eardley:
Ontology-based support for taxonomic functions. Ecol. Informatics 41: 11-23 (2017)
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/ictas/BellMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictas/BellMM17
Luke Kingsley Bell, Francois Mouton, Tommie Meyer:
Mobile on-board vehicle event recorder: MOVER. ICTAS 2017: 1-7
[c76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CasiniM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CasiniM17
Giovanni Casini, Thomas Andreas Meyer:
Belief Change in a Preferential Non-monotonic Framework. IJCAI 2017: 929-935
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/issa/MoutonTM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issa/MoutonTM17
Francois Mouton, Marcel Teixeira, Thomas Meyer:
Benchmarking a mobile implementation of the social engineering prevention training tool. ISSA 2017: 106-116
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/RensM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RensM17
Gavin Rens, Thomas Andreas Meyer:
Imagining Probabilistic Belief Change as Imaging (Technical Report). CoRR abs/1705.01172 (2017)
2016
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcwt/LeenenM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcwt/LeenenM16
Louise Leenen, Thomas Meyer:
Semantic Technologies and Big Data Analytics for Cyber Defence. Int. J. Cyber Warf. Terror. 6(3): 53-64 (2016)
[c74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/RensMC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/RensMC16
Gavin Rens, Thomas Andreas Meyer, Giovanni Casini:
On Revision of Partially Specified Convex Probabilistic Belief Bases. ECAI 2016: 921-929
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/icmla/OjemeMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/OjemeMM16
Blessing Ojeme, Audrey Mbogho, Thomas Meyer:
Probabilistic Expert Systems for Reasoning in Clinical Depressive Disorders. ICMLA 2016: 599-604
[c72]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/CasiniM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CasiniM16
Giovanni Casini, Thomas Andreas Meyer:
Using Defeasible Information to Obtain Coherence. KR 2016: 537-540
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/RensMC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RensMC16
Gavin Rens, Thomas Andreas Meyer, Giovanni Casini:
Revising Incompletely Specified Convex Probabilistic Belief Bases. CoRR abs/1604.02133 (2016)
2015
[c71]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaiss/0001CMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/0001CMV15
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
What Does Entailment for PTL Mean? AAAI Spring Symposia 2015
[c70]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/flairs/RensM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/RensM15
Gavin B. Rens, Thomas Meyer:
A New Approach to Probabilistic Belief Change. FLAIRS 2015: 581-587
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/RensM15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/RensM15a
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icaart/RensM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/RensM15
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icaart/RensML15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/RensML15
Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer:
A Modal Logic for the Decision-Theoretic Projection Problem. ICAART (2) 2015: 5-16
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/RensML15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/RensML15a
Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer:
A Logic for Reasoning About Decision-Theoretic Projections. ICAART (Revised Selected Papers) 2015: 79-99
[c65]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/000215
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/000215
Thomas Meyer:
Preferential Semantics as the Basis for Defeasible Reasoning in Ontologies. DARe@IJCAI 2015
[c64]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/BoothCMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BoothCMV15
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
On the Entailment Problem for a Logic of Typicality. IJCAI 2015: 2805-2811
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/CasiniMMSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/CasiniMMSV15
Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak:
Introducing Defeasibility into OWL Ontologies. ISWC (2) 2015: 409-426
[e1]
- view
- export record
  dblp key:
  - conf/ijcai/2015jowo
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/2015jowo
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/RensML14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/RensML14
Gavin Rens, Thomas Meyer, Gerhard Lakemeyer:
SLAP: Specification logic of actions with probability. J. Appl. Log. 12(2): 128-150 (2014)
[c62]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/KlarmanM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/KlarmanM14
Szymon Klarman, Thomas Meyer:
Complexity of Temporal Query Abduction in DL-Lite. Description Logics 2014: 233-244
[c61]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/MoodleyMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/MoodleyMS14
Kodylan Moodley, Thomas Meyer, Uli Sattler:
DIP: A Defeasible-Inference Platform for OWL Ontologies. Description Logics 2014: 671-683
[c60]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/OngomaKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/OngomaKM14
E. A. Nasubo Ongoma, C. Maria Keet, Thomas Meyer:
Transition Constraints for Temporal Attributes. Description Logics 2014: 684-695
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/foiks/RensML14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foiks/RensML14
Gavin Rens, Thomas Meyer, Gerhard Lakemeyer:
A Logic for Specifying Stochastic Actions and Observations. FoIKS 2014: 305-323
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/CasiniMMN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/CasiniMMN14
Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortje:
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. JELIA 2014: 92-106
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/KlarmanM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/KlarmanM14
Szymon Klarman, Thomas Meyer:
Querying Temporal Databases via OWL 2 QL. RR 2014: 92-107
[c56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stairs/MoodleyMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/MoodleyMS14
Kodylan Moodley, Thomas Meyer, Uli Sattler:
Practical Defeasible Reasoning for Description Logics. STAIRS 2014: 191-200
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BoothMVW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BoothMVW14
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/BritzCMV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BritzCMV13
Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Preferential Role Restrictions. Description Logics 2013: 93-106
[c54]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/CasiniMMV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CasiniMMV13
Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak:
Towards Practical Defeasible Reasoning for Description Logics. Description Logics 2013: 587-599
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/CasiniMVM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CasiniMVM13
Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Kodylan Moodley:
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. Description Logics 2013: 600-615
[c52]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/NortjeBM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/NortjeBM13
Riku Nortje, Arina Britz, Thomas Meyer:
Module-theoretic Properties of Reachability Modules for SRIQ. Description Logics 2013: 868-884
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/MoodleySPM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/MoodleySPM13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KlarmanM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KlarmanM13
Szymon Klarman, Thomas Meyer:
Prediction and Explanation over DL-Lite Data Streams. LPAR 2013: 536-551
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/NortjeBM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/NortjeBM13
Riku Nortje, Katarina Britz, Thomas Meyer:
Reachability Modules for the Description Logic $\mathcal{SRIQ}$. LPAR 2013: 636-652
2012
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/FerreinM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/FerreinM12
Alexander Ferrein, Thomas Meyer:
A Brief Overview of Artificial Intelligence in South Africa. AI Mag. 33(1): 99-103 (2012)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/BoothMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/BoothMS12
Richard Booth, Thomas Meyer, Chattrakul Sombattheera:
A General Family of Preferential Belief Removal Operators. J. Philos. Log. 41(4): 711-733 (2012)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/BritzMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/BritzMV12
Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence 2012: 505-516
[c47]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/MoodleyMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/MoodleyMV12
Kodylan Moodley, Thomas Meyer, Ivan Varzinczak:
A Protege Plug-in for Defeasible Reasoning. Description Logics 2012
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BoothMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BoothMV12
Richard Booth, Thomas Meyer, Ivan Varzinczak:
PTL: A Propositional Typicality Logic. JELIA 2012: 107-119
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/saicsit/CasiniGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saicsit/CasiniGM12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/saicsit/MoodleyMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saicsit/MoodleyMV12
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak:
A defeasible reasoning approach for description logic ontologies. SAICSIT 2012: 69-78
[c43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stairs/RensLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/RensLM12
Gavin Rens, Gerhard Lakemeyer, Thomas Meyer:
A Logic for Specifying Agent Actions and Observations with Probability. STAIRS 2012: 252-263
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/DelgrandeMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/DelgrandeMS12
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/BoothMVW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/BoothMVW11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/BoothM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/BoothM11
Richard Booth, Thomas Andreas Meyer:
How to Revise a Total Preorder. J. Philos. Log. 40(2): 193-238 (2011)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/africon/MeyerV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africon/MeyerV11
Thomas Meyer, Ivan Varzinczak:
A logic-based perspective on agent reconfiguration: Preliminary report. AFRICON 2011: 1-6
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/BritzMV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/BritzMV11
Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence 2011: 491-500
[c40]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/BritzMV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BritzMV11
Arina Britz, Thomas Meyer, Ivan Varzinczak:
Concept Model Semantics for DL Preferential Reasoning. Description Logics 2011
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/NortjeBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/NortjeBM11
Riku Nortje, Arina Britz, Thomas Andreas Meyer:
Bidirectional Reachability-Based Modules. Description Logics 2011
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/MoodleyMV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/MoodleyMV11
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak:
Root Justifications for Ontology Repair. RR 2011: 275-280
[c37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BritzMV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BritzMV11
Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Preferential Reasoning for Modal Logics. M4M/LAMAS 2011: 55-69
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1109-6344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-6344
Richard Booth, Thomas Andreas Meyer:
Admissible and Restrained Revision. CoRR abs/1109.6344 (2011)
2010
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/aai/MeyerO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aai/MeyerO10
Thomas Meyer, Mehmet A. Orgun:
Introduction: Special Issue on Knowledge Representation and Ontology Research. Appl. Artif. Intell. 24(1&2): 1-4 (2010)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BoothCMG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BoothCMG10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/BoothM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/BoothM10
Richard Booth, Thomas Andreas Meyer:
Equilibria in social belief removal. Synth. 177(Supplement-1): 97-123 (2010)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/RensVMF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/RensVMF10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BoothMVW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BoothMVW10
Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann:
Horn Belief Change: A Contraction Core. ECAI 2010: 1065-1066
no results

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/BritzHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/BritzHM09
Katarina Britz, Johannes Heidema, Thomas Andreas Meyer:
Modelling Object Typicality in Description Logics. Australasian Conference on Artificial Intelligence 2009: 506-516
[c33]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/BritzHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BritzHM09
Katarina Britz, Johannes Heidema, Tommie Meyer:
Modelling Object Typicality in Description Logics. Description Logics 2009
[c32]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/BoothMV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BoothMV09
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak:
Next Steps in Propositional Horn Contraction. IJCAI 2009: 702-707
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/BoothMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/BoothMS09
Richard Booth, Thomas Andreas Meyer, Chattrakul Sombattheera:
A General Family of Preferential Belief Removal Operators. LORI 2009: 42-54
2008
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/es/OrgunM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/es/OrgunM08
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/ChopraGMW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/ChopraGMW08
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]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/BoothM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BoothM08
Richard Booth, Thomas Andreas Meyer:
Equilibria in Social Belief Removal. KR 2008: 145-155
[c29]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/BritzHM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BritzHM08
Katarina Britz, Johannes Heidema, Thomas Andreas Meyer:
Semantic Preferential Subsumption. KR 2008: 476-484
2007
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/LeenenMG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/LeenenMG07
Louise Leenen, Thomas Andreas Meyer, Aditya Ghose:
Relaxations of semiring constraint satisfaction problems. Inf. Process. Lett. 103(5): 177-182 (2007)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/LeenenAMG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/LeenenAMG07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/ZhuangPM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/ZhuangPM07
Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer:
Implementing Iterated Belief Change Via Prime Implicates. Australian Conference on Artificial Intelligence 2007: 507-518
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/BoothM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/BoothM07
Richard Booth, Thomas Andreas Meyer:
On the Dynamics of Total Preorders: Revising Abstract Interval Orders. ECSQARU 2007: 42-53
[c25]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/owled/CreganSM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/CreganSM07
Anne Cregan, Rolf Schwitter, Thomas Meyer:
Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1. OWLED 2007
2006
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/inffus/ChopraGM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/inffus/ChopraGM06
Samir Chopra, Aditya K. Ghose, Thomas Andreas Meyer:
Social choice theory, belief merging, and strategy-proofness. Inf. Fusion 7(1): 61-79 (2006)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/BoothM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/BoothM06
Richard Booth, Thomas Andreas Meyer:
Admissible and Restrained Revision. J. Artif. Intell. Res. 26: 127-151 (2006)
[c24]
- view
- export record
  dblp key:
  - conf/aaai/MeyerLBP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/MeyerLBP06
Thomas Andreas Meyer, Kevin Lee, Richard Booth, Jeff Z. Pan:
Finding Maximally Satisfiable Terminologies for the Description Logic ALC. AAAI 2006: 269-274
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/PerrusselTM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/PerrusselTM06
Laurent Perrussel, Jean-Marc Thévenin, Thomas Andreas Meyer:
Mutual enrichment through nested belief change. AAMAS 2006: 226-228
[c22]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/LeeMPB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/LeeMPB06
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/PerrusselTM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/PerrusselTM06
Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer:
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. ECAI 2006: 731-732
[c20]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/BoothMW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BoothMW06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/LeenenMHG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/LeenenMHG06
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BoothCGM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BoothCGM05
Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Belief Liberation (and Retraction). Stud Logica 79(1): 47-72 (2005)
[c18]
- view
- export record
  dblp key:
  - conf/aaai/MeyerLB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/MeyerLB05
Thomas Andreas Meyer, Kevin Lee, Richard Booth:
Knowledge Integration for Description Logics. AAAI 2005: 645-650
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/MeyerPP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/MeyerPP05
Thomas Andreas Meyer, Pilar Pozos Parra, Laurent Perrussel:
Mediation Using m-States. ECSQARU 2005: 489-500
2004
[c16]
- view
- export record
  dblp key:
  - conf/aaai/MeyerFKZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/MeyerFKZ04
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang:
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. AAAI 2004: 293-298
[c15]
- view
- export record
  dblp key:
  - conf/aaai/ZhangFMK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ZhangFMK04
Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok:
Negotiation as Mutual Belief Revision. AAAI 2004: 317-323
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/FooMB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/FooMB04
Norman Y. Foo, Thomas Meyer, Gerhard Brewka:
LPOD Answer Sets and Nash Equilibria. ASIAN 2004: 343-351
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/LeeM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/LeeM04
Kevin Lee, Thomas Andreas Meyer:
A Classification of Ontology Modification. Australian Conference on Artificial Intelligence 2004: 248-258
[c12]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/BoothCMG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BoothCMG04
Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
A Unifying Semantics for Belief Change. ECAI 2004: 793-797
[c11]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/MeyerFKZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/MeyerFKZ04
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang:
Logical Foundations of Negotiation: Strategies and Preferences. KR 2004: 311-318
[c10]
- view
  - electronic edition @ math.ca
  - details & citations
- export record
  dblp key:
  - conf/nmr/BoothCMG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/BoothCMG04
Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
A unifying semantics for belief change. NMR 2004: 72-78
2003
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/ChopraGM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/ChopraGM03
Samir Chopra, Aditya Ghose, Thomas Meyer:
Non-Prioritized Ranked Belief Change. J. Philos. Log. 32(4): 417-443 (2003)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/ChopraHM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/ChopraHM03
Samir Chopra, Johannes Heidema, Thomas Andreas Meyer:
Some Logics of Belief and Disbelief. Australian Conference on Artificial Intelligence 2003: 364-376
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tark/BoothCGM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/BoothCGM03
Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Belief liberation (and retraction). TARK 2003: 159-172
2002
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/MeyerHLL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/MeyerHLL02
Thomas Andreas Meyer, Johannes Heidema, Willem Adrian Labuschagne, Louise Leenen:
Systematic Withdrawal. J. Philos. Log. 31(5): 415-443 (2002)
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/ChopraGM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/ChopraGM02
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/nmr/ChopraHM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/ChopraHM02
Samir Chopra, Johannes Heidema, Thomas Andreas Meyer:
Some logics of belief and disbelief. NMR 2002: 25-32
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/nmr/ChopraGM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/ChopraGM02
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/MeyerGC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/MeyerGC02
Thomas Andreas Meyer, Aditya Ghose, Samir Chopra:
Syntactic Representations of Semantic Merging Operations. PRICAI 2002: 620
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0207037
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0207037
Samir Chopra, Johannes Heidema, Thomas Andreas Meyer:
Some logics of belief and disbelief. CoRR cs.AI/0207037 (2002)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0207038
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0207038
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Meyer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Meyer01
Thomas Andreas Meyer:
On the semantics of combination operations. J. Appl. Non Class. Logics 11(1-2): 59-84 (2001)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Meyer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Meyer01
Thomas Andreas Meyer:
Basic Infobase Change. Stud Logica 67(2): 215-242 (2001)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/MeyerGC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/MeyerGC01
Thomas Andreas Meyer, Aditya Ghose, Samir Chopra:
Social Choice, Merging, and Elections. ECSQARU 2001: 466-477
2000
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/MeyerLH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/MeyerLH00
Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema:
Refined Epistemic Entrenchment. J. Log. Lang. Inf. 9(2): 237-259 (2000)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/MeyerLH00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/MeyerLH00a
Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema:
Infobase Change: A First Approximation. J. Log. Lang. Inf. 9(3): 353-377 (2000)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/Meyer00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/Meyer00
Thomas Andreas Meyer:
Merging Epistemic States. PRICAI 2000: 286-296
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0003015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0003015
Thomas Andreas Meyer:
On the semantics of merging. CoRR cs.AI/0003015 (2000)
no results

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/Meyer99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/Meyer99
Thomas Andreas Meyer:
Basic Infobase Change. Australian Joint Conference on Artificial Intelligence 1999: 156-167
no results

[+]

Coauthor network

[+]

Coauthor Index

see FAQ

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.