{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:20Z","timestamp":1725456020130},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013983","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:34:32Z","timestamp":1132731272000},"page":"101-116","source":"Crossref","is-referenced-by-count":4,"title":["Dealing with time granularity in a temporal planning system"],"prefix":"10.1007","author":[{"given":"Silvana","family":"Badaloni","sequence":"first","affiliation":[]},{"given":"Marina","family":"Berati","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"J.F. Allen: \u201cMantaining Knowledge about Temporal Intervals\u201d, Communications of the ACM, number 11, volume 26, November 1983.","DOI":"10.1145\/182.358434"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"J.F. Allen: \u201cTowards a general theory of action and time\u201d, Artificial Intelligence 23, pgg. 123\u2013154, 1984.","journal-title":"Artificial Intelligence"},{"key":"7_CR3","volume-title":"Reasoning about plans","author":"J.F. Allen","year":"1991","unstructured":"J.F. Allen, H.A. Kautz, R.N. Pelavin, J.D. Tenenberg: \u201cReasoning about plans\u201d, Morgan Kaufmann, San Mateo, Calif., 1991."},{"key":"7_CR4","unstructured":"J.F. Allen, G.Ferguson: \u201cActions and events in interval temporal logic\u201d, submitted, 1993."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"S.Badaloni, E.Pagello, L.Stocchiero, A.Zanardi: \u201cMaking an autonomous robot plan temporally constrained maintenance operations\u201d, in P.Torasso (ed.) \u201cAdvances in artificial Intelligence\u201d, Lectures Notes in Artificial Intelligence n.728, pg. 290\u2013301, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57292-9_67"},{"key":"7_CR6","unstructured":"S.Badaloni, E.Pagello, L.Stocchiero, A.Zanardi: \u201cPlanning temporally qualified robot actions\u201d, Proc. of the Int. Conf. on Advanced Robotics ICAR'93, Tokyo, Japan, November 1993."},{"key":"7_CR7","unstructured":"S.Badaloni, M.Berati: \u201cDecomposition and refinement of actions\u201d, In A.Cesta, S.Gaglio (Eds) Proc. of the Italian Planning Workshop 1993 (IPW'93), Roma, Italy, September 1993."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"E.Corsetti, E.Crivelli, D.Mandrioli, A.Montanari, A.Morzenti, P.San Pietro, E.Ratto: \u201cDealing with different time scales in formal specification\u201d, Proc. 6th Int. Workshop on Software Specification and design, Italy, 1991.","DOI":"10.1109\/IWSSD.1991.213072"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"C. Freksa","year":"1992","unstructured":"C.Freksa: \u201cTemporal Reasoning based on Semi-Intervals\u201d, Artificial Intelligence vol.54, pgg. 199\u2013227, 1992.","journal-title":"Artificial Intelligence"},{"issue":"2\u20133","key":"7_CR10","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","volume":"42","author":"A. Galton","year":"1990","unstructured":"A.Galton \u201cA critical examination of Allen's theory of action an time\u201d, Artificial Intelligence, 42 (2\u20133), pgg. 159\u2013188, 1990.","journal-title":"Artificial Intelligence"},{"key":"7_CR11","unstructured":"J. Hobbs: \u201cGranularity\u201d, Proc. of the 9th IJCAI, Los Angeles, USA, 1985."},{"key":"7_CR12","unstructured":"J. Hobbs: \u201cSketch of a proposed ontology that underlies the way we talk about the world\u201d, Proc. Workshop on Formal Ontology, Padua, 1993."},{"key":"7_CR13","unstructured":"J.Jaffar, S.Michaylov: \u201cMethodology and implementation of a CLP system\u201d, Proc. of the 4th International Conference on Logic Programming, Melbourne, pgg. 196\u2013218, 1987."},{"key":"7_CR14","unstructured":"A. Montanari, E. Maim, E. Ciapessoni, E. Ratto: \u201cDealing with Time granularity in the Event Calculus\u201d, Proc. of the International Conference on Fifth Generation Computer System, Tokyo, Japan, June 1992."},{"key":"7_CR15","unstructured":"J.Tenenberg: \u201cPlanning with abstraction\u201d, Proc. AAAI-86, Philadelphia, 1986."},{"key":"7_CR16","unstructured":"A.Trudel: \u201cA formal specification of Allen's processes\u201d, Proc. of the Second Symposium on Logical Formalization of Commonsense Reasoning, Austin, Texas, 1993."},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1111\/j.1467-8640.1990.tb00130.x","volume":"6","author":"P. Beek van","year":"1990","unstructured":"P. van Beek, Robin Cohen: \u201cExact and approximate reasoning about temporal relations\u201d, Comput. Intelligence 6, pgg. 132\u2013144, 1990.","journal-title":"Comput. Intelligence"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","volume":"58","author":"P. Beek van","year":"1992","unstructured":"P. van Beek: \u201cReasoning about qualitative temporal information\u201d, Artificial Intelligence 58, pg 297\u2013326, 1992.","journal-title":"Artificial Intelligence"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"M. Vilain, H. Kautz, P. van Beek, \u201cConstraint propagation algorithms for temporal reasoning: a revised report\u201d, Readings in qualitative Reasoning about physical objects, pgg. 373\u2013381, 1990.","DOI":"10.1016\/B978-1-4832-1447-4.50034-1"}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:35:42Z","timestamp":1586579742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013983"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0013983","relation":{},"subject":[]}}