2062 search results - page 334 / 413 » Derivatives of Logical Formulas |
159
click to vote
CLIMA
2004
15 years 7 months ago
2004
In this paper we discuss Liau's logic of Belief, Inform and Trust (BIT), which captures the use of trust to infer beliefs from acquired information. However, the logic does no...
161
click to vote
CADE
2010
Springer
15 years 6 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...
182
click to vote
JLP
2007
15 years 5 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
147
click to vote
MLQ
2010
15 years 4 months ago
2010
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...
160
click to vote
INFFUS
2010
15 years 17 days ago
2010
The problem of fusing beliefs in the Dempster-Shafer belief theory has attracted considerable attention over the last two decades. The classical Dempster's Rule has often bee...