233 search results - page 3 / 47 » Explanation in the Situation Calculus |
FLAIRS
2010
13 years 8 months ago
2010
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connecte...
IJCAI
2003
13 years 7 months ago
2003
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
KR
2004
Springer
13 years 11 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...
IRI
2006
IEEE
13 years 11 months ago
2006
IEEE
We introduce, in this article, a way for building a Virtual Environment for Training to manage dynamic and collaborative situations in team sport. In these situations, relevant in...
FOSSACS
2012
Springer
12 years 1 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...