Sciweavers

3573 search results - page 74 / 715
» Reasoning about Codata
Sort
View
107
Voted
ECAI
2004
Springer
15 years 6 months ago
Representing Knowledge about Norms
Norms are essential to extend inference: inferences based on norms are far richer than those based on logical implications. In the recent decades, much effort has been devoted to r...
Daniel Kayser, Farid Nouioua
AICOM
2007
119views more  AICOM 2007»
15 years 2 months ago
Using exogenous quantities in qualitative models about environmental sustainability
Representing the impact of external factors on the behaviour of a system is a challenge for modellers, particularly when these factors are dynamic and may change during the simulat...
Bert Bredeweg, Paulo Salles, Tim Nuttle
COGSCI
2004
80views more  COGSCI 2004»
15 years 2 months ago
The conjunction fallacy: a misunderstanding about conjunction?
It is easy to construct pairs of sentences X, Y that lead many people to ascribe higher probability to the conjunction X-and-Y than to the conjuncts X, Y. Whether an error is ther...
Katya Tentori, Nicolao Bonini, Daniel N. Osherson
145
Voted
KR
2010
Springer
15 years 7 months ago
I Don't Want to Think About it Now: Decision Theory with Costly Computation
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
Joseph Y. Halpern
107
Voted
AVI
2010
15 years 4 months ago
About composing our own smart home
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...
Joëlle Coutaz, Emeric Fontaine, Nadine Mandra...