{"title":"Representing and propagating constraints in temporal reasoning","authors":"H. Tolba, F. Charpillet, J. Haton","doi":"10.1109/TAI.1991.167093","DOIUrl":null,"url":null,"abstract":"A new temporal representation combining the notions of intervals, dates, and durations is presented. The manipulation of this representation is based on the notion of time map managers (TMMs) allowing both kinds of constraints, symbolic or numeric. These algorithms are a generalization of AC4, an optimal algorithm for arc-consistency, and can handle n-ary constraints.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1991.167093","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 13
Abstract
A new temporal representation combining the notions of intervals, dates, and durations is presented. The manipulation of this representation is based on the notion of time map managers (TMMs) allowing both kinds of constraints, symbolic or numeric. These algorithms are a generalization of AC4, an optimal algorithm for arc-consistency, and can handle n-ary constraints.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
