Ivan Varzinczak

Available identifiers

zbMath Open varzinczak.ivan-joseMaRDI QIDQ1028965

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6060107	2023-11-02	Paper
A One-Pass Tree-Shaped Tableau for Defeasible LTL	2023-10-02	Paper
Defeasible linear temporal logic	2023-07-06	Paper
Cardinality Restrictions Within Description Logic Connection Calculi	2023-06-28	Paper
Situated conditional reasoning	2023-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q5869632	2022-09-28	Paper
A KLM perspective on defeasible reasoning for description logics	2020-06-04	Paper
Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)	2020-05-14	Paper
Taking defeasible entailment beyond rational closure	2020-02-18	Paper
On rational entailment for propositional typicality logic	2020-01-20	Paper
Contextual rational closure for defeasible \(\mathcal{ALC} \)	2019-12-09	Paper
Preferential accessibility and preferred worlds	2019-01-18	Paper
A note on a description logic of concept and role typicality for defeasible reasoning over ontologies	2018-12-12	Paper
From KLM-style conditionals to defeasible modalities, and back	2018-09-17	Paper
Rationality and context in defeasible subsumption	2018-06-26	Paper
Introducing Role Defeasibility in Description Logics	2016-11-30	Paper
Preferential reasoning for modal logics	2016-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q5414676	2014-05-07	Paper
Constrained consequence	2013-03-21	Paper
PTL: a propositional typicality logic	2012-09-21	Paper
On the link between partial meet, kernel, and infra contraction and its application to Horn logic	2011-10-18	Paper
On Action Theory Change	2010-03-15	Paper
Regression in modal logic	2009-11-30	Paper
Metatheory of actions: beyond consistency	2009-07-09	Paper
A Modularity Approach for a Fragment of $\mathcal{ALC}$	2008-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q5483003	2006-08-15	Paper

Research outcomes over time

This page was built for person: Ivan Varzinczak