Sciweavers

1614 search results - page 108 / 323
» Planning as Temporal Reasoning
Sort
View
TIME
2009
IEEE
16 years 1 months ago
Strong Temporal, Weak Spatial Logic for Rule Based Filters
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
Roger Villemaire, Sylvain Hallé
TIME
2009
IEEE
16 years 1 months ago
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
Szabolcs Mikulás, Mark Reynolds, Tim French
TIME
2005
IEEE
15 years 12 months ago
An XML-Based Framework for Temporal Database Implementation
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
Seo-Young Noh, Shashi K. Gadia
TIME
1994
IEEE
15 years 10 months ago
Managing Large Temporal Delays in a Model Based Control System
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
Fano Ramparany
ROMAN
2007
IEEE
173views Robotics» more  ROMAN 2007»
16 years 19 days ago
Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
Michael Brenner