1223 search results - page 46 / 245 » A Logic for Reasoning about Evidence |
160
click to vote
FSKD
2006
Springer
15 years 5 months ago
2006
Springer
The purpose of this study is to develop a decision making system to evaluate the risks in E-Commerce (EC) projects. Competitive software businesses have the critical task of assess...
115
click to vote
WWW
2009
ACM
15 years 8 months ago
2009
ACM
Most of the approaches for dealing with uncertainty in the Semantic Web rely on the principle that this uncertainty is already asserted. In this paper, we propose a new approach t...
109
click to vote
ISI
2006
Springer
15 years 1 months ago
2006
Springer
An intelligence analyst often needs to keep track of more facts than can be held in human memory. As a result, analysts use a notebook or evidence file to record facts learned so f...
101
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
115
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...