It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. - Marcos A. Castilho; Andreas Herzig; Ivan José Varzinczak (NMR, 2002)

Regression in Modal Logic. - Robert Demolombe; Andreas Herzig; Ivan Varzinczak (J. Appl. Non Class. Logics, 2003)

On the Modularity of Theories. - Andreas Herzig; Ivan José Varzinczak (Advances in Modal Logic, 2004)

Domain Descriptions Should Be Modular. - Andreas Herzig; Ivan José Varzinczak (ECAI, 2004)

Cohesion, coupling and the meta-theory of actions. - Andreas Herzig; Ivan Varzinczak (IJCAI, 2005)

Elaborating Domain Descriptions. - Andreas Herzig; Laurent Perrussel; Ivan Varzinczak (ECAI, 2006)

A Modularity Approach for a Fragment of ALC. - Andreas Herzig; Ivan Varzinczak (JELIA, 2006)

What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic. - Ivan Varzinczak (2006)

Metatheory of actions: Beyond consistency. - Andreas Herzig; Ivan José Varzinczak (Artif. Intell., 2007)

Action Theory Erasure and Minimal Change. - Ivan José Varzinczak (KR, 2008)

Action Theory Evolution - Ivan José Varzinczak (CoRR, 2008)

Next Steps in Propositional Horn Contraction. - Richard Booth 001; Thomas Andreas Meyer; Ivan José Varzinczak (IJCAI, 2009)

A Logic for Reasoning about Actions and Explicit Observations. - Gavin Rens; Ivan Varzinczak; Thomas Meyer 002; Alexander Ferrein (Australasian Conference on Artificial Intelligence, 2010)

Horn Belief Change: A Contraction Core. - Richard Booth 001; Thomas Andreas Meyer; Ivan Varzinczak; Renata Wassermann (ECAI, 2010)

On Action Theory Change. - Ivan José Varzinczak (J. Artif. Intell. Res., 2010)

A logic-based perspective on agent reconfiguration: Preliminary report. - Thomas Meyer 002; Ivan Varzinczak (AFRICON, 2011)

Semantic Foundation for Preferential Description Logics. - Katarina Britz; Thomas Meyer 002; Ivan Varzinczak (Australasian Conference on Artificial Intelligence, 2011)

Concept Model Semantics for DL Preferential Reasoning. - Arina Britz; Thomas Meyer 002; Ivan Varzinczak (Description Logics, 2011)

Root Justifications for Ontology Repair. - Kodylan Moodley; Thomas Meyer 002; Ivan José Varzinczak (RR, 2011)

Preferential Reasoning for Modal Logics. - Katarina Britz; Thomas Meyer 002; Ivan Varzinczak (M4M/LAMAS, 2011)

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. - Richard Booth 001; Thomas Andreas Meyer; Ivan Varzinczak; Renata Wassermann (J. Artif. Intell. Res., 2011)

Constrained Consequence. - Katarina Britz; Johannes Heidema; Ivan Varzinczak (Logica Universalis, 2011)

Normal Modal Preferential Consequence. - Katarina Britz; Thomas Meyer 002; Ivan Varzinczak (Australasian Conference on Artificial Intelligence, 2012)

A Protege Plug-in for Defeasible Reasoning. - Kodylan Moodley; Thomas Meyer 002; Ivan Varzinczak (Description Logics, 2012)

PTL: A Propositional Typicality Logic. - Richard Booth 001; Thomas Meyer 002; Ivan Varzinczak (JELIA, 2012)

A defeasible reasoning approach for description logic ontologies. - Kodylan Moodley; Thomas Meyer 002; Ivan José Varzinczak (SAICSIT, 2012)

Reasoning with Context in the Semantic Web. - Jos Lehmann; Ivan José Varzinczak; Alan Bundy (J. Web Semant., 2012)

Preferential Role Restrictions. - Arina Britz; Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (Description Logics, 2013)

Towards Practical Defeasible Reasoning for Description Logics. - Giovanni Casini; Thomas Meyer 002; Kodylan Moodley; Ivan Varzinczak (Description Logics, 2013)

Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. - Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak; Kodylan Moodley (Description Logics, 2013)

Defeasible Modalities. - Katarina Britz; Ivan Varzinczak (TARK, 2013)

Towards a Logic of Dilation. - Arina Britz; Ivan Varzinczak (PRUV, 2014)

What Does Entailment for PTL Mean? - Richard Booth 001; Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (AAAI Spring Symposia, 2015)

On the Entailment Problem for a Logic of Typicality. - Richard Booth 001; Giovanni Casini; Thomas Andreas Meyer; Ivan Varzinczak (IJCAI, 2015)

Introducing Defeasibility into OWL Ontologies. - Giovanni Casini; Thomas Andreas Meyer; Kodylan Moodley; Uli Sattler; Ivan Varzinczak (ISWC (2), 2015)

Introducing Role Defeasibility in Description Logics. - Katarina Britz; Ivan Varzinczak (JELIA, 2016)

Context-based defeasible subsumption for dSROIQ. - Katarina Britz; Ivan Varzinczak (COMMONSENSE, 2017)

Towards Defeasible SROIQ. - Katarina Britz; Ivan Varzinczak (Description Logics, 2017)

Rationality and Context in Defeasible Subsumption. - Katarina Britz; Ivan Varzinczak (FoIKS, 2018)

A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. - Giovanni Casini; Eduardo Fermé; Thomas Meyer 002; Ivan Varzinczak (KR, 2018)

Cardinality Restrictions Within Description Logic Connection Calculi. - Fred Freitas; Ivan Varzinczak (RuleML+RR, 2018)

From KLM-style conditionals to defeasible modalities, and back. - Katarina Britz; Ivan Varzinczak (J. Appl. Non Class. Logics, 2018)

Preferential Accessibility and Preferred Worlds. - Katarina Britz; Ivan Varzinczak (J. Log. Lang. Inf., 2018)

A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies. - Ivan Varzinczak (Logica Universalis, 2018)

Summary of main contributions to the field and some general perspectives on future research. - Ivan Varzinczak (2019)

A KLM Perspective on Defeasible Reasoning for Description Logics. - Katarina Britz; Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (Description Logic, Theory Combination, and All That, 2019)

Reasoning with Contextual Defeasible ALC. - Katarina Britz; Ivan Varzinczak (Description Logics, 2019)

Contextual Rational Closure for Defeasible ALC (Extended Abstract). - Katarina Britz; Ivan Varzinczak (Description Logics, 2019)

Simple Conditionals with Constrained Right Weakening. - Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (IJCAI, 2019)

Taking Defeasible Entailment Beyond Rational Closure. - Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (JELIA, 2019)

Preferential Tableaux for Contextual Defeasible ALC. - Katarina Britz; Ivan Varzinczak (TABLEAUX, 2019)

On rational entailment for Propositional Typicality Logic. - Richard Booth 001; Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (Artif. Intell., 2019)

Contextual rational closure for defeasible ALC. - Katarina Britz; Ivan Varzinczak (Ann. Math. Artif. Intell., 2019)

Theoretical Foundations of Defeasible Description Logics. - Katarina Britz; Giovanni Casini; Thomas Meyer 002; Kody Moodley; Uli Sattler; Ivan Varzinczak (CoRR, 2019)

LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability. - Cleyton M. O. Rodrigues; Eunice Palmeira da Silva; Fred Freitas; Italo Jose da Silva Oliveira; Ivan Varzinczak (FLAP, 2019)

Editorial: Defeasible and Ampliative Reasoning. - Richard Booth 001; Giovanni Casini; Szymon Klarman; Gilles Richard; Ivan Varzinczak (Int. J. Approx. Reason., 2019)

Model-based Merging of Open-Domain Ontologies. - Zied Bouraoui; Sébastien Konieczny; Truong-Thanh Ma; Ivan Varzinczak (ICTAI, 2020)

Rational Defeasible Belief Change. - Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (KR, 2020)

An Exercise in a Non-classical Semantics for Reasoning with Incompleteness and Inconsistencies. - Ivan Varzinczak (SACAIR, 2020)

On the Decidability of a Fragment of preferential LTL. - Anasse Chafik; Fahima Cheikh Alili; Jean-François Condotta; Ivan Varzinczak (TIME, 2020)

Defeasible Description Logics. - Ivan Varzinczak (Künstliche Intell., 2020)

Conditional Inference under Disjunctive Rationality. - Richard Booth 001; Ivan Varzinczak (AAAI, 2021)

Contextual Conditional Reasoning. - Giovanni Casini; Thomas Andreas Meyer; Ivan Varzinczak (AAAI, 2021)

A Connection Method for a Defeasible Extension of ALC. - Renan Fernandes; Fred Freitas; Ivan Varzinczak (Description Logics, 2021)

A One-Pass Tree-Shaped Tableau for Defeasible LTL. - Anasse Chafik; Fahima Cheikh Alili; Jean-François Condotta; Ivan Varzinczak (TIME, 2021)

Principles of KLM-style Defeasible Description Logics. - Katarina Britz; Giovanni Casini; Thomas Meyer 002; Kody Moodley; Uli Sattler; Ivan Varzinczak (ACM Trans. Comput. Log., 2021)

Region-Based Merging of Open-Domain Terminological Knowledge. - Zied Bouraoui; Sébastien Konieczny; Thanh Ma; Nicolas Schwind; Ivan Varzinczak (KR, 2022)

Tree Edit Distance Based Ontology Merging Evaluation Framework. - Zied Bouraoui; Sébastien Konieczny; Thanh Ma; Ivan Varzinczak (KSEM (2), 2022)

Situated Conditionals - A Brief Introduction. - Giovanni Casini; Thomas Andreas Meyer; Ivan Varzinczak (NMR, 2022)

KLM-Style Defeasibility for Restricted First-Order Logic. - Giovanni Casini; Thomas Meyer 002; Guy Paterson-Jones; Ivan Varzinczak (RuleML+RR, 2022)

A connection method for a defeasible extension of ALCH. - Renan Fernandes; Fred Freitas; Ivan Varzinczak; Pedro Porfírio Muniz Farias (CoRR, 2023)

Defeasible linear temporal logic. - Anasse Chafik; Fahima Cheikh Alili; Jean-François Condotta; Ivan Varzinczak (J. Appl. Non Class. Logics, 2023)

Situated conditional reasoning. - Giovanni Casini; Thomas Meyer 002; Ivan Varzinczak (Artif. Intell., 2023)

PolyCoP: A Connection Prover For (Possibly) Any Logical Language. - Renan Fernandes; Fred Freitas; Ivan Varzinczak; Pedro P. M. Farias (RuleML+RR (Companion), 2024)

Extending Defeasibility for Propositional Standpoint Logics. - Nicholas Leisegang; Thomas Andreas Meyer; Ivan Varzinczak (JELIA (2), 2025)