1941 search results - page 61 / 389 » Reasoning about Computations Using Two-Levels of Logic |
161
Voted
CCS
2005
ACM
15 years 8 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
141
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
139
click to vote
KR
2000
Springer
15 years 6 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
117
click to vote
IJCAI
2007
15 years 4 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
129
click to vote
RSEISP
2007
Springer
15 years 9 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...