3994 search results - page 389 / 799 » A Linear Logical Framework |
182
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
209
Voted
ASIAN
2003
Springer
16 years 2 days ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
184
click to vote
COCOON
2003
Springer
16 years 2 days ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
139
click to vote
VLSID
1997
IEEE
15 years 11 months ago
1997
IEEE
Integer addition is one of the most important operations in digital computer systems because the performance of processors is significantly influenced by the speed of their adde...
185
click to vote
TIME
1994
IEEE
15 years 11 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...