
Researchspace >
Browsing by Author Varzinczak, I
Showing results 1 to 19 of 19
Issue Date  Title  Author(s)  Jul2011  Concept model semantics for DL preferential reasoning  Britz, K; Meyer, T; Varzinczak, I 
Sep2011  Constrained consequence  Britz, K; Heidema, J; Varzinczak, I 
May2010  Contraction core for horn belief change: preliminary report  Booth, R; Meyer, T; Varzinczak, I; Wassermann, R 
Jan2013  Defeasible modalities  Britz, K; Varzinczak, I 
Jun2012  Defeasible modes of inference: A preferential perspective  Britz, K; Varzinczak, I 
Aug2010  First steps in the computation of root justifications  Meyer, T; Moodley, K; Varzinczak, I 
Aug2010  Horn belief change: A contraction core  Booth, R; Meyer, T; Varzinczak, I; Wassermann, R 
Jul2013  Nonmonotonic reasoning in description logics. Rational closure for the ABox  Casini, G; Meyer, T; Moodley, K; Varzinczak, I 
Dec2012  Normal modal preferential consequence  Britz, K; Meyer, T; Varzinczak, I 
Sep2011  On the link between partial meet, kernel, and infra contraction and its application to horn logic  Booth, R; Meyer, T; Varzinczak, I; Wassermann, R 
May2010  Pertinent reasoning  Britz, K; Heidema, J; Varzinczak, I 
Nov2011  Preferential reasoning for modal logics  Britz, K; Meyer, T; Varzinczak, I 
Jul2013  Preferential role restrictions  Britz, K; Casini, G; Meyer, T; Varzinczak, I 
Aug2013  A propositional typicality logic for extending rational consequence  Booth, R; Meyer, T; Varzinczak, I 
Jun2012  A protege plugin for defeasible reasoning  Moodley, K; Meyer, T; Varzinczak, I 
Sep2012  PTL: A Propositional Typicality Logic  Booth, R; Meyer, T; Varzinczak, I 
May2010  Semantic diff as the basis for knowledge base versioning  Franconi, E; Meyer, T; Varzinczak, I 
Dec2011  Semantic foundation for preferential description logics  Britz, K; Meyer, T; Varzinczak, I 
Jul2013  Towards practical defeasible reasoning for description logics  Casini, G; Meyer, T; Moodley, K; Varzinczak, I 
Showing results 1 to 19 of 19
