233 search results - page 10 / 47 » Explanation in the Situation Calculus |
142
click to vote
AAAI
1996
15 years 7 months ago
1996
paper, we attempt to reconstruct the sitcalculus on a dense flow of time. The
163
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...