{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T16:40:02Z","timestamp":1748623202359,"version":"3.41.0"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_1","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Stable Models for Temporal Theories"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Cabalar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"key":"1_CR1","first-page":"463","volume-title":"Machine Intelligence","author":"J McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, pp. 463\u2013502. Edinburgh University Press, Edinburgh (1969)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4, 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription: a form of non-monotonic reasoning. Artif. Intell. 13, 27\u201339 (1980)","journal-title":"Artif. Intell."},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1023\/A:1004943332720","volume":"59","author":"J Mccarthy","year":"1997","unstructured":"Mccarthy, J.: Modality, si! modal logic, no!. Stud. Logica. 59(1), 29\u201332 (1997)","journal-title":"Stud. Logica."},{"issue":"5","key":"1_CR5","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1093\/logcom\/9.5.701","volume":"9","author":"MA Castilho","year":"1999","unstructured":"Castilho, M.A., Gasquet, O., Herzig, A.: Formalizing action and change in modal logic I: the frame problem. J. Logic Comput. 9(5), 701\u2013735 (1999)","journal-title":"J. Logic Comput."},{"issue":"5","key":"1_CR6","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1093\/logcom\/10.5.625","volume":"10","author":"L Giordano","year":"2000","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Ramification and causality in a modal action logic. J. Logic Comput. 10(5), 625\u2013662 (2000)","journal-title":"J. Logic Comput."},{"key":"1_CR7","unstructured":"Baral, C., Zhao, J.: Nonmonotonic temporal logics for goal specification. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 236\u2013242 (2007)"},{"key":"1_CR8","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. Logic Program. 17, 301\u2013321 (1993)","journal-title":"J. Logic Program."},{"key":"1_CR9","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Link\u00f6ping Electron. Art. Comput. Inf. Sci. 3(16) (1998). http:\/\/www.ep.liu.se\/ea\/cis\/1998\/016"},{"issue":"3\u20134","key":"1_CR10","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3\u20134), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"1_CR11","first-page":"169","volume-title":"The Logic Programming Paradigm","author":"V Marek","year":"1999","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., et al. (eds.) The Logic Programming Paradigm, pp. 169\u2013181. Springer, Heidelberg (1999)"},{"issue":"2","key":"1_CR12","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/AIC-2011-0496","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Sabuncu, O., Schaub, T.: An incremental answer set programming based system for finite model computation. AI Commun. 24(2), 195\u2013212 (2011)","journal-title":"AI Commun."},{"key":"1_CR13","unstructured":"Kautz, H.A., Selman, B.: Planning as satisfiability. In: Proceedings of the European Conference on Artificial Intelligence (ECAI 1992), pp. 359\u2013363 (1992)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-75867-9_31","volume-title":"Computer Aided Systems Theory \u2013 EUROCAST 2007","author":"P Cabalar","year":"2007","unstructured":"Cabalar, P., P\u00e9rez Vega, G.: Temporal equilibrium logic: a first approach. In: Moreno D\u00edaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2007. LNCS, vol. 4739, pp. 241\u2013248. Springer, Heidelberg (2007)"},{"key":"1_CR15","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming (ICLP 1988), Seattle, Washington, pp. 1070\u20131080 (1988)"},{"key":"1_CR16","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A Prior","year":"1967","unstructured":"Prior, A.: Past, Present and Future. Oxford University Press, Oxford (1967)"},{"key":"1_CR17","unstructured":"Kamp, H.: Tense logic and the theory of linear order. Ph.D. thesis, UCLA (1968)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Pearce, D.: A new logical characterisation of stable models and answer sets. In: Proceedings of Non-Monotonic Extensions of Logic Programming (NMELP 1996), Bad Honnef, Germany, pp. 57\u201370 (1996)","DOI":"10.1007\/BFb0023801"},{"key":"1_CR19","unstructured":"Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse (1930)"},{"issue":"1\u20132","key":"1_CR20","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"},{"key":"1_CR21","unstructured":"Balbiani, P., Di\u00e9guez, M.: An axiomatisation of the logic of temporal here-and-there (2015) (unpublished draft)"},{"key":"1_CR22","unstructured":"B\u00fcchi, J.R.: On a decision method in restricted second-order arithmetic. In: International Congress on Logic, Methodology, and Philosophy of Science, pp. 1\u201311 (1962)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-32211-2_5","volume-title":"Logic-Based Program Synthesis and Transformation","author":"P Cabalar","year":"2012","unstructured":"Cabalar, P., Demri, S.: Automata-based computation of temporal equilibrium models. In: Vidal, G. (ed.) LOPSTR 2011. LNCS, vol. 7225, pp. 57\u201372. Springer, Heidelberg (2012)"},{"key":"1_CR24","unstructured":"Cabalar, P., Di\u00e9guez, M., Vidal, C.: An infinitary encoding of temporal equilibrium logic. In: Proceedings of the 31st International Conference on Logic Programming (ICLP 2015) (2015)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Harrison, A., Lifschitz, V., Pearce, D., Valverde, A.: Infinitary equilibrium logic. In: Working Notes of Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2014) (2014)","DOI":"10.1007\/978-3-319-23264-5_33"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-89982-2_46","volume-title":"Logic Programming","author":"DJ Pearce","year":"2008","unstructured":"Pearce, D.J., Valverde, A.: Quantified equilibrium logic and foundations for answer set programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 546\u2013560. Springer, Heidelberg (2008)"},{"issue":"4","key":"1_CR27","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. Comput. Logic 2(4), 526\u2013541 (2001)","journal-title":"Comput. Logic"},{"key":"1_CR28","unstructured":"Cabalar, P., Di\u00e9guez, M.: Strong equivalence of non-monotonic temporal theories. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Vienna, Austria (2014)"},{"issue":"6","key":"1_CR29","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1017\/S1471068407003110","volume":"7","author":"P Cabalar","year":"2007","unstructured":"Cabalar, P., Ferraris, P.: Propositional theories are strongly equivalent to logic programs. Theor. Pract. Logic Program. 7(6), 745\u2013759 (2007)","journal-title":"Theor. Pract. Logic Program."},{"key":"1_CR30","unstructured":"Fisher, M.: A resolution method for temporal logic. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), pp. 99\u2013104. Morgan Kaufmann Publishers Inc. (1991)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-15675-5_8","volume-title":"Logics in Artificial Intelligence","author":"P Cabalar","year":"2010","unstructured":"Cabalar, P.: A normal form for linear temporal equilibrium logic. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 64\u201376. Springer, Heidelberg (2010)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Bozzelli, L., Pearce, D.: On the complexity of temporal equilibrium logic. In: Proceedings of the 30th Annual ACM\/IEEE Symposium of Logic in Computer Science (LICS 2015), Kyoto, Japan (2015, to appear)","DOI":"10.1109\/LICS.2015.65"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-20895-9_43","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P Cabalar","year":"2011","unstructured":"Cabalar, P., Di\u00e9guez, M.: STeLP \u2013 a tool for temporal answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 370\u2013375. Springer, Heidelberg (2011)"},{"key":"1_CR34","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Proceedings of the 11th International Conference on Logic programming (ICLP 1994), pp. 23\u201337 (1994)"},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-20895-9_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F Aguado","year":"2011","unstructured":"Aguado, F., Cabalar, P., P\u00e9rez, G., Vidal, C.: Loop formulas for splitable temporal logic programs. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 80\u201392. Springer, Heidelberg (2011)"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s10472-006-9025-2","volume":"47","author":"P Ferraris","year":"2006","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47, 79\u2013101 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"key":"1_CR37","unstructured":"Aguado, F., Cabalar, P., Di\u00e9guez, M., P\u00e9rez, G., Vidal, C.: Paving the way for temporal grounding. In: Proc. of the 28th International Conference on Logic Programming (ICLP 2012) (2012)"},{"key":"1_CR38","unstructured":"Cabalar, P., Di\u00e9guez, M.: Temporal stable models are LTL-representable. In: Proceedings of the 7th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2014) (2014)"},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-40564-8_3","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F Aguado","year":"2013","unstructured":"Aguado, F., P\u00e9rez, G., Vidal, C.: Integrating temporal extensions of answer set programming. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 23\u201335. Springer, Heidelberg (2013)"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Bertino, E., Mileo, A., Provetti, A.: PDL with preferences. In: 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), pp. 213\u2013222 (2005)","DOI":"10.1109\/POLICY.2005.21"}],"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-319-23264-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T16:22:38Z","timestamp":1748622158000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_1"}},"subtitle":["\u2014 Invited Talk \u2014"],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}