356 search results - page 51 / 72 » Axiomatizing Causal Reasoning |
103
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: applying default property classification rules in static domains, and d...
102
click to vote
ICTAC
2010
Springer
14 years 9 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
ETRA
2004
ACM
15 years 5 months ago
2004
ACM
Cognitive models and empirical studies of problem solving in visuo-spatial and causal domains suggest that problem solving tasks in such domains invoke cognitive processes involvi...
102
click to vote
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
KR
1998
Springer
15 years 4 months ago
1998
Springer
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...