{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T20:14:13Z","timestamp":1684872853264},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T00:00:00Z","timestamp":1217548800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s10472-009-9119-8","type":"journal-article","created":{"date-parts":[[2009,1,27]],"date-time":"2009-01-27T12:20:06Z","timestamp":1233058806000},"page":"331-365","source":"Crossref","is-referenced-by-count":3,"title":["Hyperequivalence of logic programs with respect to supported models"],"prefix":"10.1007","volume":"53","author":[{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,1,28]]},"reference":[{"key":"9119_CR1","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K. Apt","year":"1990","unstructured":"Apt, K.: Logic programming. In: van Leeuven, J. (ed.) Handbook of Theoretical Computer Science, pp.\u00a0493\u2013574. Elsevier, Amsterdam (1990)"},{"issue":"3","key":"9119_CR2","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0743-1066(96)00115-X","volume":"32","author":"S. Brass","year":"1997","unstructured":"Brass, S., Dix, J.: Characterizations of the disjunctive stable semantics by partial evaluation. J. Log. Program. 32(3), 207\u2013228 (1997)","journal-title":"J. Log. Program."},{"key":"9119_CR3","first-page":"346","volume-title":"Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006, LNCS, vol.\u00a04079","author":"P. Cabalar","year":"2006","unstructured":"Cabalar, P., Odintsov, S., Pearce, D., Valverde, A.: Analysing and extending well-founded and partial stable semantics using partial equilibrium logic. In: Etalle, S., Truszczynski, M. (eds.) Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006), LNCS, vol.\u00a04079, pp.\u00a0346\u2013360. Springer, Berlin (2006)"},{"key":"9119_CR4","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp.\u00a0293\u2013322. Plenum, New York (1978)"},{"issue":"3","key":"9119_CR5","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1017\/S147106840200159X","volume":"3","author":"D. Jongh de","year":"2003","unstructured":"de Jongh, D., Hendriks, L.: Characterizations of strongly equivalent logic programs in intermediate logics. Theory Pract. Log. Program. 3(3), 259\u2013270 (2003)","journal-title":"Theory Pract. Log. Program."},{"issue":"1\u20132","key":"9119_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.3233\/FI-1992-171-204","volume":"17","author":"T. Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: Reasoning with arsimonious and moderately grounded expansions. Fundam. Inform. 17(1\u20132), 31\u201353 (1992)","journal-title":"Fundam. Inform."},{"key":"9119_CR7","first-page":"340","volume-title":"Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201906)","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Fink, M., Tompits, H., Traxler, P., Woltran, S.: Replacements in non-ground answer-set programming. In Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201906), pp.\u00a0340\u2013351. AAAI, CA (2006)"},{"issue":"2","key":"9119_CR8","first-page":"53","volume":"8","author":"T. Eiter","year":"2007","unstructured":"Eiter, T., Fink, M., Woltran, S.: Semantical characterizations and complexity of equivalences in answer set programming. ACM Trans. Comput. Log. 8(3), 53 (2007)","journal-title":"ACM Trans. Comput. Log."},{"key":"9119_CR9","first-page":"97","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005)","author":"T. Eiter","year":"2005","unstructured":"Eiter, T., Tompits, H., Woltran, S.: On solution correspondences in answer-set programming. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp.\u00a097\u2013102. Morgan Kaufmann, San Francisco (2005)"},{"key":"9119_CR10","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fages, F.: Consistency of Clark\u2019s completion and existence of stable models. J. Meth. Logic Comput. Sci. 1, 51\u201360 (1994)","journal-title":"J. Meth. Logic Comput. Sci."},{"key":"9119_CR11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/11546207_7","volume-title":"Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), LNCS, vol.\u00a03552","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P.: On modular translations and strong equivalence. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), LNCS, vol.\u00a03552, pp.\u00a079\u201391. Springer, New York (2005)"},{"key":"9119_CR12","first-page":"24","volume-title":"Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Proceedings, LNCS, vol.\u00a04932","author":"M. Gebser","year":"2008","unstructured":"Gebser, M. Schaub, T., Tompits, H., Woltran, S.: Alternative characterizations for program equivalence under answer-set semantics based on unfounded sets. In: Hartmann, S., Kern-Isberner, G. (eds.) Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Proceedings, LNCS, vol.\u00a04932, pp.\u00a024\u201341. Springer, New York (2008)"},{"key":"9119_CR13","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"Inoue, K., Sakama, C.: Negation as failure in the head. J. Log. Program. 35, 39\u201378 (1998)","journal-title":"J. Log. Program."},{"key":"9119_CR14","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-540-30227-8_17","volume-title":"Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), LNCS, vol.\u00a03229","author":"K. Inoue","year":"2004","unstructured":"Inoue, K., Sakama, C.: Equivalence of logic programs under updates. In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), LNCS, vol.\u00a03229, pp.\u00a0174\u2013186. Springer, New York (2004)"},{"issue":"3","key":"9119_CR15","doi-asserted-by":"crossref","first-page":"345","DOI":"10.3233\/FI-1991-14308","volume":"14","author":"M. Kaminski","year":"1991","unstructured":"Kaminski, M.: Embedding a default system into nonmonotonic logic. Fundam. Inform. 14(3), 345\u2013353 (1991)","journal-title":"Fundam. Inform."},{"issue":"3","key":"9119_CR16","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Konolige, K.: On the relation between default and autoepistemic logic. Artif. Intell. 35(3), 343\u2013382 (1988)","journal-title":"Artif. Intell."},{"issue":"1","key":"9119_CR17","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(89)90085-4","volume":"41","author":"K. Konolige","year":"1989","unstructured":"Konolige, K.: Errata: on the relation between default and autoepistemic logic. Artif. Intell. 41(1), 115 (1989)","journal-title":"Artif. Intell."},{"key":"9119_CR18","first-page":"451","volume-title":"Proceedings of the 19th International Conference on Logic Programming (ICLP 2003), LNCS, vol.\u00a02916","author":"J. Lee","year":"2003","unstructured":"Lee, J., Lifschitz, V.: Loop formulas for disjunctive logic programs. In: Palamidessi, C. (ed.) Proceedings of the 19th International Conference on Logic Programming (ICLP 2003), LNCS, vol.\u00a02916, pp.\u00a0451\u2013465. Springer, New York (2003)"},{"issue":"4","key":"9119_CR19","doi-asserted-by":"crossref","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. ACM Trans. Comput. Log. 2(4), 526\u2013541. (2001)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3\u20134","key":"9119_CR20","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1023\/A:1018978005636","volume":"25","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V., Tang, L., Turner, H.: Nested expressions in logic programs. Ann. Math. Artif. Intell. 25(3\u20134), 369\u2013389 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9119_CR21","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1613\/jair.2131","volume":"28","author":"F. Lin","year":"2007","unstructured":"Lin, F., Chen, Y.: Discovering classes of strongly equivalent logic programs. J. Artif. Intell. Res. 28, 431\u2013451 (2007)","journal-title":"J. Artif. Intell. Res."},{"key":"9119_CR22","first-page":"112","volume-title":"Proceedings of the 18th National Conference on Artificial Intelligence (AAAI 2002)","author":"F. Lin","year":"2002","unstructured":"Lin, F., Zhao, Y.: ASSAT: computing answer sets of a logic program by SAT solvers. In: Proceedings of the 18th National Conference on Artificial Intelligence (AAAI 2002), pp.\u00a0112\u2013117. AAAI, CA (2002)"},{"key":"9119_CR23","first-page":"170","volume-title":"Proceedings of the 8th International Conference on Principles of 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: Fensel, D., McGuinness, D., Williams, M. (eds.) Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp.\u00a0170\u2013176. Morgan Kaufmann, San Francisco (2002)"},{"key":"9119_CR24","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/B978-0-934613-40-8.50020-8","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"M. Maher","year":"1988","unstructured":"Maher, M.: Equivalences of logic programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp.\u00a0627\u2013658. Morgan Kaufmann, San Francisco (1988)"},{"key":"9119_CR25","volume-title":"Nonmonotonic Logic; Context-Dependent Reasoning","author":"W. Marek","year":"1993","unstructured":"Marek, W., Truszczy\u0144ski, M.: Nonmonotonic Logic; Context-Dependent Reasoning. Springer, Berlin (1993)"},{"issue":"1","key":"9119_CR26","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R.: Semantical considerations on nonmonotonic logic. Artif. Intell. 25(1), 75\u201394 (1985)","journal-title":"Artif. Intell."},{"key":"9119_CR27","first-page":"458","volume-title":"Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI 2007)","author":"J. Oetsch","year":"2007","unstructured":"Oetsch, J., Tompits, H., Woltran, S.: Facts do not cease to exist because they are ignored: relativised uniform equivalence with answer-set projection. In: Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI 2007), pp.\u00a0458\u2013464. AAAI, CA (2007)"},{"key":"9119_CR28","first-page":"412","volume-title":"Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006)","author":"E. Oikarinen","year":"2006","unstructured":"Oikarinen, E., Janhunen, T.: Modular equivalence for normal logic programs. In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp.\u00a0412\u2013416. IOS, Amsterdam (2006)"},{"key":"9119_CR29","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1016\/B978-0-934613-40-8.50021-X","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Y. Sagiv","year":"1988","unstructured":"Sagiv, Y.: Optimising DATALOG programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp.\u00a0659\u2013698. Morgan Kaufmann, San Francisco (1988)"},{"key":"9119_CR30","first-page":"576","volume-title":"Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), LNCS, vol. 5366","author":"M. Truszczy\u0144ski","year":"2008","unstructured":"Truszczy\u0144ski, M., Woltran, S.: Relativized hyperequivalence of logic programs for modular programming. In: Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), LNCS, vol. 5366, pp. 576\u2013590. Springer, New York (2008)"},{"issue":"3","key":"9119_CR31","doi-asserted-by":"crossref","first-page":"355","DOI":"10.3233\/FI-1991-14309","volume":"14","author":"M. Truszczy\u0144ski","year":"1991","unstructured":"Truszczy\u0144ski, M.: Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. Fundam. Inform. 14(3), 355\u2013366 (1991)","journal-title":"Fundam. Inform."},{"issue":"3\u20134","key":"9119_CR32","first-page":"245","volume":"48","author":"M. Truszczynski","year":"2006","unstructured":"Truszczynski, M.: Strong and uniform equivalence of nonmonotonic theories\u2014an algebraic approach. Ann. Math. Artif. Intell. 48(3\u20134), 245\u2013265 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4\u20135","key":"9119_CR33","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1017\/S1471068403001819","volume":"3","author":"H. Turner","year":"2003","unstructured":"Turner, H.: Strong equivalence made easy: nested expressions and weight constraints. Theory Pract. Log. Program. 3(4\u20135), 609\u2013622 (2003)","journal-title":"Theory Pract. Log. Program."},{"issue":"4","key":"9119_CR34","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden van","year":"1976","unstructured":"van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. J. ACM 23(4), 733\u2013742 (1976)","journal-title":"J. ACM"},{"issue":"2","key":"9119_CR35","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S1471068407003250","volume":"8","author":"S. Woltran","year":"2008","unstructured":"Woltran, S.: A common view on strong, uniform, and other notions of equivalence in answer-set programming. Theory Pract. Log. Program. 8(2), 217\u2013234 (2008)","journal-title":"Theory Pract. Log. Program."},{"key":"9119_CR36","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1613\/jair.2472","volume":"31","author":"K. Wong","year":"2008","unstructured":"Wong, K.: Sound and complete inference rules for SE-consequence. J. Artif. Intell. Res. 31, 205\u2013216 (2008)","journal-title":"J. Artif. Intell. Res."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9119-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-009-9119-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9119-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T19:41:55Z","timestamp":1684870915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-009-9119-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":36,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["9119"],"URL":"https:\/\/doi.org\/10.1007\/s10472-009-9119-8","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}