518 search results - page 60 / 104 » Time Window Temporal Logic |
137
Voted
FMCO
2007
Springer
15 years 9 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
106
click to vote
TIME
1994
IEEE
15 years 7 months ago
1994
IEEE
The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...
116
Voted
ICCAD
2004
IEEE
16 years 10 days ago
2004
IEEE
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
124
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
135
Voted
TIME
1994
IEEE
15 years 7 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...