3970 search results - page 19 / 794 » A Logic For Causal Reasoning |
CADE
2008
Springer
13 years 9 months ago
2008
Springer
CADE
2008
Springer
13 years 9 months ago
2008
Springer
CADE
2010
Springer
13 years 8 months ago
2010
Springer
CADE
2010
Springer
13 years 8 months ago
2010
Springer
KR
2004
Springer
14 years 27 days ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...