1223 search results - page 48 / 245 » A Logic for Reasoning about Evidence |
177
click to vote
SWAP
2008
15 years 7 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
150
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
197
click to vote
WILF
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...
160
click to vote
FSKD
2007
Springer
16 years 13 days ago
2007
Springer
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...
171
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...