Artificial Intelligence
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Exact and approximate reasoning about temporal relations
Computational Intelligence
Artificial Intelligence - Special issue on knowledge representation
Temporal reasoning based on semi-intervals
Artificial Intelligence
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
A model and a language for the fuzzy representation and handling of time
Fuzzy Sets and Systems
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Combining qualitative and quantitative constraints in temporal reasoning
Artificial Intelligence
From local to global consistency in temporal constraint networks
Theoretical Computer Science - Special issue: principles and practice of constraint programming
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Temporal Constraints: A Survey
Constraints
’’Corner‘‘ Relations in Allen‘s algebra
Constraints
Learning and Solving Soft Temporal Constraints: An Experimental Study
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Reasoning about Generalized Intervals: Horn Representability and Tractability
TIME '00 Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00)
Learning Preferences on Temporal Constraints: A Preliminary Report
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Integrating quantitative and qualitative fuzzy temporal constraints
AI Communications - Special issue on: Spatial and temporal reasoning
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
Planning using a temporal world model
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Temporal reasoning with preferences and uncertainty
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Temporal constraint reasoning with preferences
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Possibilistic temporal reasoning based on fuzzy temporal constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On generalized interval calculi
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Integrating metric and qualitative temporal reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
A new proof of tractability for 0RD-horn relations
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence in Medicine
Temporal Features in Biological Warfare
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
Addressing the flaws of current critical alarms: a fuzzy constraint satisfaction approach
Artificial Intelligence in Medicine
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
Avian influenza: Temporal modeling of a human to human transmission case
Expert Systems with Applications: An International Journal
KR4HC'09 Proceedings of the 2009 AIME international conference on Knowledge Representation for Health-Care: data, Processes and Guidelines
Hi-index | 0.00 |
The aim of this work is to integrate the ideas of flexibility and uncertainty into Allen's interval-based temporal framework, defining a new formalism, called IA^f^u^z, which extends classical Interval Algebra (IA), in order to express qualitative fuzzy constraints between intervals. We generalize the classical operations between IA-relations to IA^f^u^z-relations, as well as the concepts of minimality and local consistency, referring to the framework of Fuzzy Constraint Satisfaction Problem. We analyze the most interesting reasoning tasks in our framework, which generalize the classical problems of checking consistency, finding a solution and computing the minimal network in the context of IA. In order to solve these tasks, we devise two constraint propagation algorithms and a Branch & Bound algorithm. Since these tasks are NP-difficult, we address the problem of finding tractable sub-algebras of IA^f^u^z, by extending to our fuzzy framework the classical pointizable sub-algebras SA"c and SA, as well as the maximal tractable subalgebra H introduced by Nebel. In particular, we prove that the fuzzy extension of the latter, called H^f^u^z, shares with its classical counterpart a maximality property, in that it is the unique maximal subalgebra of IA^f^u^z which contains the fuzzy extensions of Allen's atomic relations. ions.