{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:29:30Z","timestamp":1729610970883,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/time.2004.1314416","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"28-35","source":"Crossref","is-referenced-by-count":2,"title":["The SOL time theory: a formalization of structured temporal objects and repetition"],"prefix":"10.1109","author":[{"given":"D.R.","family":"Cukierman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.P.","family":"Delgrande","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"A Formalization of Structured Temporal Objects and Repetition","year":"2003","author":"cukierman","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1111\/0824-7935.00075"},{"key":"ref12","article-title":"A theory for convex interval relations including unbounded intervals","author":"cukierman","year":"2004","journal-title":"To appear in the Proceedings of FLAIRS'2004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45744-5_39"},{"journal-title":"Modal Logic - An Introduction","year":"1968","author":"hughes","key":"ref14"},{"key":"ref15","article-title":"Common Lisp program which solves temporal constraint problems","author":"kautz","year":"1991","journal-title":"Copyright AT&T 1991"},{"key":"ref16","first-page":"241","article-title":"Integrating metric and qualitative temporal reasoning","author":"kautz","year":"1991","journal-title":"Proc of AAAI-91"},{"key":"ref17","first-page":"354","article-title":"Primitives and units for time specification","author":"ladkin","year":"1986","journal-title":"Proc of the AAAI-86"},{"key":"ref18","first-page":"360","article-title":"Time representation: a taxonomy of interval relations","author":"ladkin","year":"1986","journal-title":"Proc of the AAAI-86"},{"journal-title":"The Logic of Time Representation","year":"1987","author":"ladkin","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009878632517"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0057434"},{"key":"ref27","first-page":"377","article-title":"Constraint propagation algorithms for temporal reasoning","author":"vilain","year":"1986","journal-title":"Proc of the AAAI-86"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1989.tb00329.x"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/10.4.379"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016686623228"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1023\/A:1016661915959","article-title":"Capsul: A constraint-based specification of repeating patterns in time-oriented data","volume":"30","author":"chakravarty","year":"2000","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"journal-title":"A Guide-Book to Mathematics for Technologists and Engineers","year":"1964","author":"bronshtein","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90008-0"},{"key":"ref9","first-page":"293","author":"clark","year":"1978","journal-title":"Negation as Failure"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"ref20","first-page":"234","article-title":"Models of axioms for time intervals","author":"ladkin","year":"1987","journal-title":"Proc of the AAAI-87"},{"key":"ref22","first-page":"234","article-title":"On generalized interval calculi","author":"ligozat","year":"1991","journal-title":"Proc of AAAI-91"},{"key":"ref21","first-page":"367","article-title":"A representation for collections of temporal intervals","author":"leban","year":"1986","journal-title":"Proc of the AAAI-86"},{"key":"ref24","first-page":"655","article-title":"Path consistency in a network of non-convex intervals","author":"morris","year":"1993","journal-title":"Proc IJCAI-93"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011018426725"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1111\/0824-7935.00112"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.1997.600788"}],"event":{"name":"Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004.","start":{"date-parts":[[2004,7,3]]},"location":"Tatihou, Normandie, France","end":{"date-parts":[[2004,7,3]]}},"container-title":["Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9184\/29135\/01314416.pdf?arnumber=1314416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:52:41Z","timestamp":1497599561000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1314416\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/time.2004.1314416","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}