Sciweavers

1614 search results - page 15 / 323
» Planning as Temporal Reasoning
Sort
View
93
Voted
AIPS
2007
15 years 4 months ago
Evaluating Temporal Planning Domains
The last eight years have seen dramatic progress in temporal planning as highlighted by the temporal track in the last three International Planning Competitions (IPC). However, ou...
William Cushing, Daniel S. Weld, Subbarao Kambhamp...
FROCOS
2011
Springer
14 years 1 months ago
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
EUROCAST
2007
Springer
105views Hardware» more  EUROCAST 2007»
15 years 3 months ago
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic
Antonio Morales, Isabel Navarrete, Guido Sciavicco
ATAL
2007
Springer
15 years 5 months ago
Planning and defeasible reasoning
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
Diego R. García, Alejandro Javier Garc&iacu...
IJCAI
2001
15 years 3 months ago
Computational Complexity of Planning with Temporal Goals
In the last decade, there has been several studies on the computational complexity of planning. These studies normally assume that the goal of planning is to make a certain fluent...
Chitta Baral, Vladik Kreinovich, Raul Trejo