Sciweavers

Share
52 search results - page 11 / 11
» Temporal Concurrent Constraint Programming: Denotation, Logi...
Sort
View
BIRTHDAY
2010
Springer
9 years 4 months ago
The Arrow of Time through the Lens of Computing
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
Krishna V. Palem
AIIA
2015
Springer
3 years 8 months ago
New Heuristics for Timeline-Based Planning
Abstract. The timeline-based approach to planning represents an effective alternative to classical planning in complex domains where different types of reasoning are required in pa...
Riccardo De Benedictis, Amedeo Cesta
books