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 27 to 46 of 50
< previous   next >
Issue DateTitleAuthor(s)
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
Aug-2013An ontology for regulating eHealth interoperability in developing African countriesMoodley, D; Seebregts, CJ; Pillay, AW; Meyer, T
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
Jun-2014Querying temporal databases via OWL 2 QLKlarman, S; Meyer, T
Dec-2013Reachability modules for the description logic SRIQNortje, R; Britz, K; Meyer, T
Mar-2007Relaxations of semiring constraint satisfaction problemsLeenen, L; Meyer, T; Ghose, A
Aug-2011Root justifications for ontology repairMoodley, K; Meyer, T; Varzinczak, IJ
May-2010Semantic diff as the basis for knowledge base versioningFranconi, E; Meyer, T; Varzinczak, I
Dec-2011Semantic foundation for preferential description logicsBritz, K; Meyer, T; Varzinczak, I
Showing results 27 to 46 of 50
< previous   next >

 

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