Arc and path consistence revisited
Artificial Intelligence
Artificial Intelligence
Exact and approximate reasoning about temporal relations
Computational Intelligence
Artificial Intelligence - Special issue on knowledge representation
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Real-time logics: complexity and expressiveness
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Arc-consistency and arc-consistency again
Artificial Intelligence
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
On the minimality and global consistency of row-convex constraint networks
Journal of the ACM (JACM)
Handling infinite temporal data
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Combining qualitative and quantitative constraints in temporal reasoning
Artificial Intelligence
Logical design for temporal databases with multiple granularities
ACM Transactions on Database Systems (TODS)
Processing disjunctions in temporal constraint networks
Artificial Intelligence
A unifying approach to temporal constraint reasoning
Artificial Intelligence
Building tractable disjunctive constraints
Journal of the ACM (JACM)
Querying temporal and spatial constraint networks in PTIME
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
A general framework for time granularity and its application to temporal reasoning
Annals of Mathematics and Artificial Intelligence
Discovering Frequent Event Patterns with Multiple Granularities in Time Sequences
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Parameterized Complexity
Provisions and Obligations in Policy Rule Management
Journal of Network and Systems Management
A mathematical framework for the semantics of symbolic languages representing periodic time
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence in Medicine
Compact and tractable automaton-based representations of time granularities
Theoretical Computer Science
Provisions and obligations in policy management and security applications
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - Marco Somalvico Memorial Issue
Supporting temporal reasoning by mapping calendar expressions to minimal periodic sets
Journal of Artificial Intelligence Research
GSTP: a temporal reasoning system supporting multi-granularity temporal constraints
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Intelligent visualization and exploration of time-oriented data of multiple patients
Artificial Intelligence in Medicine
Visually defining and querying consistent multi-granular clinical temporal abstractions
Artificial Intelligence in Medicine
Conditional and composite temporal CSPs
Applied Intelligence
A system prototype for solving multi-granularity temporal CSP
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Conceptual modeling of flexible temporal workflows
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
An open platform for the protocolization of home medical supervision
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Many problems in scheduling, planning, and natural language understanding have been formulated in terms of temporal constraint satisfaction problems (TCSP). These problems have been extensively investigated in the AI literature providing effective solutions for some fragments of the general model. Independently, there has been an effort in the data and knowledge management research community for the formalization of the concept of time granularity and for its applications. This paper considers a framework for integrating the notion of time granularity into TCSP, and investigates the problems of consistency and network solution, which, in this context, involve complex manipulation of the periodic sets representing time granularities. A sound and complete algorithm for consistency checking and for deriving a solution is presented. The paper also investigates the algorithm's computational complexity and several optimization techniques specific to the multigranularity context. An application to e-commerce workflows illustrates the benefits of the framework and the need for specific reasoning tools.