1223 search results - page 26 / 245 » A Logic for Reasoning about Evidence |
129
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
FM
2009
Springer
15 years 8 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
125
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
103
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
- In Evidence theory, several conditioning rules for updating belief have been proposed, including Dempster's rule of conditioning. The paper views the conditioning rules prop...
130
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...