{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:18:32Z","timestamp":1740147512173,"version":"3.37.3"},"reference-count":33,"publisher":"Informa UK Limited","issue":"3-4","funder":[{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN2013-42149-P"],"award-info":[{"award-number":["TIN2013-42149-P"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Centre International de Math\u00e9matiques et Informatique de Toulouse (FR)","award":["ANR-11-LABX-0040-CIMI"],"award-info":[{"award-number":["ANR-11-LABX-0040-CIMI"]}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2017,10,2]]},"DOI":"10.1080\/11663081.2018.1427987","type":"journal-article","created":{"date-parts":[[2018,2,7]],"date-time":"2018-02-07T13:08:37Z","timestamp":1518008917000},"page":"161-177","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":4,"title":["Temporal Equilibrium Logic with past operators"],"prefix":"10.1080","volume":"27","author":[{"given":"Felicidad","family":"Aguado","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Corunna, Corunna, Spain."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Cabalar","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Corunna, Corunna, Spain."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"Di\u00e9guez","sequence":"additional","affiliation":[{"name":"IRIT, CNRS, University of Toulouse, Toulouse, France."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilberto","family":"P\u00e9rez","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Corunna, Corunna, Spain."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Concepci\u00f3n","family":"Vidal","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Corunna, Corunna, Spain."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2018,2,7]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(89)80070-7"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2013.798985"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_9"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48758-8_6"},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1093\/oso\/9780198537755.003.0003","volume-title":"Intensional logics for programming","author":"Baudinet M.","year":"1992"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48758-8_11"},{"key":"CIT0007","series-title":"Lecture notes in artificial intelligence","first-page":"1","volume-title":"Proceedings of the 13th international conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2015)","volume":"9345","author":"Cabalar P.","year":"2015"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_43"},{"key":"CIT0009","first-page":"598","volume-title":"Proceedings of the 14th international conference on principles of Knowledge Representation and Reasoning (KR 2014)","author":"Cabalar P.","year":"2014"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75867-9_31"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037381"},{"key":"CIT0012","first-page":"219","volume":"26","author":"Fari\u00f1as del Cerro L.","year":"1983","journal-title":"Logique et Analyse"},{"key":"CIT0013","first-page":"372","volume-title":"Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)","author":"Ferraris P.","year":"2007"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1007\/BF02121259"},{"key":"CIT0015","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-51803-7_36","volume-title":"Proceedings of the 1st conference on Temporal Logic in Specification (TLS\u20191987)","volume":"398","author":"Gabbay D. M.","year":"1987"},{"key":"CIT0016","first-page":"197","volume-title":"Temporal Logics and their Applications","author":"Gabbay D. M.","year":"1987"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567462"},{"first-page":"613","volume-title":"Proceedings of the 13th international conference on principles of Knowledge Representation and Reasoning (KR 2012)","author":"Gebser M.","key":"CIT0018"},{"key":"CIT0019","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/AIC-2011-0496","volume":"24","author":"Gebser M.","year":"2011","journal-title":"AI Communications"},{"key":"CIT0020","first-page":"1070","volume-title":"Logic Programming: Proceedings of the Fifth International Conference and Symposium","volume":"2","author":"Gelfond M.","year":"1988"},{"key":"CIT0021","first-page":"42","author":"Heyting A.","year":"1930","journal-title":"Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse"},{"volume-title":"Tense Logic and the Theory of Linear Order (PhD thesis)","year":"1968","author":"Kamp J. A.","key":"CIT0022"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"CIT0024","first-page":"122","volume":"79","author":"Markey N.","year":"2003","journal-title":"EATCS Bulletin"},{"key":"CIT0025","first-page":"642","volume-title":"Proceedings of the 14th international conference on principles of Knowledge Representation and Reasoning (KR 2014)","author":"Morgenstern L.","year":"2014"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50008-4"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014004"},{"key":"CIT0029","first-page":"21","volume-title":"Intensional logics for programming","author":"Orgun M. A.","year":"1992"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023801"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_46"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"CIT0033","first-page":"234","volume":"8","author":"Tseitin G. S.","year":"1968","journal-title":"Zapiski nauchnykh seminarov LOMI"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2018.1427987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T01:16:05Z","timestamp":1719796565000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2018.1427987"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,2]]},"references-count":33,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2018,3]]},"published-print":{"date-parts":[[2017,10,2]]}},"alternative-id":["10.1080\/11663081.2018.1427987"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2018.1427987","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2017,10,2]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"}]}}