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 8 to 27 of 52
< previous   next >
Issue DateTitleAuthor(s)
Oct-2012A defeasible reasoning approach for description logic ontologiesMoodley, K; Meyer, T; Varzinczak, IJ
Mar-2011Developing a knowledge system for information operationsLeenen, L; Alberts, R; Britz, K; Gerber, A; Meyer, T
Jul-2014DIP: A defeasible-inference platform for OWL ontologiesMeyer, T; Moodley, K; Sattler, U
Nov-2010Double preference relations for generalised belief changeBooth, R; Chopra, S; Meyer, T; Ghose, A
Sep-2008Equilibria in social belief removalBooth, R; Meyer, T
Aug-2010Equilibria in social belief removal [Journal article]Booth, R; Meyer, T
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
Jul-2009General family of preferential belief removal operatorsBooth, R; Meyer, T; Sombattheera, C
May-2012A general 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
Showing results 8 to 27 of 52
< previous   next >

 

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