{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T17:14:28Z","timestamp":1781111668653,"version":"3.54.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031742088","type":"print"},{"value":"9783031742095","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-74209-5_23","type":"book-chapter","created":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T06:01:44Z","timestamp":1728626504000},"page":"304-316","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Fixpoint Characterisation of\u00a0Temporal Equilibrium Logic"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Cabalar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mart\u00edn","family":"Di\u00e9guez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Laferri\u00e8re","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Igor","family":"St\u00e9phan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,9]]},"reference":[{"issue":"3","key":"23_CR1","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","volume":"8","author":"M Abadi","year":"1989","unstructured":"Abadi, M., Manna, Z.: Temporal logic programming. J. Symb. Comput. 8(3), 277\u2013295 (1989)","journal-title":"J. Symb. Comput."},{"issue":"1\u20132","key":"23_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1080\/11663081.2013.798985","volume":"23","author":"F Aguado","year":"2013","unstructured":"Aguado, F., Cabalar, P., Di\u00e9guez, M., P\u00e9rez, G., Vidal, C.: Temporal equilibrium logic: a survey. J. Appl. Non-Classical Logics 23(1\u20132), 2\u201324 (2013)","journal-title":"J. Appl. Non-Classical Logics"},{"issue":"1","key":"23_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1017\/S1471068421000557","volume":"23","author":"F Aguado","year":"2023","unstructured":"Aguado, F., et al.: Linear-time temporal answer set programming. Theory Pract. Logic Program. 23(1), 2\u201356 (2023)","journal-title":"Theory Pract. Logic Program."},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-319-48758-8_6","volume-title":"Logics in Artificial Intelligence","author":"P Balbiani","year":"2016","unstructured":"Balbiani, P., Di\u00e9guez, M.: Temporal here and there. In: Michael, L., Kakas, A. (eds.) JELIA 2016. LNCS (LNAI), vol. 10021, pp. 81\u201396. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48758-8_6"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Boudou, J., Di\u00e9guez, M., Fern\u00e1ndez-Duque, D.: Intuitionistic linear temporal logics. ACM Trans. Comput. Log. 21(2), 14:1\u201314:32 (2020)","DOI":"10.1145\/3365833"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Becker, A., Cabalar, P., Di\u00e9guez, M., Schaub, T., Schuhmann, A.: Metric temporal equilibrium logic over timed traces. Theory Pract. Log. Program. (2024, to appear)","DOI":"10.1017\/S1471068424000139"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Besnard, P.: An Introduction to Default Logic. Symbolic Computation\u2014Artifical Intelligence. Springer, Heidelberg (1989)","DOI":"10.1007\/978-3-662-05689-9"},{"key":"23_CR8","unstructured":"Bosser, A., Cabalar, P., Di\u00e9guez, M., Schaub, T.: Introducing temporal stable models for linear dynamic logic. In: Thielscher, M., Toni, F., Wolter, F. (eds.) Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), pp. 12\u201321. AAAI Press (2018)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Chagrov, A.V., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol. 35. Oxford University Press, Oxford (1997)","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"23_CR10","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the Fifth International Conference and Symposium of Logic Programming (ICLP 1988), pp. 1070\u20131080. MIT Press (1988)"},{"issue":"2\u20134","key":"23_CR11","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. J. Log. Program. 17(2\u20134), 301\u2013321 (1993)","journal-title":"J. Log. Program."},{"issue":"2","key":"23_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1017\/S1471068411000639","volume":"13","author":"L Giordano","year":"2013","unstructured":"Giordano, L., Martelli, A., Theseider Dupr\u00e9, D.: Reasoning about actions with temporal answer sets. Theory Pract. Logic Program. 13(2), 201\u2013225 (2013)","journal-title":"Theory Pract. Logic Program."},{"key":"23_CR13","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Tiuryn, J., Kozen, D.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Heyting, A.: Die formalen Regeln der intuitionistischen Logik. In: Sitzungsberichte der Preussischen Akademie der Wissenschaften, pp. 42\u201356. Deutsche Akademie der Wissenschaften zu Berlin (1930), reprint in Logik-Texte: Kommentierte Auswahl zur Geschichte der Modernen Logik, Akademie-Verlag (1986)","DOI":"10.1515\/9783112645826-009"},{"issue":"1\u20132","key":"23_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138(1\u20132), 39\u201354 (2002)","journal-title":"Artif. Intell."},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/978-3-642-15025-8_24","volume-title":"Fields of Logic and Computation","author":"V Lifschitz","year":"2010","unstructured":"Lifschitz, V.: Thirteen definitions of a stable model. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 488\u2013503. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15025-8_24"},{"key":"23_CR17","doi-asserted-by":"publisher","unstructured":"Marek, V., Truszczy\u0144ski, M.: Nonmonotonic Logic: Context-dependent Reasoning. Artifical Intelligence. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/978-3-662-02906-0","DOI":"10.1007\/978-3-662-02906-0"},{"key":"23_CR18","volume-title":"A Short Introduction to Intuitionistic Logic","author":"G Mints","year":"2000","unstructured":"Mints, G.: A Short Introduction to Intuitionistic Logic. Kluwer Academic Publishers, USA (2000)"},{"issue":"1","key":"23_CR19","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.apal.2004.06.012","volume":"134","author":"M Osorio","year":"2005","unstructured":"Osorio, M., Navarro P\u00e9rez, J.A., Arrazola, J.: Safe beliefs for propositional theories. Ann. Pure Appl. Logic 134(1), 63\u201382 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Pearce, D.: From here to there: stable negation in logic programming. In: Gabbay, D., Wansing, H. (eds.) What is Negation?, pp. 161\u2013181. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-015-9309-0_8"},{"issue":"1\u20132","key":"23_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-006-9028-z","volume":"47","author":"D Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. Ann. Math. Artif. Intell. 47(1\u20132), 3\u201341 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the Eight-Teenth Symposium on Foundations of Computer Science (FOCS 1977), pp. 46\u201357. IEEE Computer Society Press (1977)","DOI":"10.1109\/SFCS.1977.32"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74209-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T17:03:27Z","timestamp":1736615007000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74209-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,9]]},"ISBN":["9783031742088","9783031742095"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74209-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,9]]},"assertion":[{"value":"9 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LPNMR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic Programming and Nonmonotonic Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dallas, TX","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lpnmr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lpnmr2024.demacs.unical.it","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}