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 …

Adaptive logic characterizations of input/output logic

C Straßer, M Beirlaen, F Van De Putte - Studia Logica, 2016 - Springer
We translate unconstrained and constrained input/output logics as introduced by Makinson
and van der Torre to modal logics, using adaptive logics for the constrained case. The …

[PDF][PDF] Preference and priorities: A study based on contrction

M Souza, ÁF Moreira, R Vieira… - Proceedings of the …, 2016 - repositorio.pucrs.br
Preference models lie at the core of the formalization for several related notions, such as
non-monotonic reasoning, obligations, goals, beliefs, etc. Recently, the interest in integrating …

[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 …

Inquisitive conditional-doxastic logic

B Sparkes - 2016 - eprints.illc.uva.nl
This thesis develops inquisitive conditional-doxastic logic, obtained by enriching classical
multi-agent plausibility models with issues for each agent. The aim of these models is to …

A Game Semantics for System P

J Marti, R Pinosio - Studia Logica, 2016 - Springer
In this paper we introduce a game semantics for System P, one of the most studied axiomatic
systems for non-monotonic reasoning, conditional logic and belief revision. We prove …

[PDF][PDF] Priorities and preferences: a study based on contraction

M Souza, AF Moreira, R Vieira, JJC Meyer - Proc. 15th Int. Conf. on …, 2016 - cdn.aaai.org
Preference models lie at the core of the formalization for several related notions, such as
non-monotonic reasoning, obligations, goals, beliefs, etc. Recently, the interest in integrating …

[PDF][PDF] A Game Semantics for System P (Extended Version)

J Marti, R Pinosio - 2016 - academia.edu
In this paper we introduce a game semantics for System P, one of the most studied axiomatic
systems for non-monotonic reasoning, conditional logic and belief revision. We prove …

[PDF][PDF] Between Probability and Certainty-Introduction

M Smith - 2016 - philarchive.org
This book explores a question central to philosophy--namely, what does it take for a belief to
be justified or rational? According to a widespread view, whether one has justification for …

[PDF][PDF] A Game Semantics for System P

R Pinosio - Studia Logica, 2016 - core.ac.uk
In this paper we introduce a game semantics for System P, one of the most studied axiomatic
systems for non-monotonic reasoning, conditional logic and belief revision. We prove …