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 12 to 31 of 47
< previous   next >
Issue DateTitleAuthor(s)
Dec-2009Finding EL+ justifications using the Earley parsing algorithmNortje, R; Britz, K; Meyer, T
Aug-2010First steps in the computation of root justificationsMeyer, T; Moodley, K; Varzinczak, I
May-2012A general family of preferential belief removal operatorsBooth, R; Meyer, T; Sombattheera, C
Jul-2009General family of preferential belief removal operatorsBooth, R; Meyer, T; Sombattheera, C
Sep-2009General family of preferential belief removal operators - [Workshop on LORI-II]Booth, R; Meyer, T; Sombattheera, C
Aug-2010Horn belief change: A contraction coreBooth, R; Meyer, T; Varzinczak, I; Wassermann, R
Feb-2011How to revise a total preorderBooth, R; Meyer, T
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
Showing results 12 to 31 of 47
< previous   next >

 

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