1223 search results - page 19 / 245 » A Logic for Reasoning about Evidence |
CONCUR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
DEON
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question
104
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
107
click to vote
COGSCI
2004
14 years 11 months ago
2004
Previous research suggests that children can infer causal relations from patterns of events. However, what appear to be cases of causal inference may simply reduce to children rec...
IJCAI
2007
15 years 1 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...