From KLM-style conditionals to defeasible modalities, and back

K Britz, I Varzinczak - Journal of Applied Non-Classical Logics, 2018 - Taylor & Francis
We investigate an aspect of defeasibility that has somewhat been overlooked by the non-
monotonic reasoning community, namely that of defeasible modes of reasoning. These aim …

Introducing role defeasibility in description logics

K Britz, I Varzinczak - Logics in Artificial Intelligence: 15th European …, 2016 - Springer
Accounts of preferential reasoning in Description Logics often take as point of departure the
semantic notion of a preference order on objects in a domain of interpretation, which allows …

Preferential accessibility and preferred worlds

K Britz, I Varzinczak - Journal of Logic, Language and Information, 2018 - Springer
Modal accounts of normality in non-monotonic reasoning traditionally have an underlying
semantics based on a notion of preference amongst worlds. In this paper, we motivate and …

[PDF][PDF] Preferential modalities revisited

K Britz, I Varzinczak - 16th International Workshop on Non …, 2016 - nmr2016.cs.uct.ac.za
We venture beyond the customary semantic approach in NMR, namely that of placing
orderings on worlds (or valuations). In a modal-logic setting, we motivate and investigate the …

[PDF][PDF] Habilitation (Summary of main contributions to the field and some general perspectives on future research)

I Varzinczak - 2019 - theses.hal.science
The success of modern artificial intelligence (AI) relies heavily on the realisation of general-
purpose autonomous systems capable of behaving rationally in a given environment. Such …

[PDF][PDF] On Vague Notions and Modalities

PAS Veloso, SRM Veloso - sa-logic.org
We present a precise approach to treat modalities involving vague notions. Vague notions,
such as 'generally','many','rarely','often', etc., occur often in ordinary language and in some …

Introducing polymodal neighbourhood logics

R de Freitas, P Viana - Electronic Notes in Theoretical Computer Science, 2009 - Elsevier
In this paper, we start the study of polymodal neighbourhood languages. We provide a
completeness result for the basic polymodal neighbourhood system and show how some …