Ivan Varzinczak

81 papers A* 8A 2B 9C 2Journal 25Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Extending Defeasibility for Propositional Standpoint Logics. JELIA (2) Nicholas Leisegang, Thomas Andreas Meyer, Ivan Varzinczak
2025	J	`jnl`	Extending Defeasibility for Propositional Standpoint Logics. CoRR Nicholas Leisegang, Thomas Andreas Meyer, Ivan Varzinczak
2025	J	`jnl`	On the disjunctive rational closure of a conditional knowledge base. Artif. Intell. Richard Booth, Ivan Varzinczak
2025	J	`jnl`	Preface. Ann. Math. Artif. Intell. Marc Gyssens, Ivan Varzinczak
2024	—	`conf`	PolyCoP: A Connection Prover For (Possibly) Any Logical Language. RuleML+RR (Companion) Renan Fernandes, Fred Freitas, Ivan Varzinczak, Pedro P. M. Farias
2023	J	`jnl`	A connection method for a defeasible extension of ALCH. CoRR Renan Fernandes, Fred Freitas, Ivan Varzinczak, Pedro Porfírio Muniz Farias
2023	J	`jnl`	Defeasible linear temporal logic. J. Appl. Non Class. Logics Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
2023	J	`jnl`	Situated conditional reasoning. Artif. Intell. Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2022	—	`ed.`	Foundations of Information and Knowledge Systems - 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings FoIKS Ivan Varzinczak
2022	B	`conf`	KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak
2022	—	`ed.`	Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures RW Mantas Simkus, Ivan Varzinczak
2022	A*	`conf`	Region-Based Merging of Open-Domain Terminological Knowledge. KR Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak
2022	J	`jnl`	Region-Based Merging of Open-Domain Terminological Knowledge. CoRR Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak
2022	—	`conf`	Situated Conditionals - A Brief Introduction. NMR Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2022	—	`conf`	Tree Edit Distance Based Ontology Merging Evaluation Framework. KSEM (2) Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Ivan Varzinczak
2021	—	`conf`	A Connection Method for a Defeasible Extension of ALC. Description Logics Renan Fernandes, Fred Freitas, Ivan Varzinczak
2021	C	`conf`	A One-Pass Tree-Shaped Tableau for Defeasible LTL. TIME Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
2021	A*	`conf`	Conditional Inference under Disjunctive Rationality. AAAI Richard Booth, Ivan Varzinczak
2021	A*	`conf`	Contextual Conditional Reasoning. AAAI Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2021	J	`jnl`	Principles of KLM-style Defeasible Description Logics. ACM Trans. Comput. Log. Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2021	J	`jnl`	Situated Conditional Reasoning. CoRR Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2020	—	`conf`	An Exercise in a Non-classical Semantics for Reasoning with Incompleteness and Inconsistencies. SACAIR Ivan Varzinczak
2020	J	`jnl`	Defeasible Description Logics. Künstliche Intell. Ivan Varzinczak
2020	B	`conf`	Model-based Merging of Open-Domain Ontologies. ICTAI Zied Bouraoui, Sébastien Konieczny, Truong-Thanh Ma, Ivan Varzinczak
2020	C	`conf`	On the Decidability of a Fragment of preferential LTL. TIME Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
2020	A*	`conf`	Rational Defeasible Belief Change. KR Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	—	`conf`	A KLM Perspective on Defeasible Reasoning for Description Logics. Description Logic, Theory Combination, and All That Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	—	`conf`	Contextual Rational Closure for Defeasible ALC (Extended Abstract). Description Logics Katarina Britz, Ivan Varzinczak
2019	J	`jnl`	Contextual rational closure for defeasible ALC. Ann. Math. Artif. Intell. Katarina Britz, Ivan Varzinczak
2019	J	`jnl`	Editorial: Defeasible and Ampliative Reasoning. Int. J. Approx. Reason. Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
2019	J	`jnl`	LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability. FLAP Cleyton M. O. Rodrigues, Eunice Palmeira da Silva, Fred Freitas, Italo Jose da Silva Oliveira, Ivan Varzinczak
2019	J	`jnl`	On rational entailment for Propositional Typicality Logic. Artif. Intell. Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	B	`conf`	Preferential Tableaux for Contextual Defeasible TABLEAUX Katarina Britz, Ivan Varzinczak
2019	—	`conf`	Reasoning with Contextual Defeasible ALC. Description Logics Katarina Britz, Ivan Varzinczak
2019	A*	`conf`	Simple Conditionals with Constrained Right Weakening. IJCAI Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	—	`book`	Summary of main contributions to the field and some general perspectives on future research. Ivan Varzinczak
2019	B	`conf`	Taking Defeasible Entailment Beyond Rational Closure. JELIA Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	J	`jnl`	Theoretical Foundations of Defeasible Description Logics. CoRR Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2018	J	`jnl`	A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies. Logica Universalis Ivan Varzinczak
2018	A*	`conf`	A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. KR Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak
2018	B	`conf`	Cardinality Restrictions Within Description Logic Connection Calculi. RuleML+RR Fred Freitas, Ivan Varzinczak
2018	J	`jnl`	From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non Class. Logics Katarina Britz, Ivan Varzinczak
2018	J	`jnl`	On Rational Entailment for Propositional Typicality Logic. CoRR Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2018	J	`jnl`	Preferential Accessibility and Preferred Worlds. J. Log. Lang. Inf. Katarina Britz, Ivan Varzinczak
2018	—	`conf`	Rationality and Context in Defeasible Subsumption. FoIKS Katarina Britz, Ivan Varzinczak
2017	—	`conf`	Context-based defeasible subsumption for dSROIQ. COMMONSENSE Katarina Britz, Ivan Varzinczak
2017	—	`ed.`	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. DARe@LPNMR Richard Booth, Giovanni Casini, Ivan Varzinczak
2017	—	`conf`	Towards Defeasible SROIQ. Description Logics Katarina Britz, Ivan Varzinczak
2016	B	`conf`	Introducing Role Defeasibility in Description Logics. JELIA Katarina Britz, Ivan Varzinczak
2016	—	`ed.`	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. DARe@ECAI Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
2015	—	`conf`	Introducing Defeasibility into OWL Ontologies. ISWC (2) Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak
2015	A*	`conf`	On the Entailment Problem for a Logic of Typicality. IJCAI Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2015	—	`ed.`	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. DARe@IJCAI Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
2015	—	`conf`	What Does Entailment for PTL Mean? AAAI Spring Symposia Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2014	J	`jnl`	On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann
2014	—	`ed.`	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. WoMO@FOIS Kenneth Baclawski, Tudor Groza, Torsten Hahmann, Ivan Varzinczak
2014	—	`ed.`	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. DARe@ECAI Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
2014	—	`conf`	Towards a Logic of Dilation. PRUV Arina Britz, Ivan Varzinczak
2013	B	`conf`	Defeasible Modalities. TARK Katarina Britz, Ivan Varzinczak
2013	J	`jnl`	Defeasible Modalities. CoRR Katarina Britz, Ivan Varzinczak
2013	—	`conf`	Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. Description Logics Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Kodylan Moodley
2013	—	`conf`	Preferential Role Restrictions. Description Logics Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2013	—	`conf`	Towards Practical Defeasible Reasoning for Description Logics. Description Logics Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak
2012	—	`conf`	A Protege Plug-in for Defeasible Reasoning. Description Logics Kodylan Moodley, Thomas Meyer, Ivan Varzinczak
2012	—	`conf`	Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence Katarina Britz, Thomas Meyer, Ivan Varzinczak
2012	B	`conf`	PTL: A Propositional Typicality Logic. JELIA Richard Booth, Thomas Meyer, Ivan Varzinczak
2011	—	`conf`	A logic-based perspective on agent reconfiguration: Preliminary report. AFRICON Thomas Meyer, Ivan Varzinczak
2011	—	`conf`	Concept Model Semantics for DL Preferential Reasoning. Description Logics Arina Britz, Thomas Meyer, Ivan Varzinczak
2011	J	`jnl`	Constrained Consequence. Logica Universalis Katarina Britz, Johannes Heidema, Ivan Varzinczak
2011	J	`jnl`	On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann
2011	—	`conf`	Preferential Reasoning for Modal Logics. M4M/LAMAS Katarina Britz, Thomas Meyer, Ivan Varzinczak
2011	—	`conf`	Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence Katarina Britz, Thomas Meyer, Ivan Varzinczak
2010	—	`conf`	A Logic for Reasoning about Actions and Explicit Observations. Australasian Conference on Artificial Intelligence Gavin Rens, Ivan Varzinczak, Thomas Meyer, Alexander Ferrein
2010	A	`conf`	Horn Belief Change: A Contraction Core. ECAI Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann
2006	B	`conf`	A Modularity Approach for a Fragment of JELIA Andreas Herzig, Ivan Varzinczak
2006	A	`conf`	Elaborating Domain Descriptions. ECAI Andreas Herzig, Laurent Perrussel, Ivan Varzinczak
2006	J	`jnl`	Metatheory of actions: beyond consistency CoRR Andreas Herzig, Ivan Varzinczak
2006	—	`—`	What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic. Ivan Varzinczak
2005	A*	`conf`	Cohesion, coupling and the meta-theory of actions. IJCAI Andreas Herzig, Ivan Varzinczak
2004	—	`conf`	Domain descriptions should be modular. NMR Andreas Herzig, Ivan Varzinczak
2003	J	`jnl`	Regression in Modal Logic. J. Appl. Non Class. Logics Robert Demolombe, Andreas Herzig, Ivan Varzinczak