1083 search results - page 117 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
108
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
111
click to vote
AAAI
2008
15 years 5 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
243
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
112
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
118
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...