|
|
Researchspace >
Browsing by Author Meyer, T
Showing results 4 to 23 of 36
| Issue Date | Title | Author(s) | | Jul-2011 | Concept model semantics for DL preferential reasoning | Britz, K; Meyer, T; Varzinczak, I |
| May-2010 | Contraction core for horn belief change: preliminary report | Booth, R; Meyer, T; Varzinczak, I; Wassermann, R |
| Oct-2012 | A defeasible reasoning approach for description logic ontologies | Moodley, K; Meyer, T; Varzinczak, IJ |
| Mar-2011 | Developing a knowledge system for information operations | Leenen, L; Alberts, R; Britz, K; Gerber, A; Meyer, T |
| Nov-2010 | Double preference relations for generalised belief change | Booth, R; Chopra, S; Meyer, T; Ghose, A |
| Sep-2008 | Equilibria in social belief removal | Booth, R; Meyer, T |
| Aug-2010 | Equilibria in social belief removal [Journal article] | Booth, R; Meyer, T |
| Dec-2009 | Finding EL+ justifications using the Earley parsing algorithm | Nortje, R; Britz, K; Meyer, T |
| Aug-2010 | First steps in the computation of root justifications | Meyer, T; Moodley, K; Varzinczak, I |
| May-2012 | A general family of preferential belief removal operators | Booth, R; Meyer, T; Sombattheera, C |
| Jul-2009 | General family of preferential belief removal operators | Booth, R; Meyer, T; Sombattheera, C |
| Sep-2009 | General family of preferential belief removal operators - [Workshop on LORI-II] | Booth, R; Meyer, T; Sombattheera, C |
| Aug-2010 | Horn belief change: A contraction core | Booth, R; Meyer, T; Varzinczak, I; Wassermann, R |
| Feb-2011 | How to revise a total preorder | Booth, R; Meyer, T |
| 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 |
Showing results 4 to 23 of 36
|
