Sciweavers

902 search results - page 70 / 181
» Modeling and Reasoning about Uncertainty in Context-Aware Sy...
Sort
View
72
Voted
CORR
2004
Springer
88views Education» more  CORR 2004»
15 years 14 days ago
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...
Joseph Y. Halpern
109
Voted
ENC
2003
IEEE
15 years 6 months ago
Modelling Norms for Autonomous Agents
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
Fabiola López y López, Michael Luck
123
Voted
SIGMOD
2008
ACM
150views Database» more  SIGMOD 2008»
15 years 2 days ago
First workshop on transforming and weaving ontologies in model driven engineering (TWOMDE 2008)
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
Fernando Silva Parreiras, Jeff Z. Pan, Uwe Aß...
84
Voted
HICSS
2003
IEEE
112views Biometrics» more  HICSS 2003»
15 years 6 months ago
Creating a Scenariologic - Design and Application of a Repeatable Methodology
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
Bert Enserink
106
Voted
CISIS
2009
IEEE
15 years 7 months ago
A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
Oliver Ray, Ken E. Whelan, Ross D. King