Sciweavers

55 search results - page 8 / 11
» Whatever Happened to the IT Plan
Sort
View
IJCAI
1997
13 years 9 months ago
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
Giuseppe De Giacomo, Yves Lespérance, Hecto...
AR
2004
107views more  AR 2004»
13 years 7 months ago
Inevitable collision states - a step towards safer robots?
-- An inevitable collision state for a robotic system can be defined as a state for which, no matter what the future trajectory followed by the system is, a collision with an obsta...
Thierry Fraichard, Hajime Asama
KR
1991
Springer
13 years 11 months ago
Meta-Reasoning in Executable Temporal Logic
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
Howard Barringer, Michael Fisher, Dov M. Gabbay, A...
ICDE
2007
IEEE
121views Database» more  ICDE 2007»
14 years 2 months ago
Dispatching Hospitals Intelligently: A Service-Oriented Approach
Emergencies happen frequently and handling them effectively is necessary. In many cases, emergencies are treated by a static procedure, without considering the requirements of th...
Oguz Akgus, Serdar Torgan, Anil Gürsel, Emre ...
ACMDIS
2006
ACM
14 years 1 months ago
DJs' perspectives on interaction and awareness in nightclubs
Several researchers have recently proposed technology for crowd-and-DJ interactions in nightclub environments. However, these attempts have not always met with success. In order t...
Carrie Gates, Sriram Subramanian, Carl Gutwin