Sciweavers

1614 search results - page 10 / 323
» Planning as Temporal Reasoning
Sort
View
KR
1992
Springer
15 years 5 months ago
Reasoning About Indefinite Actions
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
L. Thorne McCarty, Ron van der Meyden
ICLP
2010
Springer
15 years 5 months ago
Structured Interactive Musical Scores
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
Mauricio Toro-Bermudez
ARTMED
2006
158views more  ARTMED 2006»
15 years 1 months ago
CareVis: Integrated visualization of computerized protocols and temporal patient data
Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...
Wolfgang Aigner, Silvia Miksch
CP
2004
Springer
15 years 7 months ago
Controllability of Soft Temporal Constraint Problems
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
Francesca Rossi, Kristen Brent Venable, Neil Yorke...
131
Voted
ECAI
2008
Springer
15 years 2 months ago
Diagnosis of Simple Temporal Networks
In many domains successful execution of plans requires careful monitoring and repair. Diagnosis of plan execution supports this process by identifying causes of plan failure. Most ...
Nico Roos, Cees Witteveen