71 search results - page 1 / 15 » Complete Cuboidal Sets in Axiomatic Domain Theory |
LICS
1997
IEEE
13 years 8 months ago
1997
IEEE
AMAI
2002
Springer
13 years 4 months ago
2002
Springer
Blocks World (BW) has been one of the most popular model domains in AI history. However, there has not been serious work on axiomatizing the state constraints of BW and giving jus...
DALT
2005
Springer
13 years 10 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...