Follow
Thomas Meyer
Thomas Meyer
Professor in Computer Science, University of Cape Town; Co-Director of CAIR (cair.org.za)
Verified email at uct.ac.za - Homepage
Title
Cited by
Cited by
Year
Finding maximally satisfiable terminologies for the description logic ALC
T Meyer, K Lee, R Booth, JZ Pan
AAAI, 269-274, 2006
1392006
Admissible and restrained revision
R Booth, T Meyer
Journal of Artificial Intelligence Research 26, 127-151, 2006
1312006
Knowledge integration for description logics
T Meyer, K Lee, R Booth
AAAI 5, 645-650, 2005
1262005
Semantic Preferential Subsumption.
K Britz, J Heidema, TA Meyer
KR, 476-484, 2008
1142008
Semantic foundation for preferential description logics
K Britz, T Meyer, I Varzinczak
Australasian Joint Conference on Artificial Intelligence, 491-500, 2011
1062011
Sydney OWL Syntax-towards a Controlled Natural Language Syntax for OWL 1.1.
A Cregan, R Schwitter, T Meyer
OWLED 258, 2007
1042007
Relevant closure: A new form of defeasible reasoning for description logics
G Casini, T Meyer, K Moodley, R Nortjé
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014
952014
Nonmonotonic reasoning in description logics. Rational closure for the ABox
G Casini, T Meyer, K Moodley, I Varzinczak
CAIR (Centre for Artificial Intelligence Research), 2013
692013
Negotiation as mutual belief revision
D Zhang, N Foo, T Meyer, R Kwok
AAAI 4, 317-322, 2004
642004
Taking defeasible entailment beyond rational closure
G Casini, T Meyer, I Varzinczak
European Conference on Logics in Artificial Intelligence, 182-197, 2019
572019
Introducing defeasibility into OWL ontologies
G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak
The Semantic Web-ISWC 2015: 14th International Semantic Web Conference …, 2015
562015
Next steps in propositional Horn contraction
R Booth, T Meyer, IJ Varzinczak
542009
On the semantics of combination operations
T Meyer
Journal of Applied Non-Classical Logics 11 (1-2), 59-84, 2001
542001
Principles of KLM-style defeasible description logics
K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak
ACM Transactions on Computational Logic (TOCL) 22 (1), 1-46, 2020
492020
Social choice theory, belief merging, and strategy-proofness
S Chopra, A Ghose, T Meyer
Information Fusion 7 (1), 61-79, 2006
492006
Towards practical defeasible reasoning for description logics
G Casini, T Meyer, K Moodley, I Varzinczak
Centre for Artificial Intelligence Research, 2013
482013
On the entailment problem for a logic of typicality
R Booth, G Casini, T Meyer, I Varzinczak
472015
PTL: A propositional typicality logic
R Booth, T Meyer, I Varzinczak
European Workshop on Logics in Artificial Intelligence, 107-119, 2012
462012
Preferential reasoning for modal logics
K Britz, T Meyer, I Varzinczak
Electronic Notes in Theoretical Computer Science 278, 55-69, 2011
462011
Logical Foundations of Negotiation
T Meyer, N Foo, R Kwok, D Zhang
462004
The system can't perform the operation now. Try again later.
Articles 1–20