294 search results - page 10 / 59 » Modal Event Calculus |
115
click to vote
FLAIRS
2004
15 years 3 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...
81
Voted
FLAIRS
2006
15 years 3 months ago
2006
119
click to vote
ECP
1997
Springer
15 years 6 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...
125
Voted
JLP
2000
15 years 2 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...