81 search results - page 1 / 17 » Reasoning About Persistence: A Theory of Actions |
IJCAI
1993
13 years 6 months ago
1993
CI
2004
13 years 4 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...
LPNMR
2005
Springer
13 years 10 months ago
2005
Springer
UAI
2003
13 years 6 months ago
2003
BIRTHDAY
2006
Springer
13 years 8 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...