Sciweavers

955 search results - page 44 / 191
» Tractable Temporal Reasoning
Sort
View
IJCAI
2001
13 years 10 months ago
Dynamic Control Of Plans With Temporal Uncertainty
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
Paul H. Morris, Nicola Muscettola, Thierry Vidal
JANCL
2006
123views more  JANCL 2006»
13 years 9 months ago
Approximate databases: a support tool for approximate reasoning
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
Patrick Doherty, Martin Magnusson, Andrzej Szalas
WSFM
2007
Springer
14 years 3 months ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...