The following pages link to Ivan Varzinczak (Q1028965):
Displaying 24 items.
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047) (← links)
- Rationality and context in defeasible subsumption (Q1647478) (← links)
- Preferential accessibility and preferred worlds (Q1711506) (← links)
- Constrained consequence (Q1941731) (← links)
- Preferential tableaux for contextual defeasible \(\mathcal{ALC}\) (Q2180505) (← links)
- A KLM perspective on defeasible reasoning for description logics (Q2185464) (← links)
- Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101) (← links)
- On rational entailment for propositional typicality logic (Q2289021) (← links)
- Taking defeasible entailment beyond rational closure (Q2296705) (← links)
- Preferential Reasoning for Modal Logics (Q2825407) (← links)
- Introducing Role Defeasibility in Description Logics (Q2835870) (← links)
- PTL: A Propositional Typicality Logic (Q2915063) (← links)
- (Q3093655) (← links)
- A Modularity Approach for a Fragment of $\mathcal{ALC}$ (Q3533133) (← links)
- Regression in Modal Logic (Q3647207) (← links)
- On Action Theory Change (Q5190270) (← links)
- From KLM-style conditionals to defeasible modalities, and back (Q5375876) (← links)
- (Q5414676) (← links)
- (Q5483003) (← links)
- (Q5869632) (← links)
- (Q6060107) (← links)
- A One-Pass Tree-Shaped Tableau for Defeasible LTL (Q6080283) (← links)
- Situated conditional reasoning (Q6161506) (← links)
