3970 search results - page 19 / 794 » A Logic For Causal Reasoning |
139
click to vote
KR
2004
Springer
15 years 9 months 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...