315 search results - page 39 / 63 » A Declarative Formalization of STRIPS |
112
click to vote
ISAMI
2010
14 years 9 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
135
click to vote
CORR
2011
Springer
14 years 3 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...
124
click to vote
ISSTA
2012
ACM
13 years 1 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
120
click to vote
TLDI
2003
ACM
15 years 4 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
DAGSTUHL
2007
15 years 19 days ago
2007
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...