452 search results - page 79 / 91 » Predicative semantics of loops |
KI
2002
Springer
13 years 7 months ago
2002
Springer
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variab...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
While in computer networks the number of possible protocol encapsulations is growing day after day, network administrators face ever increasing difficulties in selecting accurately...
DALT
2005
Springer
14 years 1 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
KBSE
1999
IEEE
13 years 12 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
IICAI
2007
13 years 9 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...