
Researchspace >
Browsing by Author Meyer, T
Showing results 40 to 59 of 59
Issue Date  Title  Author(s)  Aug2014  Practical defeasible reasoning for description logics (STAIRS)  Moodley, K; Meyer, T; Sattler, U 
Dec2013  Prediction and explanation over DLLite data streams  Klarman, S; Meyer, T 
Nov2011  Preferential reasoning for modal logics  Britz, K; Meyer, T; Varzinczak, I 
Jul2013  Preferential role restrictions  Britz, K; Casini, G; Meyer, T; Varzinczak, I 
Aug2013  A propositional typicality logic for extending rational consequence  Booth, R; Meyer, T; Varzinczak, I 
Jun2012  A protege plugin for defeasible reasoning  Moodley, K; Meyer, T; Varzinczak, I 
Sep2012  PTL: A Propositional Typicality Logic  Booth, R; Meyer, T; Varzinczak, I 
Jun2014  Querying temporal databases via OWL 2 QL  Klarman, S; Meyer, T 
Dec2013  Reachability modules for the description logic SRIQ  Nortje, R; Britz, K; Meyer, T 
Mar2007  Relaxations of semiring constraint satisfaction problems  Leenen, L; Meyer, T; Ghose, A 
Sep2014  Relevant closure: a new form of defeasible reasoning for description logics  Casini, G; Meyer, T; Moodley, K; Nortjé, R 
Aug2011  Root justifications for ontology repair  Moodley, K; Meyer, T; Varzinczak, IJ 
May2010  Semantic diff as the basis for knowledge base versioning  Franconi, E; Meyer, T; Varzinczak, I 
Dec2011  Semantic foundation for preferential description logics  Britz, K; Meyer, T; Varzinczak, I 
Jun2014  SLAP: Specification logic of actions with probability  Rens, G; Meyer, T; Lakemeyer, G 
Nov2008  Technologies for conceptual modelling and intelligent query formulation  Alberts, R; Britz, K; Gerber, A; Halland, K; Meyer, T; Pretorius, L 
Jul2013  Towards practical defeasible reasoning for description logics  Casini, G; Meyer, T; Moodley, K; Varzinczak, I 
Jul2014  Transition constraints for temporal attributes  Ongoma, EAN; Keet, CM; Meyer, T 
Mar2015  The use of semantic technologies in cyber defence  Leenen, L; Meyer, T 
Mar2015  What does entailment for PTL mean?  Booth, R; Casini, G; Meyer, T; Varzinczak, I 
Showing results 40 to 59 of 59
