DSpace
 

Researchspace >

Browsing by Author Meyer, T

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 19 to 38 of 45
< previous   next >
Issue DateTitleAuthor(s)
Nov-2008Integration of SNOMED CT into the OpenMRS electronic medical record system frameworkGerber, A; Meyer, T; Seebregts, C; Britz, A; Pretorius, L; Alberts, R; Moodley, D; Halland, K
Aug-2012A logic for specifying agent actions and observations with probabilityRens, G; Lakemeyer, G; Meyer, T
Jul-2011Logic for specifying partially observable stochastic domainsRens, G; Meyer, T; Ferrein, A; Lakemeyer, G
Dec-2007Modeling and solving semiring constraint satisfaction problems by transformation to weighted semiring Max-SATLeenen, L; Anbulagan; Meyer, T; Ghose, A
Dec-2009Modelling object typicality in description logicsBritz, K; Heidema, J; Meyer, T
Jul-2009Modelling object typicality in description logics - [Workshop on Description Logics]Britz, K; Heidema, J; Meyer, T
Jul-2013Module-theoretic properties of reachability modules for SRIQNortje, R; Britz, K; Meyer, T
Jun-2009Next steps in propositional horn contractionBooth, R; Meyer, T; Varzinczak, IJ
Jul-2013Nonmonotonic reasoning in description logics. Rational closure for the ABoxCasini, G; Meyer, T; Moodley, K; Varzinczak, I
Dec-2012A normal form for hypergraph-based module extraction for SROIQNortje, R; Britz, K; Meyer, T
Dec-2012Normal modal preferential consequenceBritz, K; Meyer, T; Varzinczak, I
Oct-2012A note on the translation of conceptual data models into description logics: disjointness and covering assumptionsCasini, G; Gerber, A; Meyer, T
Sep-2011On the link between partial meet, kernel, and infra contraction and its application to horn logicBooth, R; Meyer, T; Varzinczak, I; Wassermann, R
May-2013On the logical specification of probabilistic transition modelsRens, G; Meyer, T; Lakemeyer, G
Dec-2013Prediction and explanation over DL-Lite data streamsKlarman, S; Meyer, T
Nov-2011Preferential reasoning for modal logicsBritz, K; Meyer, T; Varzinczak, I
Jul-2013Preferential role restrictionsBritz, K; Casini, G; Meyer, T; Varzinczak, I
Aug-2013A propositional typicality logic for extending rational consequenceBooth, R; Meyer, T; Varzinczak, I
Jun-2012A protege plug-in for defeasible reasoningMoodley, K; Meyer, T; Varzinczak, I
Sep-2012PTL: A Propositional Typicality LogicBooth, R; Meyer, T; Varzinczak, I
Showing results 19 to 38 of 45
< previous   next >

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback