7943 search results - page 47 / 1589 » A calculus for costed computations |
80
Voted
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
105
Voted
ECP
1997
Springer
15 years 4 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...
107
Voted
JLP
2000
15 years 13 days 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...
71
Voted
ICALP
2009
Springer
16 years 28 days ago
2009
Springer
73
Voted
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
