We present tableau calculi for the logics of nonmonotonic reasoning defined by Kraus,
Lehmann and Magidor (KLM). We give a tableau proof procedure for all KLM logics, namely …

We present a tableau calculus for some fundamental systems of propositional conditional
logics. We consider the conditional logics that can be characterized by preferential …

In the last few years, preference logic and in particular, the dynamic logic of preference
change, has suddenly become a live topic in my Amsterdam and Stanford environments. At …

The phenomenon of adaptive preferences—sometimes also known under the name of sour
grapes—has long caused a stir in Social Theory, mainly because of its importance in the …

We introduce and explore the notion of duality for entailment relations induced by
preference orderings on states. We discuss the relationship between these preferential …

Since November 2015 he is an associate professor at the Department of Computer Science
in the Università degli studi di Torino, where he is member of the" Knowledge …