In this paper, we present a formal model of a system of bounded reasoners which reason about each other's beliefs, and propose a sound and complete logic in ...

Dec 31, 2007 · In this paper, we present a formal model of a system of bounded reasoners which reason about each other's beliefs, and propose a sound and ...

In this paper, we present a formal model of a system of bounded reasoners which reason about each other's beliefs, and propose a sound and complete logic in ...

In this paper, we present a formal model of a system of bounded reasoners which reason about each other's beliefs, and propose a sound and complete logic in ...

In this paper, we present a formal model of a system of bounded reasoners which reason about each other's beliefs, and propose a sound and complete logic in ...

Recent experiments suggest that level-k behavior is often driven by subjects' beliefs, rather than their binding cognitive bounds.

The main emphasis in this work should be on the development of a general theory on decision-making under bounded resources. This is a high-level and long ...

Aug 11, 2004 · It thus seems natural to use an epistemic logic as a specification language, where specifications can be written directly in terms of knowledge.

The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds. Like

The idea is that resource bounded agents ought to defeasibly adopt a master plan which is “good enough”, but continually seek improvements as new information ...