{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T17:13:39Z","timestamp":1784135619360,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642156748","type":"print"},{"value":"9783642156755","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_8","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T00:07:17Z","timestamp":1284336437000},"page":"64-76","source":"Crossref","is-referenced-by-count":9,"title":["A Normal Form for Linear Temporal Equilibrium Logic"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Cabalar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"8_CR1","first-page":"1070","volume-title":"Logic Programming: Proc. of the Fifth International Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Logic Programming: Proc. of the Fifth International Conference and Symposium, vol.\u00a02, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"8_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/978-3-642-04238-6_75","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Denecker","year":"2009","unstructured":"Denecker, M., Vennekens, J., Bond, S., Gebser, M., Truszczy\u0144ski, M.: The second Answer Set Programming competition. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS (LNAI), vol.\u00a05753, pp. 637\u2013654. Springer, Heidelberg (2009)"},{"key":"8_CR3","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence Journal\u00a04, 463\u2013512 (1969)","journal-title":"Machine Intelligence Journal"},{"key":"8_CR4","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1991)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Pearce, D.: A new logical characterisation of stable models and answer sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS(LNAI), vol.\u00a01216. Springer, Heidelberg (1997)","DOI":"10.1007\/BFb0023801"},{"issue":"1-2","key":"8_CR6","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. Annals of Mathematics and Artificial Intelligence\u00a047(1-2), 3\u201341 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"4","key":"8_CR7","first-page":"526","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. Computational Logic\u00a02(4), 526\u2013541 (2001)","journal-title":"Computational Logic"},{"key":"8_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/11546207_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P.: Answer sets for propositional theories. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"key":"8_CR9","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 372\u2013379 (2007)"},{"key":"8_CR10","unstructured":"Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, pp. 42\u201356 (1930)"},{"key":"8_CR11","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., Vega, G.P.: Temporal equilibrium logic: a first approach. In: Moreno D\u00edaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2007. LNCS, vol.\u00a04739, pp. 241\u2013248. Springer, Heidelberg (2007)"},{"key":"8_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-540-87803-2_3","volume-title":"Logics in Artificial Intelligence","author":"F. Aguado","year":"2008","unstructured":"Aguado, F., Cabalar, P., P\u00e9rez, G., Vidal, C.: Strongly equivalent temporal logic programs. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 8\u201320. Springer, Heidelberg (2008)"},{"issue":"6","key":"8_CR13","doi-asserted-by":"publisher","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. Theory and Practice of Logic Programming\u00a07(6), 745\u2013759 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR14","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., San Francisco (1991)"},{"key":"8_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/11595014_2","volume-title":"Progress in Artificial Intelligence","author":"P. Cabalar","year":"2005","unstructured":"Cabalar, P., Valverde, A., Pearce, D.: Reducing propositional theories in equilibrium logic to logic programs. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 4\u201317. Springer, Heidelberg (2005)"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-74610-2_8","volume-title":"Logic Programming","author":"P. Cabalar","year":"2007","unstructured":"Cabalar, P., Valverde, A., Pearce, D.: Minimal logic programs. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 104\u2013118. Springer, Heidelberg (2007)"},{"key":"8_CR17","unstructured":"Lin, F., Zhao, Y.: ASSAT: Computing answer sets of a logic program by SAT solvers. In: Artificial Intelligence, pp. 112\u2013117 (2002)"},{"key":"8_CR18","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)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T06:23:17Z","timestamp":1553062997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}