Publications

International journals

2019 Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak, On Rational Entailment for Propositional Typicality Logic in Artificial Intelligence,2019.

2019 Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak, Editorial: Defeasible and Ampliative Reasoning in International Journal of Approximate Reasoning,vol. 112, n° C, pp. 1-3, 2019.

2019 Cleyton Rodrigues, Eunice Palmeira, Fred Freitas, Italo Oliveira, Ivan Varzinczak, LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability in IfCoLog Journal of Logics and their Applications (IfCoLog Journal of Logics and their Applications),vol. 6, n° 5, pp. 755-780, 2019.

2019 Katarina Britz, Ivan Varzinczak, Contextual rational closure for defeasible ALC in Annals of Mathematics and Artificial Intelligence (AMAI),2019.

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, pp. 297-325, 2018.

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.

2012 Jos Lehmann, Ivan Varzinczak, Alan Bundy, Reasoning with Context in the Semantic Web in Journal of Web Semantics (JWS),vol. 12, 2012.

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.

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.

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

International conferences

2022 Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak, Region-Based Merging of Open-Domain Terminological Knowledge (extended version including the proofs of propositions) in 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022,2022.

2021 Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, A One-Pass Tree-Shaped Tableau for Defeasible LTL in 28th International Symposium on Temporal Representation and Reasoning (TIME 2021),Schloss Dagstuhl -- Leibniz-Zentrum, pp. 16:1–16:18, 2021.

2020 Zied Bouraoui, Sébastien Konieczny, Truong-Thanh Ma, Ivan Varzinczak, Model-based Merging of Open-Domain Ontologies in 32th International Conference on Tools with Artificial Intelligence (ICTAI2020),2020.

2020 Richard Booth, Ivan Varzinczak, Towards Conditional Inference under Disjunctive Rationality in 18th International Workshop on Nonmonotonic Reasoning (NMR 2020),2020.

2020 Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Rational Defeasible Belief Change in 17th International Conference on Principles of Knowledge Representation and Reasoning (KR'20),2020.

2020 Ivan Varzinczak, An exercise in a non-classical semantics for reasoning with incompleteness and inconsistencies in Proceedings of the Southern African Conference for AI Research (SACAIR 2020),Springer, 2020.

2019 Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Simple Conditionals with Constrained Right Weakening in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI),AAAI Press, pp. 1632-1638, 2019.

2019 Katarina Britz, Ivan Varzinczak, Reasoning with Contextual Defeasible ALC in Proceedings of the 32nd International Workshop on Description Logics (DL),CEUR, 2019.

2019 Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Taking Defeasible Entailment Beyond Rational Closure in Proceedings of the 16th European Conference on Logic in Artificial Intelligence (JELIA),Springer, pp. 182-197, 2019.

2019 Katarina Britz, Ivan Varzinczak, Preferential Tableaux for Contextual Defeasible ALC in Proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX),Springer, 2019.

2019 Ivan Varzinczak, Fahima Cheikh, Jean-François Condotta, Anasse Chafik, On the Decidability of a Fragment of preferential LTL in International Symposium on Temporal Representation and Reasoning (TIME),pp. 19:1--19:19, 2019.

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'18),AAAI Press, 2018.

2018 Fred Freitas, Ivan Varzinczak, Cardinality Restrictions Within Description Logic Connection Calculi in Second International Joint Conference on Rules and Reasoning (RuleML+RR),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.

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.

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, Preferential Modalities Revisited in 16th International Workshop on Nonmonotonic Reasoning (NMR'16),2016.

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

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 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness (PRUV'14),pp. 59-73, 2014.

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

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.

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.

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.

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

National conferences

2022 Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak, Region-Based Merging of Open-Domain Terminological Knowledge in 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022},International Joint Conferences on Artificial Intelligence Organization, pp. 81-90, 2022.

2022 Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Ivan Varzinczak, Tree Edit Distance Based Ontology Merging Evaluation Framework in KSEM 2022,Springer International Publishing, vol. 13369, pp. 383-395, 2022.

Book chapters

2019 Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak, A KLM Perspective on Defeasible Reasoning for Description Logics in Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday,vol. 11560, Springer, 2019.

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.