Publications

Article(s) de revue(s) internationale(s)

2018 Katarina Britz, Ivan Varzinczak, Preferential Accessibility and Preferred Worlds in Journal of Logic, Language and Information (JoLLI),2018. (To appear)

2017 Katarina Britz, Ivan Varzinczak, From KLM-Style Conditionals to Defeasible Modalities, and Back in Journal of Applied Non-Classical Logics (JANCL),2017. (To appear)

2011 Katarina Britz, Thomas Meyer, Ivan Varzinczak, Preferential Reasoning for Modal Logics in Electronic Notes in Theoretical Computer Science (ENTCS),vol. 278, pp. 55-69, 2011.

2011 Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann, On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic in Journal of Artificial Intelligence Research (JAIR),vol. 42, pp. 31-53, 2011.

2011 Katarina Britz, Johannes Heidema, Ivan Varzinczak, Constrained Consequence in Logica Universalis (Logica Universalis),vol. 5, n° 2, pp. 327-350, 2011.

2010 Ivan Varzinczak, On Action Theory Change in Journal of Artificial Intelligence Research (JAIR),vol. 37, pp. 189-246, 2010.

2007 Andreas Herzig, Ivan Varzinczak, Metatheory of Actions: Beyond Consistency in Artificial Intelligence (AIJ),vol. 171, n° 16-17, Elsevier, pp. 951-984, 2007.

2003 R Demolombe, Andreas Herzig, Ivan Varzinczak, Regression in Modal Logic in Journal of Applied Non-Classical Logics (JANCL),vol. 13, n° 2, pp. 165-185, 2003.

Article(s) de conférence(s) internationale(s)

2017 Katarina Britz, Ivan Varzinczak, Towards defeasible SROIQ in International Workshop on Description Logics, (DL’17),2017.

2017 Katarina Britz, Ivan Varzinczak, Context-based defeasible subsumption for dSROIQ in International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense’17),2017.

2016 Katarina Britz, Ivan Varzinczak, Introducing Role Defeasibility in Description Logics in 15th European Conference on Logics in Artificial Intelligence (JELIA’16),Springer, pp. 174-189, 2016.

2016 Katarina Britz, Ivan Varzinczak, Preferential Modalities Revisited in International Workshop on Nonmonotonic Reasoning (NMR’16),2016.

2015 Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak, What Does Entailment for PTL Mean? in International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense’15),2015.

2015 Giovanni Casini, Thomas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak, Introducing Defeasibility into OWL Ontologies in International Semantic Web Conference (ISWC’15),pp. 40-426, 2015.

2015 Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak, On the entailment problem for a logic of typicality in 24th International Joint Conference on Artificial Intelligence (IJCAI’15),AAAI Press, pp. 2805-2811, 2015.

2014 Katarina Britz, Ivan Varzinczak, Towards a Logic of Dilation in International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness (PRUV’14),pp. 59-73, 2014.

2013 Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak, Nonmonotonic reasoning in Description Logics: Rational Closure for the ABox in International Workshop on Description Logics (DL’13),pp. 600-615, 2013.

2013 Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Preferential Role Restrictions in International Workshop on Description Logics (DL’13),pp. 93-106, 2013.

2013 Katarina Britz, Ivan Varzinczak, Defeasible Modalities in International Conference on Theoretical Aspects of Rationality and Knowledge (TARK),2013.

2012 Katarina Britz, Ivan Varzinczak, Defeasible Modes of Inference: A Preferential Perspective in 14th International Workshop on Non-Monotonic Reasoning (NMR’12),2012.

2012 Kodylan Moodley, Thomas Meyer, Ivan Varzinczak, A Protégé Plug-in for Defeasible Reasoning in International Workshop on Description Logics (DL’12),2012.

2012 Katarina Britz, Thomas Meyer, Ivan Varzinczak, Normal Modal Preferential Consequence in Australasian Joint Conference on Artificial Intelligence (AI’12),Springer, pp. 505-516, 2012.

2012 Richard Booth, Thomas Meyer, Ivan Varzinczak, PTL: A Propositional Typicality Logic in 13th European Conference on Logics in Artificial Intelligence (JELIA’12),Springer, pp. 107-119, 2012.

2011 Katarina Britz, Thomas Meyer, Ivan Varzinczak, Semantic Foundation for Preferential Description Logics in Australasian Joint Conference on Artificial Intelligence (AI’11),Springer, pp. 491-500, 2011.

2011 Thomas Meyer, Ivan Varzinczak, A Logic-Based Perspective on Agent Reconfiguration: Preliminary Report in IEEE Conference Africon (Africon’11),2011.

2011 Kodylan Moodley, Thomas Meyer, Ivan Varzinczak, Root Justifications for Ontology Repair in International Conference on Web Reasoning and Rule Systems (RR’11),Springer, pp. 275-280, 2011.

2011 Katarina Britz, Thomas Meyer, Ivan Varzinczak, Concept Model Semantics for DL Preferential Reasoning in International Workshop on Description Logics (DL’11),2011.

2010 Katarina Britz, Johannes Heidema, Ivan Varzinczak, Pertinent Reasoning in International Workshop on Nonmonotonic Reasoning (NMR’10),2010.

2010 Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann, A Contraction Core for Horn Belief Change: Preliminary Report in International Workshop on Nonmonotonic Reasoning (NMR’10),2010.

2010 Gavin Rens, Ivan Varzinczak, Thomas Meyer, Alexander Ferrein, A Logic for Reasoning about Actions and Explicit Observations in Australasian Joint Conference on Artificial Intelligence (AI’10),Springer, pp. 395-404, 2010.

2010 Enrico Franconi, Thomas Meyer, Ivan Varzinczak, Semantic Diff as the Basis for Knowledge Base Versioning in International Workshop on Nonmonotonic Reasoning (NMR’10),2010.

2010 Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann, Horn Belief Change: A Contraction Core in 19th European Conference on Artificial Intelligence (ECAI’10),IOS Press, pp. 1065-1066, 2010.

2009 Richard Booth, Thomas Meyer, Ivan Varzinczak, Next Steps in Propositional Horn Contraction in 21st International Joint Conference on Artificial Intelligence (IJCAI’09),AAAI Press, pp. 702-707, 2009.

2009 Richard Booth, Thomas Meyer, Ivan Varzinczak, Next Steps in Propositional Horn Contraction in International Symposium on Formalizations of Commonsense Reasoning (Commonsense’09),2009.

2009 Ivan Varzinczak, How Do I Revise My Agent’s Action Theory? in International Symposium on Formalizations of Commonsense Reasoning (Commonsense’09),2009.

2009 Ivan Varzinczak, On the Revision of Action Laws: an Algorithmic Approach in International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC’09),2009.

2008 Ivan Varzinczak, Action Theory Contraction and Minimal Change in 11th International Conference on Principles of Knowledge Representation and Reasoning (KR’08),AAAI Press, pp. 651-661, 2008.

2008 Ivan Varzinczak, Action Theory Revision in Dynamic Logic in 12th International Workshop on Non-Monotonic Reasoning (NMR’08),2008.

2006 Andreas Herzig, Ivan Varzinczak, Elaborating Domain Descriptions in 17th European Conference on Artificial Intelligence (ECAI’06),IOS, pp. 397-401, 2006.

2006 Andreas Herzig, Ivan Varzinczak, A Modularity Approach for a Fragment of ALC in European Conference on Logic in Artificial Intelligence (JELIA’06),Springer, pp. 216-228, 2006.

2006 Andreas Herzig, Laurent Perrussel, Ivan Varzinczak, Elaborating Domain Descriptions in International Workshop on Non-Monotonic Reasoning (NMR’06),2006.

2005 Andreas Herzig, Ivan Varzinczak, Cohesion, coupling and the meta-theory of actions in 19th International Joint Conference on Artificial Intelligence (IJCAI’05),Professional Book Center, pp. 442-447, 2005.

2004 Andreas Herzig, Ivan Varzinczak, Domain Descriptions Should Be Modular in 16th European Conference on Artificial Intelligence (ECAI’04),IOS, pp. 348-352, 2004.

2004 Andreas Herzig, Ivan Varzinczak, Domain descriptions should be modular in 10th International Workshop on Non-Monotonic Reasoning (NMR’04), , pp. 204-211, 2004.

2004 Andreas Herzig, Ivan Varzinczak, On the Modularity of Theories in Advances in Modal Logic (AiML’04),King’s College Publications, pp. 93-109, 2004.

2003 R Demolombe, Andreas Herzig, Ivan Varzinczak, Regression in Modal Logic in Methods for Modalities (M4M’03),2003.

2002 Marcos Castilho, Andreas Herzig, Ivan Varzinczak, It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation in International Workshop on Nonmonotonic Reasoning (NMR’02),pp. 343-348, 2002.

Article(s) de conférence(s) nationale(s)

2012 Kodylan Moodley, Thomas Meyer, Ivan Varzinczak, A Defeasible Reasoning Approach for Description Logic Ontologies in Annual Conference of the South African Institute for Computer Scientists and Information Technologists (SAICSIT),ACM, pp. 69-78, 2012.

Actes de conférence(s)

2017 Richard Booth, Giovanni Casini, Ivan Varzinczak, CEUR Workshop Proceedings, 2017.

2016 Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak, CEUR Workshop Proceedings, 2016.

2015 Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak, CEUR Workshop Proceedings, 2015.

2014 Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak, CEUR Workshop Proceedings, 2014.

2014 Kenneth Baclawski, Tudor Groza, Torsten Hahmann, Ivan Varzinczak, CEUR Workshop Proceedings, 2014.

2012 Jos Lehmann, Ivan Varzinczak, Alan Bundy, Special Issue on “Reasoning with Context in the Semantic Web” Elsevier, 2012.

Chapitre(s) d'ouvrage(s)

2013 Richard Booth, Thomas Meyer, Ivan Varzinczak, A Propositional Typicality Logic for Extending Rational Consequence in Trends in Belief Revision and Argumentation Dynamics,King’s College Publications, 2013.

Thèse(s) de doctorat

2006 Ivan Varzinczak, What is a good domain description? Evaluating and revising action theories in dynamic logic Université Paul Sabatier, Toulouse, 2006.

Rapport(s) de DEA / Master recherche

2002 Ivan Varzinczak, Causalidade e dependência em raciocínio sobre ações Universidade Federal do Paraná, Curitiba, 2002.