Sciweavers

171 search results - page 4 / 35
» Logical omniscience and common knowledge: WHAT do we know an...
Sort
View
CSL
2006
Springer
13 years 11 months ago
Logical Omniscience Via Proof Complexity
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
Sergei N. Artëmov, Roman Kuznets
ENVSOFT
2006
87views more  ENVSOFT 2006»
13 years 7 months ago
What every agent-based modeller should know about floating point arithmetic
Floating point arithmetic is a subject all too often ignored, yet, for agent-based models in particular, it has the potential to create misleading results, and even to influence e...
J. Gareth Polhill, Luis R. Izquierdo, Nicholas Mar...
BCSHCI
2008
13 years 9 months ago
Designing for people who do not read easily
Many people do not read easily for all sorts of reasons: social and cultural, because of impairments, or because of their context. Even in the area of impairments, design for peop...
Caroline Jarrett, Katie Grant, B. L. William Wong,...
CORR
2007
Springer
117views Education» more  CORR 2007»
13 years 7 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
AAAI
2007
13 years 10 months ago
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
Alfredo Gabaldon, Gerhard Lakemeyer