1223 search results - page 34 / 245 » A Logic for Reasoning about Evidence |
187
Voted
ICAIL
2009
ACM
15 years 8 months 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...
126
Voted
CSL
2006
Springer
15 years 5 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...
114
click to vote
UAI
1993
15 years 3 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...
106
click to vote
CSFW
2008
IEEE
15 years 8 months 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 ...
135
click to vote
JAISE
2010
14 years 8 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...