8838 search results - page 41 / 1768 » Generalizing Domain Theory |
AAAI
2000
13 years 11 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
CIE
2006
Springer
14 years 1 months ago
2006
Springer
G
LICS
1997
IEEE
14 years 1 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
CP
2008
Springer
13 years 11 months ago
2008
Springer
Submodular constraints play an important role both in theory and practice of valued constraint satisfaction problems (VCSPs). It has previously been shown, using results from the ...