Sciweavers

955 search results - page 65 / 191
» Tractable Temporal Reasoning
Sort
View
FOIKS
2006
Springer
14 years 22 days 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...
AIPS
2009
13 years 10 months ago
An Optimal Temporally Expressive Planner: Initial Results and Application to P2P Network Optimization
Temporally expressive planning, an important class of temporal planning, has attracted much attention lately. Temporally expressive planning is difficult; few existing planners ca...
Ruoyun Huang, Yixin Chen, Weixiong Zhang
ARTMED
2006
70views more  ARTMED 2006»
13 years 9 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»
13 years 8 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»
13 years 9 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...