3028 search results - page 62 / 606 » Integrating Temporal Logics |
142
click to vote
BIRTHDAY
2006
Springer
15 years 7 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...
137
Voted
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
131
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
147
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
127
Voted
TIME
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...