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
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
A new proof of tractability for 0RD-horn relations
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Journal of Biomedical Informatics
Qualitative relations between moving objects in a network changing its topological relations
Information Sciences: an International Journal
Temporal reasoning about fuzzy intervals
Artificial Intelligence
Solving temporal over-constrained problems using fuzzy techniques
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - Marco Somalvico Memorial Issue
Qualitative temporal reasoning about vague events
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Efficient algorithms for fuzzy qualitative temporal reasoning
IEEE Transactions on Fuzzy Systems
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 IAfuz, which extends classical Interval Algebra (IA), in order to express qualitative fuzzy constraints between intervals. We generalize the classical operations between IA-relations to IAfuz-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 IAfuz, by extending to our fuzzy framework the classical pointizable sub-algebras SAc 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 Hfuz, shares with its classical counterpart a maximality property, in that it is the unique maximal subalgebra of IAfuz which contains the fuzzy extensions of Allen's atomic relations.