1223 search results - page 22 / 245 » A Logic for Reasoning about Evidence |
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
ICAIL
2003
ACM
15 years 5 months ago
2003
ACM
Robust decision support systems (DSSs) for crime investigation are difficult to construct because of the almost infinite variation of plausible crime scenarios. Thus, existing ap...
120
click to vote
JLP
2007
14 years 11 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...
124
click to vote
AAMAS
2011
Springer
14 years 6 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...