Sciweavers

1614 search results - page 45 / 323
» Planning as Temporal Reasoning
Sort
View
109
Voted
JAIR
2007
87views more  JAIR 2007»
15 years 1 months ago
Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...
Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wa...
AINA
2008
IEEE
15 years 8 months ago
Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu
ECP
1999
Springer
157views Robotics» more  ECP 1999»
15 years 6 months ago
SAT-Based Procedures for Temporal Reasoning
In this paper we study the consistency problem for a set of disjunctive temporal constraints [Stergiou and Koubarakis, 1998]. We propose two SAT-based procedures, and show that—o...
Alessandro Armando, Claudio Castellini, Enrico Giu...
ECAI
2004
Springer
15 years 7 months ago
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
Juan Carlos Augusto, Chris D. Nugent
AI
2008
Springer
15 years 2 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar