Ivan José Varzinczak

ORCID

Publication Activity (10 Years)

Years Active: 2002-2018
Publications (10 Years): 6

Top Venues

Paul Sabatier University, Toulouse, France (PHD)

Education History

Paul Sabatier University, Toulouse, France

PHD

Publications

Katarina Britz, Ivan José Varzinczak
Rationality and Context in Defeasible Subsumption. FoIKS (2018)
Katarina Britz, Ivan José Varzinczak
From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non Class. Logics 28 (1) (2018)
Katarina Britz, Ivan José Varzinczak
Preferential Accessibility and Preferred Worlds. J. Log. Lang. Inf. 27 (2) (2018)
Katarina Britz, Ivan José Varzinczak
Context-based defeasible subsumption for dSROIQ. COMMONSENSE (2017)
Katarina Britz, Ivan José Varzinczak
Towards Defeasible SROIQ. Description Logics (2017)
Katarina Britz, Ivan José Varzinczak
Introducing Role Defeasibility in Description Logics. JELIA (2016)
Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan José Varzinczak
Introducing Defeasibility into OWL Ontologies. ISWC (2) (2015)
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak
What Does Entailment for PTL Mean? AAAI Spring Symposia (2015)
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak
On the Entailment Problem for a Logic of Typicality. IJCAI (2015)
Ivan José Varzinczak
On Action Theory Change. CoRR (2014)
Richard Booth, Thomas Meyer, Ivan José Varzinczak, Renata Wassermann
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR (2014)
Arina Britz, Ivan José Varzinczak
Towards a Logic of Dilation. PRUV (2014)
Arina Britz, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak
Preferential Role Restrictions. Description Logics (2013)
Giovanni Casini, Thomas Meyer, Ivan José Varzinczak, Kodylan Moodley
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. Description Logics (2013)
Katarina Britz, Ivan José Varzinczak
Defeasible Modalities. CoRR (2013)
Katarina Britz, Ivan José Varzinczak
Defeasible Modalities. TARK (2013)
Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan José Varzinczak
Towards Practical Defeasible Reasoning for Description Logics. Description Logics (2013)
Richard Booth, Thomas Meyer, Ivan José Varzinczak
PTL: A Propositional Typicality Logic. JELIA (2012)
Jos Lehmann, Ivan José Varzinczak, Alan Bundy
Reasoning with Context in the Semantic Web. J. Web Semant. 12 (2012)
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak
A Protege Plug-in for Defeasible Reasoning. Description Logics (2012)
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak
A defeasible reasoning approach for description logic ontologies. SAICSIT (2012)
Katarina Britz, Thomas Meyer, Ivan José Varzinczak
Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence (2012)
Katarina Britz, Thomas Meyer, Ivan José Varzinczak
Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence (2011)
Katarina Britz, Johannes Heidema, Ivan José Varzinczak
Constrained Consequence. Logica Universalis 5 (2) (2011)
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. 42 (2011)
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak
Root Justifications for Ontology Repair. RR (2011)
Arina Britz, Thomas Meyer, Ivan José Varzinczak
Concept Model Semantics for DL Preferential Reasoning. Description Logics (2011)
Katarina Britz, Thomas Meyer, Ivan José Varzinczak
Preferential Reasoning for Modal Logics. Electron. Notes Theor. Comput. Sci. 278 (2011)
Ivan José Varzinczak
On Action Theory Change. J. Artif. Intell. Res. 37 (2010)
Gavin Rens, Ivan José Varzinczak, Thomas Meyer, Alexander Ferrein
A Logic for Reasoning about Actions and Explicit Observations. Australasian Conference on Artificial Intelligence (2010)
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann
Horn Belief Change: A Contraction Core. ECAI (2010)
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak
Next Steps in Propositional Horn Contraction. IJCAI (2009)
Ivan José Varzinczak
Action Theory Evolution CoRR (2008)
Ivan José Varzinczak
Action Theory Erasure and Minimal Change. KR (2008)
Andreas Herzig, Ivan José Varzinczak
Metatheory of actions: Beyond consistency. Artif. Intell. 171 (16-17) (2007)
Andreas Herzig, Ivan José Varzinczak
Metatheory of actions: beyond consistency CoRR (2006)
Andreas Herzig, Ivan José Varzinczak
. JELIA (2006)
Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak
Elaborating Domain Descriptions. ECAI (2006)
Andreas Herzig, Ivan José Varzinczak
Cohesion, coupling and the meta-theory of actions. IJCAI (2005)
Andreas Herzig, Ivan José Varzinczak
Domain descriptions should be modular. NMR (2004)
Andreas Herzig, Ivan José Varzinczak
On the Modularity of Theories. Advances in Modal Logic (2004)
Andreas Herzig, Ivan José Varzinczak
Domain Descriptions Should Be Modular. ECAI (2004)
Robert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in Modal Logic. J. Appl. Non Class. Logics 13 (2) (2003)
Marcos A. Castilho, Andreas Herzig, Ivan José Varzinczak
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. NMR (2002)

Ivan José Varzinczak.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ivan José Varzinczak