274 search results - page 4 / 55 » Variants of the Event Calculus |
92
Voted
FLAIRS
2004
15 years 1 months ago
2004
We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as inpu...
92
Voted
ECP
1997
Springer
15 years 3 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
94
Voted
JLP
2000
14 years 11 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
TLCA
2001
Springer
15 years 4 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
92
Voted
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper presents an analytical model of steady state throughput of the Slow-but-Steady variant of TCP NewReno as a function of loss event rate, average number of segments lo...