2649 search results - page 67 / 530 » Temporal Theories of Reasoning |
KR
2004
Springer
15 years 5 months ago
2004
Springer
106
click to vote
CADE
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. PROTEIN (PROver with a Theory Extension INterface) is a PTTPbased first order theorem prover over built-in theories. Besides various standardrefinements knownformodelelim...
104
click to vote
ICCV
1998
IEEE
16 years 1 months ago
1998
IEEE
We develop a theory for the temporal integration of visual motion motivated by psychophysical experiments. The theory proposes that input data are temporally grouped and used to p...
115
click to vote
WSC
2007
15 years 2 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
JAIR
2012
13 years 2 months ago
2012
In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of reasoning with COntinuous LINear numeric change, in addition to the full temporal semantic...