Publications

Articles de revues internationales

2018 Katarina Britz, Ivan Varzinczak, From KLM-Style Conditionals to Defeasible Modalities, and Back in Journal of Applied Non-Classical Logics (JANCL),vol. 28, n° 1, pp. 92-121, 2018.

2018 Katarina Britz, Ivan Varzinczak, Preferential Accessibility and Preferred Worlds in Journal of Logic, Language and Information (JoLLI),vol. 27, n° 2, pp. 133-155, 2018.

2018 Ivan Varzinczak, A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning over Ontologies in Logica Universalis,vol. 12, n° 3-4, Springer, pp. 297-325, novembre 2018. (This work was the recipient of the first Louis Couturat Logic Prize (France, 2018). It was then presented at the Universal Logic Contest at UNILOG 2018 in Vichy and subsequently won the first Universal Logic Prize.)

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, Thomas Meyer, Ivan Varzinczak, Preferential Reasoning for Modal Logics in Electronic Notes in Theoretical Computer Science (ENTCS),vol. 278, pp. 55-69, 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.

Articles de conférences internationales

2018 Fred Freitas, Ivan Varzinczak, Cardinality Restrictions Within Description Logic Connection Calculi in Second International Joint Conference on Rules and Reasoning (RuleML+RR),Springer, pp. 65-80, 2018.

2018 Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak, A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework in 16th International Conference on Principles of Knowledge Representation and Reasoning (KR) (KR 2018),AAAI Press, 2018.

2018 Katarina Britz, Ivan Varzinczak, Rationality and Context in Defeasible Subsumption in 10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS),Springer, pp. 114-132, 2018.

2017 Katarina Britz, Ivan Varzinczak, Context-based defeasible subsumption for dSROIQ in 13th 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.

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.

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

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

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

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 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 Thomas Meyer, Ivan Varzinczak, A Logic-Based Perspective on Agent Reconfiguration: Preliminary Report in IEEE Conference Africon (Africon’11),2011.

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 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 International Symposium on Formalizations of Commonsense Reasoning (Commonsense’09),2009.

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 Ivan Varzinczak, How Do I Revise My Agent’s Action Theory? in International Symposium on Formalizations of Commonsense Reasoning (Commonsense’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.

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.

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, 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.

Articles de workshops internationaux

2018 Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond in 17th International Workshop on Nonmonotonic Reasoning (NMR 2018),2018.

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

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

2014 Katarina Britz, Ivan Varzinczak, Towards a Logic of Dilation in 1st 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 26th International Workshop on Description Logics (DL’13),pp. 600-615, 2013.

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

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

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

2011 Katarina Britz, Thomas Meyer, Ivan Varzinczak, Concept Model Semantics for DL Preferential Reasoning in 24th 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 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, A Contraction Core for Horn Belief Change: Preliminary Report in International Workshop on Nonmonotonic Reasoning (NMR’10),2010.

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 Revision in Dynamic Logic in 12th International Workshop on Non-Monotonic Reasoning (NMR’08),2008.

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

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

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.

Articles de conférences nationales

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.

Éditions d'actes de conférences

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 Kenneth Baclawski, Tudor Groza, Torsten Hahmann, Ivan Varzinczak, CEUR Workshop Proceedings, 2014.

2014 Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, 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.

Chapitres d'ouvrages

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èses de doctorat

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

Rapports de DEA / Master recherche

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