72 search results - page 3 / 15 » Reasoning About Web Services in a Temporal Action Logic |
DALT
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
WWW
2006
ACM
13 years 11 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
FTDCS
2004
IEEE
13 years 9 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
TIME
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
AIM
2005
13 years 5 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...