|
|
Researchspace >
Browsing by Author Varzinczak, I
Showing results 1 to 14 of 14
| Issue Date | Title | Author(s) | | Jul-2011 | Concept model semantics for DL preferential reasoning | Britz, K; Meyer, T; Varzinczak, I |
| Sep-2011 | Constrained consequence | Britz, K; Heidema, J; Varzinczak, I |
| May-2010 | Contraction core for horn belief change: preliminary report | Booth, R; Meyer, T; Varzinczak, I; Wassermann, R |
| Jun-2012 | Defeasible modes of inference: A preferential perspective | Britz, K; Varzinczak, I |
| Aug-2010 | First steps in the computation of root justifications | Meyer, T; Moodley, K; Varzinczak, I |
| Aug-2010 | Horn belief change: A contraction core | Booth, R; Meyer, T; Varzinczak, I; Wassermann, R |
| Dec-2012 | Normal modal preferential consequence | Britz, K; Meyer, T; Varzinczak, I |
| 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 |
| May-2010 | Pertinent reasoning | Britz, K; Heidema, J; Varzinczak, I |
| 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 |
| 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 |
Showing results 1 to 14 of 14
|
