default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIvan Varzinczak
Ivan José Varzinczak
Person information
- affiliation: Université Sorbonne Paris Nord, France
- affiliation (former): Université Paris 8, France
- affiliation (former): Université d'Artois, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2019
[b2]Ivan Varzinczak:
Summary of main contributions to the field and some general perspectives on future research. Artois University, Arras, France, 2019- 2006
- [b1]Ivan Varzinczak:
What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic. Paul Sabatier University, Toulouse, France, 2006
Journal Articles
- 2023
- [j17]Giovanni Casini
, Thomas Meyer, Ivan Varzinczak:
Situated conditional reasoning. Artif. Intell. 319: 103917 (2023) - [j16]Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak:
Defeasible linear temporal logic. J. Appl. Non Class. Logics 33(1): 1-51 (2023) - 2021
- [j15]Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak:
Principles of KLM-style Defeasible Description Logics. ACM Trans. Comput. Log. 22(1): 1:1-1:46 (2021) - 2020
- [j14]Ivan Varzinczak:
Defeasible Description Logics. Künstliche Intell. 34(4): 539-542 (2020) - 2019
- [j13]Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
On rational entailment for Propositional Typicality Logic. Artif. Intell. 277 (2019) - [j12]Katarina Britz, Ivan Varzinczak:
Contextual rational closure for defeasible ALC. Ann. Math. Artif. Intell. 87(1-2): 83-108 (2019) - [j11]Cleyton M. O. Rodrigues, Eunice Palmeira da Silva, Fred Freitas, Italo Jose da Silva Oliveira, Ivan Varzinczak:
LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability. FLAP 6(5): 755-780 (2019) - [j10]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
Editorial: Defeasible and Ampliative Reasoning. Int. J. Approx. Reason. 112: 1-3 (2019) - 2018
- [j9]Katarina Britz, Ivan Varzinczak:
From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non Class. Logics 28(1): 92-121 (2018) - [j8]Katarina Britz, Ivan Varzinczak:
Preferential Accessibility and Preferred Worlds. J. Log. Lang. Inf. 27(2): 133-155 (2018) - [j7]Ivan Varzinczak:
A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies. Logica Universalis 12(3-4): 297-325 (2018) - 2012
- [j6]Jos Lehmann, Ivan José Varzinczak, Alan Bundy:
Reasoning with Context in the Semantic Web. J. Web Semant. 12: 1-2 (2012) - 2011
- [j5]Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. 42: 31-53 (2011) - [j4]Katarina Britz, Johannes Heidema, Ivan Varzinczak:
Constrained Consequence. Logica Universalis 5(2): 327-350 (2011) - 2010
- [j3]Ivan José Varzinczak:
On Action Theory Change. J. Artif. Intell. Res. 37: 189-246 (2010) - 2007
- [j2]Andreas Herzig, Ivan José Varzinczak:
Metatheory of actions: Beyond consistency. Artif. Intell. 171(16-17): 951-984 (2007) - 2003
- [j1]Robert Demolombe, Andreas Herzig, Ivan Varzinczak:
Regression in Modal Logic. J. Appl. Non Class. Logics 13(2): 165-185 (2003)
Conference and Workshop Papers
- 2024
- [c53]Renan Fernandes, Fred Freitas, Ivan Varzinczak, Pedro P. M. Farias:
PolyCoP: A Connection Prover For (Possibly) Any Logical Language. RuleML+RR (Companion) 2024 - 2022
- [c52]Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak:
Region-Based Merging of Open-Domain Terminological Knowledge. KR 2022 - [c51]Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Ivan Varzinczak:
Tree Edit Distance Based Ontology Merging Evaluation Framework. KSEM (2) 2022: 383-395 - [c50]Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Situated Conditionals - A Brief Introduction. NMR 2022: 151-154 - [c49]Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak:
KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR 2022: 81-94 - 2021
- [c48]Richard Booth, Ivan Varzinczak:
Conditional Inference under Disjunctive Rationality. AAAI 2021: 6227-6234 - [c47]Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Contextual Conditional Reasoning. AAAI 2021: 6254-6261 - [c46]Renan Fernandes, Fred Freitas, Ivan Varzinczak:
A Connection Method for a Defeasible Extension of ALC. Description Logics 2021 - [c45]Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak:
A One-Pass Tree-Shaped Tableau for Defeasible LTL. TIME 2021: 16:1-16:18 - 2020
- [c44]Zied Bouraoui, Sébastien Konieczny, Truong-Thanh Ma, Ivan Varzinczak:
Model-based Merging of Open-Domain Ontologies. ICTAI 2020: 29-34 - [c43]Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Rational Defeasible Belief Change. KR 2020: 213-222 - [c42]Ivan Varzinczak:
An Exercise in a Non-classical Semantics for Reasoning with Incompleteness and Inconsistencies. SACAIR 2020: 253-264 - [c41]Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak:
On the Decidability of a Fragment of preferential LTL. TIME 2020: 19:1-19:19 - 2019
- [c40]Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
A KLM Perspective on Defeasible Reasoning for Description Logics. Description Logic, Theory Combination, and All That 2019: 147-173 - [c39]Katarina Britz, Ivan Varzinczak:
Reasoning with Contextual Defeasible ALC. Description Logics 2019 - [c38]Katarina Britz, Ivan Varzinczak:
Contextual Rational Closure for Defeasible ALC (Extended Abstract). Description Logics 2019 - [c37]Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Simple Conditionals with Constrained Right Weakening. IJCAI 2019: 1632-1638 - [c36]Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Taking Defeasible Entailment Beyond Rational Closure. JELIA 2019: 182-197 - [c35]Katarina Britz, Ivan Varzinczak:
Preferential Tableaux for Contextual Defeasible ALC. TABLEAUX 2019: 39-57 - 2018
- [c34]Katarina Britz, Ivan Varzinczak:
Rationality and Context in Defeasible Subsumption. FoIKS 2018: 114-132 - [c33]Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak:
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. KR 2018: 220-229 - [c32]Fred Freitas, Ivan Varzinczak:
Cardinality Restrictions Within Description Logic Connection Calculi. RuleML+RR 2018: 65-80 - 2017
- [c31]Katarina Britz, Ivan Varzinczak:
Context-based defeasible subsumption for dSROIQ. COMMONSENSE 2017 - [c30]Katarina Britz, Ivan Varzinczak:
Towards Defeasible SROIQ. Description Logics 2017 - 2016
- [c29]Katarina Britz, Ivan Varzinczak:
Introducing Role Defeasibility in Description Logics. JELIA 2016: 174-189 - 2015
- [c28]Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
What Does Entailment for PTL Mean? AAAI Spring Symposia 2015 - [c27]Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
On the Entailment Problem for a Logic of Typicality. IJCAI 2015: 2805-2811 - [c26]Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak:
Introducing Defeasibility into OWL Ontologies. ISWC (2) 2015: 409-426 - 2014
- [c25]Arina Britz, Ivan Varzinczak:
Towards a Logic of Dilation. PRUV 2014: 59-73 - 2013
- [c24]Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Preferential Role Restrictions. Description Logics 2013: 93-106 - [c23]Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak:
Towards Practical Defeasible Reasoning for Description Logics. Description Logics 2013: 587-599 - [c22]Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Kodylan Moodley:
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. Description Logics 2013: 600-615 - [c21]Katarina Britz, Ivan Varzinczak:
Defeasible Modalities. TARK 2013 - 2012
- [c20]Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence 2012: 505-516 - [c19]Kodylan Moodley, Thomas Meyer, Ivan Varzinczak:
A Protege Plug-in for Defeasible Reasoning. Description Logics 2012 - [c18]Richard Booth, Thomas Meyer, Ivan Varzinczak:
PTL: A Propositional Typicality Logic. JELIA 2012: 107-119 - [c17]Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak:
A defeasible reasoning approach for description logic ontologies. SAICSIT 2012: 69-78 - 2011
- [c16]Thomas Meyer, Ivan Varzinczak:
A logic-based perspective on agent reconfiguration: Preliminary report. AFRICON 2011: 1-6 - [c15]Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence 2011: 491-500 - [c14]Arina Britz, Thomas Meyer, Ivan Varzinczak:
Concept Model Semantics for DL Preferential Reasoning. Description Logics 2011 - [c13]Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak:
Root Justifications for Ontology Repair. RR 2011: 275-280 - [c12]Katarina Britz, Thomas Meyer, Ivan Varzinczak:
Preferential Reasoning for Modal Logics. M4M/LAMAS 2011: 55-69 - 2010
- [c11]Gavin Rens, Ivan Varzinczak, Thomas Meyer, Alexander Ferrein:
A Logic for Reasoning about Actions and Explicit Observations. Australasian Conference on Artificial Intelligence 2010: 395-404 - [c10]Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann:
Horn Belief Change: A Contraction Core. ECAI 2010: 1065-1066 - 2009
- [c9]Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak:
Next Steps in Propositional Horn Contraction. IJCAI 2009: 702-707 - 2008
- [c8]Ivan José Varzinczak:
Action Theory Erasure and Minimal Change. KR 2008: 651-661 - 2006
- [c7]Andreas Herzig, Laurent Perrussel, Ivan Varzinczak:
Elaborating Domain Descriptions. ECAI 2006: 397-401 - [c6]Andreas Herzig, Ivan Varzinczak:
A Modularity Approach for a Fragment of ALC. JELIA 2006: 216-228 - 2005
- [c5]Andreas Herzig, Ivan Varzinczak:
Cohesion, coupling and the meta-theory of actions. IJCAI 2005: 442-447 - 2004
- [c4]Andreas Herzig, Ivan José Varzinczak:
On the Modularity of Theories. Advances in Modal Logic 2004: 93-109 - [c3]Andreas Herzig, Ivan José Varzinczak:
Domain Descriptions Should Be Modular. ECAI 2004: 348-352 - [c2]Andreas Herzig, Ivan Varzinczak:
Domain descriptions should be modular. NMR 2004: 204-211 - 2002
- [c1]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: 343-348
Editorship
- 2022
- [e7]Ivan Varzinczak:
Foundations of Information and Knowledge Systems - 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings. Lecture Notes in Computer Science 13388, Springer 2022, ISBN 978-3-031-11320-8 [contents] - [e6]Mantas Simkus, Ivan Varzinczak:
Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures. Lecture Notes in Computer Science 13100, Springer 2022, ISBN 978-3-030-95480-2 [contents] - 2017
- [e5]Richard Booth, Giovanni Casini, Ivan Varzinczak:
Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017. CEUR Workshop Proceedings 1872, CEUR-WS.org 2017 [contents] - 2016
- [e4]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands, August 29, 2016. CEUR Workshop Proceedings 1626, CEUR-WS.org 2016 [contents] - 2015
- [e3]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 27, 2015. CEUR Workshop Proceedings 1423, CEUR-WS.org 2015 [contents] - 2014
- [e2]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014. CEUR Workshop Proceedings 1212, CEUR-WS.org 2014 [contents] - [e1]Kenneth Baclawski, Tudor Groza, Torsten Hahmann, Ivan Varzinczak:
Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), Rio de Janeiro, Brazil, September 22, 2014. CEUR Workshop Proceedings 1248, CEUR-WS.org 2014 [contents]
Informal and Other Publications
- 2025
- [i11]Nicholas Leisegang, Thomas Andreas Meyer, Ivan Varzinczak:
Extending Defeasibility for Propositional Standpoint Logics. CoRR abs/2507.10133 (2025) - 2023
- [i10]Renan Fernandes, Fred Freitas, Ivan Varzinczak, Pedro Porfírio Muniz Farias:
A connection method for a defeasible extension of ALCH. CoRR abs/2306.09561 (2023) - 2022
- [i9]Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak:
Region-Based Merging of Open-Domain Terminological Knowledge. CoRR abs/2205.02660 (2022) - 2021
- [i8]Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Situated Conditional Reasoning. CoRR abs/2109.01552 (2021) - 2019
- [i7]Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak:
Theoretical Foundations of Defeasible Description Logics. CoRR abs/1904.07559 (2019) - 2018
- [i6]Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
On Rational Entailment for Propositional Typicality Logic. CoRR abs/1809.10946 (2018) - 2014
- [i5]Ivan José Varzinczak:
On Action Theory Change. CoRR abs/1401.3835 (2014) - [i4]Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR abs/1401.3902 (2014) - 2013
- [i3]Katarina Britz, Ivan Varzinczak:
Defeasible Modalities. CoRR abs/1310.6409 (2013) - 2008
- [i2]Ivan José Varzinczak:
Action Theory Evolution. CoRR abs/0811.1878 (2008) - 2006
- [i1]Andreas Herzig, Ivan Varzinczak:
Metatheory of actions: beyond consistency. CoRR abs/cs/0603034 (2006)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-08-23 04:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
