81 search results - page 1 / 17 » Reasoning About Persistence: A Theory of Actions |
69
Voted
IJCAI
1993
15 years 29 days ago
1993
113
Voted
CI
2004
14 years 11 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...
67
Voted
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
69
Voted
UAI
2003
15 years 1 months ago
2003
106
Voted
BIRTHDAY
2006
Springer
15 years 3 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...