{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T21:01:22Z","timestamp":1750453282313},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_41","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"493-504","source":"Crossref","is-referenced-by-count":7,"title":["Testing the Equivalence of Logic Programs under Stable Model Semantics"],"prefix":"10.1007","author":[{"given":"Tomi","family":"Janhunen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilia","family":"Oikarinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K.L. Clark","year":"1978","unstructured":"K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"41_CR2","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the 5th International Conference on Logic Programming, pages 1070\u20131080, Seattle, USA, August 1988. The MIT Press."},{"key":"41_CR3","unstructured":"T. Janhunen, I. Niemel\u00e4, P. Simons, and J.-H. You. Unfolding partiality and disjunctions in stable model semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference, pages 411\u2013419, Breckenridge, Colorado, April 2000. Morgan Kaufmann."},{"key":"41_CR4","unstructured":"N. Leone et al. dlv-a disjunctive datalog system. http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/ ."},{"key":"41_CR5","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"V. Lifschitz, D. Pearce, and A. Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2:526\u2013541, 2001.","journal-title":"ACM Transactions on Computational Logic"},{"key":"41_CR6","unstructured":"F. Lin. Reducing strong equivalence of logic programs to entailment in classical propositional logic. In Principles of Knowledge Representation and Reasoning: Proceedings of the 8th International Conference, pages 170\u2013176, Tolouse, France, April 2002. Morgan Kaufmann."},{"key":"41_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987."},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczy\u0144ski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375\u2013398. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-642-60085-2_17"},{"issue":"34","key":"41_CR9","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"I. Niemel\u00e4. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3,4):241\u2013273, 1999.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4 and P. Simons. Extending the Smodels system with cardinality and weight constraints. In Jack Minker, editor, Logic-Based Artificial Intelligence, chapter 21, pages 491\u2013521. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-1567-8_21"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4, P. Simons, and T. Soininen. Stable model semantics of weight constraint rules. In Proceedings of the 5th International Conference on LP & NMR, pages 317\u2013331, El Paso, Texas, USA, December 1999. Springer-Verlag. LNAI 1730.","DOI":"10.1007\/3-540-46767-X_23"},{"key":"41_CR12","unstructured":"I. Niemel\u00e4, P. Simons, and T. Syrj\u00e4nen. Smodels: a system for answer set programming. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI\/0003073), Breckenridge, Colorado, USA, April 2000. cs.AI\/0003033."},{"key":"41_CR13","doi-asserted-by":"crossref","unstructured":"D. Pearce, H. Tompits, and S. Woltran. Encodings for equilibirium logic and logic programs with nested expressions. In P. Brazdil and A. Jorge, editors, Proceedings of the 10th Portuguese Conference on Artificial Intelligence, pages 306\u2013320, Porto, Portugal, December 2001. Springer Verlag. LNAI 2258.","DOI":"10.1007\/3-540-45329-6_31"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"P. Simons. Extending the stable model semantics with more expressive rules. In Proceedings of the 5th International Conference on LP & NMR, pages 305\u2013316, El Paso, Texas, USA, December 1999. Springer-Verlag. LNAI 1730.","DOI":"10.1007\/3-540-46767-X_22"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:08:12Z","timestamp":1556921292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_41","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}