{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T21:10:26Z","timestamp":1684098626059},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T00:00:00Z","timestamp":1164931200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2006,12]]},"DOI":"10.1007\/s10462-007-9051-4","type":"journal-article","created":{"date-parts":[[2007,11,19]],"date-time":"2007-11-19T13:10:44Z","timestamp":1195477844000},"page":"269-289","source":"Crossref","is-referenced-by-count":0,"title":["Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states"],"prefix":"10.1007","volume":"26","author":[{"given":"Rodolfo Sab\u00e1s","family":"G\u00f3mez","sequence":"first","affiliation":[]},{"given":"Juan Carlos","family":"Augusto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,11,20]]},"reference":[{"issue":"3","key":"9051_CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","volume":"8","author":"M Abadi","year":"1989","unstructured":"Abadi M and Manna Z (1989). Temporal logic programming. J Symb Comput 8(3): 277\u2013295","journal-title":"J Symb Comput"},{"issue":"11","key":"9051_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen JF (1983). Maintaining knowledge about temporal intervals. Commun ACM 26(11): 832\u2013843","journal-title":"Commun ACM"},{"issue":"2","key":"9051_CR3","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"JF Allen","year":"1984","unstructured":"Allen JF (1984). Towards a general theory of action and time. Artif Intell 23(2): 123\u2013154","journal-title":"Artif Intell"},{"key":"9051_CR4","unstructured":"Artale A, Fisher M, Theodoludis B (eds) (2002) TIME \u201902: Proceedings of the 9th International Workshop on Temporal Representation and Reasoning. IEEE Press"},{"key":"9051_CR5","doi-asserted-by":"crossref","unstructured":"Baudinet M (1989) Temporal logic programming is complete and expressive. In: POPL \u201989: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, pp 267\u2013280","DOI":"10.1145\/75277.75301"},{"key":"9051_CR6","unstructured":"Baudinet M (1992) A simple proof of completeness of temporal logic programming. In: del Cerro LF, Penttonen M (eds) Intensional logics for programming. Oxford University Press, pp 50\u201383"},{"issue":"2","key":"9051_CR7","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1006\/inco.1995.1036","volume":"117","author":"M Baudinet","year":"1995","unstructured":"Baudinet M (1995). On the expressiveness of temporal logic programming. Inf Comput 117(2): 157\u2013180","journal-title":"Inf Comput"},{"key":"9051_CR8","doi-asserted-by":"crossref","unstructured":"Baudinet M, Niezette M, Wolper P (1991) On the representation of infinite temporal data and queries. In: PODS \u201991: Proceedings of the 10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM Press, pp 280\u2013290","DOI":"10.1145\/113413.113439"},{"key":"9051_CR9","unstructured":"Baudinet M, Chomiki J, Wolper P (1993) Temporal deductive databases. In: Tansel A, Clifford J, Gadia S, Jajodia S, Segev A, Snodgrass R (eds) Temporal data bases: theory, design and implementation. The Benjamin Cummings Pub. Co."},{"key":"9051_CR10","unstructured":"Bettini C, Montanari A (eds) (2001) TIME \u201901: Proceedings of the 8th International Workshop on Temporal Representation and Reasoning. IEEE Press"},{"key":"9051_CR11","doi-asserted-by":"crossref","unstructured":"Bettini C, Dyreson CE, Evans WS, Snodgrass RT, Wang XS (1998a) A glossary of time granularity concepts. In: Etzioni O, Jajodia S, Sripada S (eds) Temporal databases: research and practice. Springer-Verlag","DOI":"10.1007\/BFb0053711"},{"key":"9051_CR12","doi-asserted-by":"crossref","unstructured":"Bettini C, Wang XS, Jajodia S (1998b) Temporal semantic assumptions and their use in databases. IEEE Trans Knowl Data Eng 10(2)","DOI":"10.1109\/69.683757"},{"key":"9051_CR13","doi-asserted-by":"crossref","unstructured":"Bohlen M, Chomicki J, Snodgrass RT, Toman D (1996) Querying TSQL2 databases with temporal logic. In: EDBT \u201996: Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology, LNCS, vol 1057. pp 325\u2013341","DOI":"10.1007\/BFb0014161"},{"issue":"2","key":"9051_CR14","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1111\/0824-7935.00115","volume":"16","author":"I Cervesato","year":"2000","unstructured":"Cervesato I, Franceschet M and Montanari A (2000). A guided tour through some extensions of the Event Calculus. Comput Intell 16(2): 307\u2013347","journal-title":"Comput Intell"},{"issue":"3","key":"9051_CR15","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1111\/j.1467-8640.1996.tb00267.x","volume":"12","author":"L Chittaro","year":"1996","unstructured":"Chittaro L and Montanari A (1996). Efficient temporal reasoning in the cached Event Calculus. Comput Intell 12(3): 359\u2013382","journal-title":"Comput Intell"},{"key":"9051_CR16","unstructured":"Chomicki J (1990a) Functional deductive databases: query processing in the presence of limited functional symbols. PhD thesis, Rutgers University, New Brunswick, New Jersey"},{"key":"9051_CR17","doi-asserted-by":"crossref","unstructured":"Chomicki J (1990b) Polynomial time query processing in temporal deductive databases. In: PODS \u201990: Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM Press, pp 379\u2013391","DOI":"10.1145\/298514.298589"},{"key":"9051_CR18","doi-asserted-by":"crossref","unstructured":"Chomicki J (1994) Temporal query languages: a survey. In: ICTL\u201994: Proceedings of the 1st International Conference on Temporal Logic, LNCS, vol 827. Springer-Verlag, pp 506\u2013534","DOI":"10.1007\/BFb0014006"},{"issue":"2","key":"9051_CR19","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/249978.249980","volume":"22","author":"J Clifford","year":"1997","unstructured":"Clifford J, Dyreson CE, Isakowitz T, Jensen CS and Snodgrass RT (1997). On the semantics of now in databases. ACM Trans Database Syst 22(2): 171\u2013214","journal-title":"ACM Trans Database Syst"},{"key":"9051_CR20","doi-asserted-by":"crossref","unstructured":"Cobo ML, Augusto JC (1999) EMTPL: a programming language for temporal deductive data bases. In: SCCC \u201999: Proceedings of the 19th International Conference of the Chilean Computer Science Society. IEEE Computer Society, pp 170\u2013178","DOI":"10.1109\/SCCC.1999.810176"},{"issue":"1","key":"9051_CR21","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF00627434","volume":"9","author":"D Dowty","year":"1986","unstructured":"Dowty D (1986). The effects of the aspectual class on the temporal structure of discourse. Linguist Philos 9(1): 37\u201361","journal-title":"Linguist Philos"},{"issue":"1","key":"9051_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/288086.288087","volume":"23","author":"CE Dyreson","year":"1998","unstructured":"Dyreson CE and Snodgrass RT (1998). Supporting valid-time indeterminacy. ACM Transac Database Syst 23(1): 1\u201357","journal-title":"ACM Transac Database Syst"},{"issue":"1","key":"9051_CR23","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/181550.181560","volume":"23","author":"C Dyreson","year":"1994","unstructured":"Dyreson C, Grandi F, K\u00e4fer W, Kline N, Lorentzos N, Mitsopoulos Y, Montanari A, Nonen D, Peressi E, Pernici B, Roddick JF, Sarda NL, Scalas MR, Segev A, Snodgrass RT, Soo MD, Tansel A, Tiberio P and Wiederhold G (1994). A consensus glossary of temporal database concepts. SIGMOD Rec 23(1): 52\u201364","journal-title":"SIGMOD Rec"},{"key":"9051_CR24","doi-asserted-by":"crossref","unstructured":"Etzioni O, Jajodia S, Sripada S (eds) (1998) Temporal databases: research and practice. Springer-Verlag","DOI":"10.1007\/BFb0053695"},{"issue":"1","key":"9051_CR25","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"C Freksa","year":"1992","unstructured":"Freksa C (1992). Temporal reasoning based on semi-intervals. Artif Intell 54(1): 199\u2013227","journal-title":"Artif Intell"},{"issue":"2","key":"9051_CR26","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H Gallaire","year":"1984","unstructured":"Gallaire H, Minker J and Nicolas JM (1984). Logic and databases: a deductive approach. ACM Comput Surv 16(2): 153\u2013185","journal-title":"ACM Comput Surv"},{"key":"9051_CR27","doi-asserted-by":"crossref","unstructured":"Galton A (2005) Eventualities. In: Fisher M, Gabbay D, Vila L (eds) Handbook of temporal reasoning in artificial intelligence. Elsevier","DOI":"10.1016\/S1574-6526(05)80004-5"},{"key":"9051_CR28","doi-asserted-by":"crossref","unstructured":"Galton A, Augusto JC (2002) Two approaches to event definition. In: Hameurlain A, Cicchetti R, Traunm\u00fcller R (eds) DEXA \u201902: Proceedings of 13th International Conference on Database and Expert Systems Applications. Springer-Verlag, pp 547\u2013556","DOI":"10.1007\/3-540-46146-9_54"},{"key":"9051_CR29","unstructured":"G\u00f3mez RS, Augusto JC (2000) Un An\u00e1lisis comparativo de Lenguajes de Consulta para Bases de Datos Temporales. In: Proceedings del VI Congreso Argentino de Ciencias de la Computaci\u00f3n. CACIC2000, pp 111\u2013122"},{"key":"9051_CR30","unstructured":"G\u00f3mez RS, Augusto JC (2004) Durative event composition in active databases. In: ICEIS \u201904: Proceedings of the 6th International Conference on Enterprise Information Systems. INSTICC Press, vol 1. pp 306\u2013311"},{"key":"9051_CR31","unstructured":"Goodwin S, Trudel A (eds) (2000) TIME \u201900: Proceedings of the 7th International Workshop on Temporal Representation and Reasoning. IEEE Press"},{"issue":"3","key":"9051_CR32","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/131295.131297","volume":"35","author":"J Grant","year":"1992","unstructured":"Grant J and Minker J (1992). The impact of logic programming on databases. Commun ACM 35(3): 66\u201381","journal-title":"Commun ACM"},{"key":"9051_CR33","doi-asserted-by":"crossref","unstructured":"Hamblin CL (1972) Instants and intervals. In: Fraser J, Haber F, Muller G (eds) The study of time. Springer-Verlag, pp 324\u2013328","DOI":"10.1007\/978-3-642-65387-2_23"},{"issue":"4","key":"9051_CR34","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0306-4379(96)00017-8","volume":"21","author":"CS Jensen","year":"1996","unstructured":"Jensen CS and Snodgrass RT (1996). Semantics of time-varying information. Inf Syst 21(4): 311\u2013352","journal-title":"Inf Syst"},{"key":"9051_CR35","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0743-1066(92)90041-Z","volume":"12","author":"R Kowalski","year":"1992","unstructured":"Kowalski R (1992). Database updates in the Event Calculus. J Logic Program 12: 121\u2013146","journal-title":"J Logic Program"},{"key":"9051_CR36","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski R and Sergot M (1986). A logic-based calculus of events. New Generat Comput 4: 67\u201395","journal-title":"New Generat Comput"},{"key":"9051_CR37","doi-asserted-by":"crossref","unstructured":"Lloyd JW (1987) Foundations of logic programming, 2nd edn. Springer-Verlag","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"4","key":"9051_CR38","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/125137.125166","volume":"23","author":"LE McKenzie","year":"1991","unstructured":"McKenzie LE and Snodgrass RT (1991). Evaluation of relational algebras incorporating the time dimension in databases. ACM Comput Surv 23(4): 501\u2013543","journal-title":"ACM Comput Surv"},{"key":"9051_CR39","unstructured":"Morris R, Khatib L (eds) (1999) TIME \u201999: Proceedings of the 6th International Workshop on Temporal Representation and Reasoning. IEEE Press"},{"issue":"1","key":"9051_CR40","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(93)90222-F","volume":"116","author":"P Revesz","year":"1993","unstructured":"Revesz P (1993). A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Theor Comput Sci 116(1): 117\u2013149","journal-title":"Theor Comput Sci"},{"key":"9051_CR41","unstructured":"Reynolds M, Sattar A (eds) (2003) TIME \u201903: Proceedings of the 10th International Workshop on Temporal Representation and Reasoning. IEEE Press"},{"issue":"2","key":"9051_CR42","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/22952.22956","volume":"12","author":"RT Snodgrass","year":"1987","unstructured":"Snodgrass RT (1987). The temporal query languaje TQuel. ACM Trans Database Syst 12(2): 247\u2013298","journal-title":"ACM Trans Database Syst"},{"key":"9051_CR43","doi-asserted-by":"crossref","unstructured":"Snodgrass RT (ed) (1995) The TSQL2 temporal query language. Kluwer Academic Publishers","DOI":"10.1007\/978-1-4615-2289-8"},{"issue":"9","key":"9051_CR44","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/MC.1986.1663327","volume":"19","author":"RT Snodgrass","year":"1986","unstructured":"Snodgrass RT and Ahn I (1986). Temporal databases. Computer 19(9): 35\u201342","journal-title":"Computer"},{"issue":"3","key":"9051_CR45","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1145\/320473.320476","volume":"1","author":"M Stonebraker","year":"1976","unstructured":"Stonebraker M, Wong E, Kreps P and Held G (1976). The design and implementation of INGRES. ACM Trans Database Syst 1(3): 189\u2013222","journal-title":"ACM Trans Database Syst"},{"key":"9051_CR46","doi-asserted-by":"crossref","unstructured":"Tansel A, Tin E (1998) Expressive power of temporal relational query languages and temporal completeness. In: Etzioni O, Jajodia S, Sripada S (eds) Temporal databases: research And Practice. Springer-Verlag","DOI":"10.1007\/BFb0053701"},{"key":"9051_CR47","unstructured":"Tansel A, Clifford J, Gadia S, Jajodia S, Segev A, Snodgrass RT (1993) Temporal data bases (Theory, design and implementation). The Benjamin Cummings Pub. Co."},{"key":"9051_CR48","doi-asserted-by":"crossref","unstructured":"Terenziani P (2000) Is point-based semantics always adequate for temporal databases? In: TIME \u201900: Proceedings of the 7th International Workshop on Temporal Representation and Reasoning. IEEE Press, pp 191\u2013199","DOI":"10.1109\/TIME.2000.856601"},{"key":"9051_CR49","doi-asserted-by":"crossref","unstructured":"Toman D (1996) Point vs. interval-based query languages for temporal databases. In: PODS \u201996: Proceedings of the 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM, pp 58\u201367","DOI":"10.1145\/237661.237676"},{"key":"9051_CR50","doi-asserted-by":"crossref","unstructured":"Toman D, Niwinski D (1996) First-order queries over temporal databases inexpressible in temporal logic. In: EDBT \u201996: Proceedings of the 5th International Conference on Extending Database Technology. Springer-Verlag, pp 307\u2013324","DOI":"10.1007\/BFb0014160"},{"key":"9051_CR51","unstructured":"Toman D, Chomicki J, Rogers D (1994) Datalog with integer periodicity constraints. In: Proceedings of the 1994 International Symposium on Logic Programming. MIT Press, pp 189\u2013203"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-007-9051-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-007-9051-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-007-9051-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T20:49:40Z","timestamp":1684097380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-007-9051-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":51,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["9051"],"URL":"https:\/\/doi.org\/10.1007\/s10462-007-9051-4","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}