81 search results - page 1 / 17 » PDL-based framework for reasoning about actions |
AIIA
1995
Springer
13 years 8 months ago
1995
Springer
CI
2004
13 years 5 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
LOGCOM
2006
13 years 5 months ago
2006
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
JLP
2007
13 years 5 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...