This paper presents an attempt to adapt, in the context of deontic reasoning, a logic defined
by Boutilier for reasoning with conditional preferences. The first motivation for this work is …

In this paper, we introduce a cut-free sequent calculus for minimal conditional logic CK and
three extensions of it: namely, with ID, MP and both of them. The calculus uses labels and …

Computer scientists use the logic of obligations, prohibitions and permissions—called
deontic logic—since the early eighties to represent and reason with legal knowledge …

This paper introduces a non-Horn rule WRM which is a weak form of rational monotony. We
explore the effects of adding this non-Horn rule to the rules for the preferential inference. In …

We introduce an implication-with-possible-exceptions and define validity of rules-with-
possible-exceptions by means of the topological notion of a full subset. Our implication-with …

Le contexte de ce travail est la modélisation en logique du raisonnement déontique. Plus
précisément, nous nous intéressons à la modélisation de normes de type Contrary-To …

In this paper we are interested in two points in Requirement Engineering: modelization of
requirements and distribution of requirements. We represent requirements as orders on …

Résumé Cette préface visea faire un tour d'horizon de la problématique de l'interaction au
travers particulierement des questions suivantes:(1) qu'entend-on par interaction?;(2) quels …