4595 search results - page 274 / 919 » Reasoning about Plans |
219
click to vote
AIA
2006
15 years 8 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
177
click to vote
AAAI
2000
15 years 8 months ago
2000
A central problem in qualitative reasoning is understanding how people reason about space and shape with diagrams. We claim that progress in diagrammatic reasoning is being slowed...
250
click to vote
CEFP
2007
Springer
16 years 1 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
165
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
169
click to vote
WECWIS
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a simple auction protocol for the sale of overdemanded goods with a delivery schedule. Under some reasonable assumptions, our mechanism is incentive compatible, collect...