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
https://portal.mardi4nfdi.de/entity/Q3093655	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ivan Varzinczak