|
|
Researchspace >
Browsing by Author Meyer, T
Showing results 18 to 36 of 36
| Issue Date | Title | Author(s) | | Nov-2008 | Integration of SNOMED CT into the OpenMRS electronic medical record system framework | Gerber, A; Meyer, T; Seebregts, C; Britz, A; Pretorius, L; Alberts, R; Moodley, D; Halland, K |
| Aug-2012 | A logic for specifying agent actions and observations with probability | Rens, G; Lakemeyer, G; Meyer, T |
| Jul-2011 | Logic for specifying partially observable stochastic domains | Rens, G; Meyer, T; Ferrein, A; Lakemeyer, G |
| Dec-2007 | Modeling and solving semiring constraint satisfaction problems by transformation to weighted semiring Max-SAT | Leenen, L; Anbulagan; Meyer, T; Ghose, A |
| Dec-2009 | Modelling object typicality in description logics | Britz, K; Heidema, J; Meyer, T |
| Jul-2009 | Modelling object typicality in description logics - [Workshop on Description Logics] | Britz, K; Heidema, J; Meyer, T |
| Jun-2009 | Next steps in propositional horn contraction | Booth, R; Meyer, T; Varzinczak, IJ |
| Dec-2012 | A normal form for hypergraph-based module extraction for SROIQ | Nortje, R; Britz, K; Meyer, T |
| Dec-2012 | Normal modal preferential consequence | Britz, K; Meyer, T; Varzinczak, I |
| Oct-2012 | A note on the translation of conceptual data models into description logics: disjointness and covering assumptions | Casini, G; Gerber, A; Meyer, T |
| Sep-2011 | On the link between partial meet, kernel, and infra contraction and its application to horn logic | Booth, R; Meyer, T; Varzinczak, I; Wassermann, R |
| Nov-2011 | Preferential reasoning for modal logics | Britz, K; Meyer, T; Varzinczak, I |
| Jun-2012 | A protege plug-in for defeasible reasoning | Moodley, K; Meyer, T; Varzinczak, I |
| Sep-2012 | PTL: A Propositional Typicality Logic | Booth, R; Meyer, T; Varzinczak, I |
| Mar-2007 | Relaxations of semiring constraint satisfaction problems | Leenen, L; Meyer, T; Ghose, A |
| Aug-2011 | Root justifications for ontology repair | Moodley, K; Meyer, T; Varzinczak, IJ |
| May-2010 | Semantic diff as the basis for knowledge base versioning | Franconi, E; Meyer, T; Varzinczak, I |
| Dec-2011 | Semantic foundation for preferential description logics | Britz, K; Meyer, T; Varzinczak, I |
| Nov-2008 | Technologies for conceptual modelling and intelligent query formulation | Alberts, R; Britz, K; Gerber, A; Halland, K; Meyer, T; Pretorius, L |
Showing results 18 to 36 of 36
|
