Thomas Meyer
Thomas Meyer
Professor in Computer Science, University of Cape Town; Director of CAIR
Verified email at cs.uct.ac.za - Homepage
TitleCited byYear
Knowledge integration for description logics
T Meyer, K Lee, R Booth
AAAI 5, 645-650, 2005
1132005
Finding maximally satisfiable terminologies for the description logic ALC
T Meyer, K Lee, R Booth, JZ Pan
Proceedings of the National Conference on Artificial Intelligence 21 (1), 269, 2006
1122006
Sydney OWL Syntax-towards a Controlled Natural Language Syntax for OWL 1.1.
A Cregan, R Schwitter, T Meyer
OWLED 258, 2007
952007
Admissible and restrained revision
R Booth, T Meyer
Journal of Artificial Intelligence Research 26, 127-151, 2006
822006
Semantic Preferential Subsumption.
K Britz, J Heidema, TA Meyer
KR, 476-484, 2008
722008
Semantic foundation for preferential description logics
K Britz, T Meyer, I Varzinczak
Australasian Joint Conference on Artificial Intelligence, 491-500, 2011
682011
Negotiation as mutual belief revision
D Zhang, N Foo, T Meyer, R Kwok
AAAI 4, 317-322, 2004
632004
Next steps in propositional Horn contraction
R Booth, T Meyer, IJ Varzinczak
Twenty-First International Joint Conference on Artificial Intelligence, 2009
492009
On the semantics of combination operations
T Meyer
Journal of Applied Non-Classical Logics 11 (1-2), 59-84, 2001
492001
Multimedia synchronization techniques: experiences based on different system structures.
R Steinmetz, T Meyer
Computer Communication Review 22 (3), 90-91, 1992
461992
Logical Foundations of Negotiation
T Meyer, N Foo, R Kwok, D Zhang
422004
Social choice theory, belief merging, and strategy-proofness
S Chopra, A Ghose, T Meyer
Information Fusion 7 (1), 61-79, 2006
402006
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
372013
Logical Foundations of Negotiation: Strategies and Preferences.
TA Meyer, NY Foo, R Kwok, D Zhang
KR, 311-318, 2004
362004
Refined epistemic entrenchment
TA Meyer, WA Labuschagne, J Heidema
Journal of Logic, Language and Information 9 (2), 237-259, 2000
342000
Relevant closure: A new form of defeasible reasoning for description logics
G Casini, T Meyer, K Moodley, R Nortjé
European Workshop on Logics in Artificial Intelligence, 92-106, 2014
332014
PTL: A propositional typicality logic
R Booth, T Meyer, I Varzinczak
European Workshop on Logics in Artificial Intelligence, 107-119, 2012
312012
Semantic diff as the basis for knowledge base versioning
E Franconi, T Meyer, I Varzinczak
312010
Syntactic representations of semantic merging operations
T Meyer, A Ghose, S Chopra
PRICAI 2417, 620, 2002
312002
A taxonomy on multimedia synchronization
T Meyer, W Effelsberg, R Steinmetz
1993 4th Workshop on Future Trends of Distributed Computing Systems, 97-103, 1993
311993
The system can't perform the operation now. Try again later.
Articles 1–20