The Spohnian paradigm of ranking functions is in many respects like an order-of-magnitude reverse of subjective probability theory. Unlike probabiliti...

Rarely planning domains are fully observable. For this reason, the ability to deal with partial observability is one of the most important challenges...

In a seminal paper, Reiter introduced a variant of the situation calculus along with a set of its properties. To the best of our knowledge, one of th...

In this paper we tackle the issue of the automatic recognition of functional dependencies among guessed predicates in constraint problem specification...

AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definit...