{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T21:01:18Z","timestamp":1750453278864},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878025"},{"type":"electronic","value":"9783540878032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87803-2_3","type":"book-chapter","created":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T10:35:16Z","timestamp":1222166116000},"page":"8-20","source":"Crossref","is-referenced-by-count":7,"title":["Strongly Equivalent Temporal Logic Programs"],"prefix":"10.1007","author":[{"given":"Felicidad","family":"Aguado","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Cabalar","sequence":"additional","affiliation":[]},{"given":"Gilberto","family":"P\u00e9rez","sequence":"additional","affiliation":[]},{"given":"Concepci\u00f3n","family":"Vidal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"169","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"V. Marek","year":"1999","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 169\u2013181. Springer, Heidelberg (1999)"},{"key":"3_CR2","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. Annals of Mathematics and Artificial Intelligence\u00a025, 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"3_CR3","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":"3_CR4","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving, pp. 285\u2013316. Elsevier, Amsterdam (2003)"},{"key":"3_CR5","first-page":"285","volume-title":"Handbook of Knowledge Representation","author":"M. Gelfond","year":"2007","unstructured":"Gelfond, M.: Answer Sets. In: Handbook of Knowledge Representation, pp. 285\u2013316. Elsevier, Amsterdam (2007)"},{"key":"3_CR6","unstructured":"WASP: ASP solvers web page (last update, 2005), http:\/\/dit.unitn.it\/~wasp\/Solvers\/index.html"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023801","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"D. Pearce","year":"1997","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, vol.\u00a01216. Springer, Heidelberg (1997)"},{"issue":"4","key":"3_CR8","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. Computational Logic\u00a02(4), 526\u2013541 (2001)","journal-title":"Computational Logic"},{"key":"3_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-540-30227-8_15","volume-title":"Logics in Artificial Intelligence","author":"D. Pearce","year":"2004","unstructured":"Pearce, D., Valverde, A.: Towards a first order equilibrium logic for nonmonotonic reasoning. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 147\u2013160. Springer, Heidelberg (2004)"},{"key":"3_CR10","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 372\u2013379 (2004)"},{"key":"3_CR11","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":"3_CR12","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence Journal\u00a0153, 49\u2013104 (2004)","journal-title":"Artificial Intelligence Journal"},{"key":"3_CR13","unstructured":"Ferraris, P.: Causal theories as logic programs. In: Proc. of the 20th Workshop on Logic Programming (WLP 2006) (2006)"},{"key":"3_CR14","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Link\u00f6ping Electronic Articles in Computer and Information Science\u00a03(16) (1998)"},{"key":"3_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/11546207_42","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"2005","unstructured":"Eiter, T., Faber, W., Traxler, P.: Testing strong equivalence of datalog programs - implementation and examples. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 437\u2013441. Springer, Heidelberg (2005)"},{"key":"3_CR16","unstructured":"Cabalar, P.: QHT - a prover for quantified here and there (2008), http:\/\/www.dc.fi.udc.es\/~cabalar\/eqwb.html"},{"key":"3_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_17","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V. Lifschitz","year":"2007","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: A characterization of strong equivalence for logic programs with variables. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483. Springer, Heidelberg (2007)"},{"key":"3_CR18","unstructured":"Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften. Physikalisch-mathematische Klasse, 42\u201356 (1930)"},{"key":"3_CR19","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":"3_CR20","unstructured":"Kamp, J.A.: Tense Logic and the Theory of Linear Order. PhD thesis, University of California at Los Angeles (1968)"},{"key":"3_CR21","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":"3_CR22","series-title":"Lecture Notes in Artificial Intelligence","first-page":"306","volume-title":"Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving","author":"D. Pearce","year":"2001","unstructured":"Pearce, D., Tompits, H., Woltran, S.: Encodings of equilibrium logic and logic programs with nested expressions. In: Bradzil, P., Jorge, A. (eds.) EPIA 2001. LNCS (LNAI), vol.\u00a02258, pp. 306\u2013320. Springer, Heidelberg (2001)"},{"key":"3_CR23","first-page":"170","volume-title":"Proc. of the 8th Intl. Conf. on Principles and Knowledge Representation and Reasoning (KR 2002)","author":"F. Lin","year":"2002","unstructured":"Lin, F.: Reducing strong equivalence of logic programs to entailment in classical propositional logic. In: Bradzil, P., Jorge, A. (eds.) Proc. of the 8th Intl. Conf. on Principles and Knowledge Representation and Reasoning (KR 2002), pp. 170\u2013176. Morgan Kaufmann, San Francisco (2002)"},{"issue":"2","key":"3_CR24","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/AIC-1996-9203","volume":"9","author":"A. Heuerding","year":"1996","unstructured":"Heuerding, A., J\u00e4ger, G., Schwendimann, S., Seyfried, M.: A logics workbench. AI Communications\u00a09(2), 53\u201358 (1996)","journal-title":"AI Communications"},{"issue":"1\u20132","key":"3_CR25","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"Thielscher, M.: Ramification and causality. Artificial Intelligence Journal\u00a089(1\u20132), 317\u2013364 (1997)","journal-title":"Artificial Intelligence Journal"},{"key":"3_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"734","DOI":"10.1007\/978-3-540-30227-8_69","volume-title":"Logics in Artificial Intelligence","author":"A. Valverde","year":"2004","unstructured":"Valverde, A.: tabeql: A tableau based suite for equilibrium logic. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 734\u2013737. Springer, Heidelberg (2004)"},{"key":"3_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/11546207_43","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Chen","year":"2005","unstructured":"Chen, Y., Lin, F., Li, L.: SELP - a system for studying strong equivalence between logic programs. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 442\u2013446. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87803-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:06:56Z","timestamp":1606183616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87803-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878025","9783540878032"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87803-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}