Sciweavers

45 search results - page 4 / 9
» Monitoring the execution of robot plans using semantic knowl...
Sort
View
TIME
2009
IEEE
14 years 15 days ago
Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
Luke Hunsberger
FUIN
2007
130views more  FUIN 2007»
13 years 5 months ago
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
Thomas Eiter, Esra Erdem, Wolfgang Faber, Já...
ICRA
1995
IEEE
125views Robotics» more  ICRA 1995»
13 years 9 months ago
Inductive Generation of Diagnostic Knowledge for Autonomous Assembly
A generic architecture for evolutive supervision of robotized assembly tasks is presented. This architecture , at different levels of abstraction, functions for dispatching action...
Luís Seabra Lopes, Luis M. Camarinha-Matos
CBMS
2007
IEEE
14 years 4 days ago
Ontology Engineering to Model Clinical Pathways: Towards the Computerization and Execution of Clinical Pathways
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
Katrina F. Hurley, Syed Sibte Raza Abidi
AIPS
2009
13 years 7 months ago
A Semantics for HTN Methods
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...
Robert P. Goldman