{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:12:59Z","timestamp":1725574379745},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540238065"},{"type":"electronic","value":"9783540304982"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30498-2_41","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T00:21:59Z","timestamp":1294446119000},"page":"408-418","source":"Crossref","is-referenced-by-count":0,"title":["A First Order Temporal Logic for Behavior Representation"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Rossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Enciso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1ngel","family":"Mora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"41_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"Allen, J.F.: Towards a general theory of action and time. Artificial Intelligence\u00a023(2), 123\u2013154 (1984)","journal-title":"Artificial Intelligence"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"Burrieza, A., de Guzm\u00e1n, I.P.: A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. Journal of Applied non Classical Logic\u00a02 (1992)","DOI":"10.1080\/11663081.1992.10510781"},{"volume-title":"Logics for database and information systems","year":"1998","key":"41_CR3","unstructured":"Chomicki, J., Saake, G. (eds.): Logics for database and information systems. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"41_CR4","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s00236-002-0087-2","volume":"38","author":"P. Cordero","year":"2002","unstructured":"Cordero, P., Enciso, M., de Guzm\u00e1n, I.P.: Bases for closed sets of implicants and implicates in temporal logic. Acta Informatica\u00a038, 599\u2013619 (2002)","journal-title":"Acta Informatica"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"P\u00e9rez de Guzm\u00e1n, I., Rossi, C.: LNint: a temporal logic that combines points and intervals and the absolute and relative approaches. Journal of the IGPL\u00a03(5) (1995)","DOI":"10.1093\/jigpal\/3.5.745"},{"key":"41_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/3-540-61630-6_22","volume-title":"Logics in Artificial Intelligence","author":"M. Enciso","year":"1996","unstructured":"Enciso, M., de Guzm\u00e1n, I.P., Rossi, C.: Temporal reasoning over linear discrete time. In: Or\u0142owska, E., Alferes, J.J., Moniz Pereira, L. (eds.) JELIA 1996. LNCS (LNAI), vol.\u00a01126, pp. 303\u2013319. Springer, Heidelberg (1996)"},{"key":"41_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2002 Workshop on Integration and Transformation of UML Models","author":"M. Enciso","year":"2002","unstructured":"Enciso, M., de Guzm\u00e1n, I.P., Rossi, C.: Using temporal logic to represent dynamic behaviour of UML statecharts. In: Hern\u00e1ndez, J., Moreira, A. (eds.) ECOOP 2002 Workshop on Integration and Transformation of UML Models. LNCS, vol.\u00a02548. Springer, Heidelberg (2002)"},{"issue":"23","key":"41_CR8","first-page":"55","volume":"8","author":"M. Enciso","year":"2004","unstructured":"Enciso, M., de Guzm\u00e1n, I.P., Rossi, C.: Una forma normal temporal independiente del m\u00e9todo de deducci\u00b4on. Inteligencia Artificial\u00a08(23), 55\u201374 (2004)","journal-title":"Inteligencia Artificial"},{"issue":"2","key":"41_CR9","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1093\/logcom\/14.2.215","volume":"14","author":"D.P. Guelev","year":"2004","unstructured":"Guelev, D.P.: A complete proof system for first-order interval temporal logic with projection. Journal of Logic and Computation\u00a014(2), 215\u2013249 (2004)","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"41_CR10","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J. Halpern","year":"1991","unstructured":"Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. Journal of the ACM\u00a038(4), 935\u2013962 (1991)","journal-title":"Journal of the ACM"},{"key":"41_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"5","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a05, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"41_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Knapp","year":"2002","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model Checking Timed UML State Machines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 395\u2013416. Springer, Heidelberg (2002)"},{"issue":"3","key":"41_CR13","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"41_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal verification of reactive systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal verification of reactive systems: Safety. Springer, Heidelberg (1995)"},{"key":"41_CR15","unstructured":"ObjectManagement Group.UML2.0 Specification (2004), http:\/\/www.omg.org\/uml"},{"key":"41_CR16","unstructured":"Rossi, C.: L\u00f3gica Temporal de Intervalos. Formalizaci\u00b4on de Diagramas de Estados. PhD thesis, Universidad de M\u00e1laga, Spain (2001)"},{"issue":"1","key":"41_CR17","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10270-003-0029-7","volume":"3","author":"C. Rossi","year":"2004","unstructured":"Rossi, C., Enciso, M., de Guzm\u00b4an, I.P.: Formalization of UML state machines using temporal logic. Journal on Software and Systems Modeling\u00a03(1), 31\u201354 (2004)","journal-title":"Journal on Software and Systems Modeling"},{"key":"41_CR18","volume-title":"Time and Causation from the Standpoint of Artificial Intelligence","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y.: Reasoning about Change. In: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge (1988)"},{"key":"41_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/3-540-48257-1_25","volume-title":"Applied Formal Methods - FM-Trends 98","author":"O. Slotosch","year":"1999","unstructured":"Slotosch, O.: Overview over the project QUEST. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 346\u2013350. Springer, Heidelberg (1999)"},{"key":"41_CR20","series-title":"Lecture Notes in Computer Science","first-page":"128","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"M. Beeck von der","year":"1994","unstructured":"von der Beeck, M.: A comparison of statechart variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863, pp. 128\u2013148. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2013 IBERAMIA 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30498-2_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:56:28Z","timestamp":1605761788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30498-2_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540238065","9783540304982"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30498-2_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}