Sciweavers

1614 search results - page 99 / 323
» Planning as Temporal Reasoning
Sort
View
AIPS
2007
15 years 8 months ago
Cost-Sharing Approximations for h+
Relaxations based on (either complete or partial) ignoring delete effects of the actions provide the basis for some seminal classical planning heuristics. However, the palette of ...
Vitaly Mirkis, Carmel Domshlak
FOIKS
2006
Springer
15 years 10 months ago
Modeling the Evolution of Objects in Temporal Information Systems
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
Alessandro Artale, Christine Parent, Stefano Spacc...
ARTMED
2006
70views more  ARTMED 2006»
15 years 6 months ago
Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions, and periodic repetiti...
Luca Anselma, Paolo Terenziani, Stefania Montani, ...
JANCL
2000
67views more  JANCL 2000»
15 years 6 months ago
Specification of nonmonotonic reasoning
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
Joeri Engelfriet, Jan Treur
JOCN
2006
79views more  JOCN 2006»
15 years 6 months ago
fMRI Evidence for a Three-Stage Model of Deductive Reasoning
In an event-related fMRI study, we investigated the neurocognitive processes underlying deductive reasoning. We specifically focused on three temporally separable phases: (1) the ...
Thomas Fangmeier, Markus Knauff, Christian C. Ruff...