Sciweavers

171 search results - page 7 / 35
» Logical omniscience and common knowledge: WHAT do we know an...
Sort
View
IUI
2003
ACM
14 years 24 days ago
Personal choice point: helping users visualize what it means to buy a BMW
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
Andrew E. Fano, Scott W. Kurth
KR
2010
Springer
14 years 10 days ago
One Hundred Prisoners and a Lightbulb - Logic and Computation
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
Hans P. van Ditmarsch, Jan van Eijck, William Wu
ATAL
2011
Springer
12 years 7 months ago
Reasoning about local properties in modal logic
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
ACL
2008
13 years 9 months ago
Multilingual Harvesting of Cross-Cultural Stereotypes
People rarely articulate explicitly what a native speaker of a language is already assumed to know. So to acquire the stereotypical knowledge that underpins much of what is said i...
Tony Veale, Yanfen Hao, Guofu Li
ATAL
2003
Springer
14 years 23 days ago
Deriving individual obligations from collective obligations
A collective obligation is an obligation directed to a group of agents so that the group, as a whole, is obliged to achieve a given task. The problem investigated here is the impac...
Laurence Cholvy, Christophe Garion