Based on weighted possible-world semantics, Belle and Lakemeyer recently proposed the
logic DS, a probabilistic extension of a modal variant of the situation calculus with a model of …

Only knowing captures the intuitive notion that the beliefs of an agent are precisely those
that follow from its knowledge base. It has previously been shown to be useful in …

Common knowledge and only knowing capture two intuitive and natural notions that have
proven to be useful in a variety of settings, for example to reason about coordination or …

Levesque introduced the notion of only-knowing to precisely capture the beliefs of a
knowledge base. He also showed how only-knowing can be used to formalize non …

The idea of" only knowing" a collection of sentences, as proposed by Levesque, has been
previously shown to be very useful in characterizing knowledge-based agents: in terms of a …

The idea of only knowing is a natural and intuitive notion to precisely capture the beliefs of a
knowledge base. However, an extension to the many agent case, as would be needed in …

This paper studies the notion of ability and its relation with the notion of action in a multi-
agent context. It introduces the distinction between two notions respectively called …

Only knowing captures the intuitive notion that the beliefs of an agent are precisely those
that follow from its knowledge base. While only knowing has a simple possible-world …

A new logic of belief (in the “only knowing” family) with confidence levels is presented. The
logic allows a natural distinction between explicit and implicit belief representations, where …

Levesque introduced the notion of “only knowing” to precisely capture the beliefs of a
knowledge base. He also showed how only knowing can be used to formalize …