1223 search results - page 34 / 245 » A Logic for Reasoning about Evidence |
226
click to vote
ICAIL
2009
ACM
16 years 21 days ago
2009
ACM
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...
181
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
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...
163
click to vote
UAI
1993
15 years 7 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
163
click to vote
CSFW
2008
IEEE
16 years 20 days ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...
198
click to vote
JAISE
2010
15 years 1 months ago
2010
The ability to identify the behavior of people in a home is at the core of Smart Home functionality. Such environments are equipped with sensors that unobtrusively capture informat...