Ivan Varzinczak

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 34

Top Topics

Description Logics

Reasoning Tasks

Defeasible Reasoning

Top Venues

Description Logics

Publications

Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Situated conditional reasoning. Artif. Intell. 319 (2023)
Renan Fernandes, Fred Freitas, Ivan Varzinczak
A connection method for a defeasible extension of ALCH. CoRR (2023)
Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
Defeasible linear temporal logic. J. Appl. Non Class. Logics 33 (1) (2023)
Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak
KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR (2022)
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
Situated Conditionals - A Brief Introduction. NMR (2022)
Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak
Region-Based Merging of Open-Domain Terminological Knowledge. CoRR (2022)
Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak
Region-Based Merging of Open-Domain Terminological Knowledge. KR (2022)
Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Ivan Varzinczak
Tree Edit Distance Based Ontology Merging Evaluation Framework. KSEM (2) (2022)
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
Situated Conditional Reasoning. CoRR (2021)
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
Contextual Conditional Reasoning. AAAI (2021)
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) (2021)
Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
A One-Pass Tree-Shaped Tableau for Defeasible LTL. TIME (2021)
Richard Booth, Ivan Varzinczak
Conditional Inference under Disjunctive Rationality. AAAI (2021)
Renan Fernandes, Fred Freitas, Ivan Varzinczak
A Connection Method for a Defeasible Extension of ALC. Description Logics (2021)
Zied Bouraoui, Sébastien Konieczny, Truong-Thanh Ma, Ivan Varzinczak
Model-based Merging of Open-Domain Ontologies. ICTAI (2020)
Ivan Varzinczak
An Exercise in a Non-classical Semantics for Reasoning with Incompleteness and Inconsistencies. SACAIR (2020)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Rational Defeasible Belief Change. KR (2020)
Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
On the Decidability of a Fragment of preferential LTL. TIME (2020)
Ivan Varzinczak
Defeasible Description Logics. Künstliche Intell. 34 (4) (2020)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Taking Defeasible Entailment Beyond Rational Closure. JELIA (2019)
Katarina Britz, Ivan Varzinczak
Reasoning with Contextual Defeasible ALC. Description Logics (2019)
Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
Theoretical Foundations of Defeasible Description Logics. CoRR (2019)
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) (2019)
Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
Editorial: Defeasible and Ampliative Reasoning. Int. J. Approx. Reason. 112 (2019)
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
On rational entailment for Propositional Typicality Logic. Artif. Intell. 277 (2019)
Katarina Britz, Ivan Varzinczak
Contextual Rational Closure for Defeasible ALC (Extended Abstract). Description Logics (2019)
Katarina Britz, Ivan Varzinczak
Contextual rational closure for defeasible ALC. Ann. Math. Artif. Intell. 87 (1-2) (2019)
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)
Katarina Britz, Ivan Varzinczak
. TABLEAUX (2019)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Simple Conditionals with Constrained Right Weakening. IJCAI (2019)
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
On Rational Entailment for Propositional Typicality Logic. CoRR (2018)
Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. KR (2018)
Ivan Varzinczak
A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies. Logica Universalis 12 (3-4) (2018)
Fred Freitas, Ivan Varzinczak
Cardinality Restrictions Within Description Logic Connection Calculi. RuleML+RR (2018)
Thomas Meyer, Ivan Varzinczak
A logic-based perspective on agent reconfiguration: Preliminary report. AFRICON (2011)