{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:47Z","timestamp":1761611267473},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_16","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T08:53:55Z","timestamp":1280393635000},"page":"224-238","source":"Crossref","is-referenced-by-count":45,"title":["Uniform Equivalence of Logic Programs under the Stable Model Semantics"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[]},{"given":"Michael","family":"Fink","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF01530761","volume":"12","author":"R. Ben-Eliyahu","year":"1994","unstructured":"Ben-Eliyahu, R., Dechter, R.: Propositional semantics for disjunctive logic programs. Annals of Mathematics and Artificial Intelligence\u00a012, 53\u201387 (1994)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Ben-Eliyahu, R., Palopoli, L.: Reasoning with minimal models: Efficient algorithms and applications. In: Proc. KR 1994, pp. 39\u201350 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50101-9"},{"key":"16_CR3","unstructured":"Cabalar, P.: A three-valued characterization for strong equivalence of logic programs. In: Proc. AAAI 2002, pp. 106\u2013111 (2002)"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1017\/S147106840200159X","volume":"3","author":"D.J. Jongh de","year":"2003","unstructured":"de Jongh, D.J., Hendriks, L.: Characterizations of strongly equivalent logic programs in intermediate logics. Theory and Practice of Logic Programming\u00a03(3), 259\u2013270 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"3","key":"16_CR5","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM TODS\u00a022(3), 364\u2013417 (1997)","journal-title":"ACM TODS"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M.: Uniform equivalence of logic programs under the stable model semantics. Tech. Rep. INFSYS RR-1843-03-08, Inst. f\u00fcr Informationssysteme, TU Wien (2003)","DOI":"10.1007\/978-3-540-24599-5_16"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Tompits, H., Woltran, S.: Simplifying logic programs under uniform and strong equivalence (July 2003) (manuscript) (submitted)","DOI":"10.1007\/978-3-540-24609-1_10"},{"key":"16_CR8","unstructured":"Eiter, T., Fink, M., Tompits, H., Woltran, S.: Eliminating disjunction from propositional logic programs under stable model preservation (August 2003) (manuscript) (submitted)"},{"key":"16_CR9","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming: Proc. Fifth Int\u2019l Conference and Symposium, pp. 1070\u20131080 (1988)"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"16_CR11","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Koch, C., Mateis, C., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. Tech. Rep. INFSYS RR-1843-02-14, Inst. f\u00fcr Informationssysteme, TU Wien (2002)"},{"issue":"4","key":"16_CR12","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. ACM Trans. on Computational Logic\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM Trans. on Computational Logic"},{"key":"16_CR13","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Proc. ICLP 1994, pp. 23\u201338 (1994)"},{"key":"16_CR14","unstructured":"Lin, F.: Reducing strong equivalence of logic programs to entailment in classical propositional logic. In: Proc. KR 2002, pp. 170\u2013176 (2002)"},{"key":"16_CR15","unstructured":"Lin, F., Zhao, Y.: ASSAT: Computing answer sets of a logic program by SAT solvers. In: Proc. AAAI 2002, pp. 112\u2013117 (2002)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Maher, M.J.: Equivalences of logic programs. In: Minker [17], pp. 627\u2013658","DOI":"10.1016\/B978-0-934613-40-8.50020-8"},{"volume-title":"Foundations of Deductive Databases and Logic Programming","year":"1988","key":"16_CR17","unstructured":"Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, San Francisco (1988)"},{"key":"16_CR18","unstructured":"Niemel\u00e4, I., Simons, P., Syrj\u00e4nen, T.: Smodels: A system for answer set programming. In: Proc. 8th Int\u2019l Workshop on Non-Monotonic Reasoning, NMR 2000 (2000)"},{"key":"16_CR19","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 for equilibrium logic and logic programs with nested expressions. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol.\u00a02258, pp. 306\u2013320. Springer, Heidelberg (2001)"},{"key":"16_CR20","unstructured":"Pearce, D., Valverde, A.: Some types of equivalence for logic programs and equilibrium logic. In: Proc. Joint Conf. Declarative Programming, APPIA-GULP-PRODE (2003)"},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"Przymusinski, T.: Stable semantics for disjunctive programs. New Generation Computing\u00a09, 401\u2013424 (1991)","journal-title":"New Generation Computing"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Sagiv, Y.: Optimizing datalog programs. In: Minker [17], pp. 659\u2013698","DOI":"10.1145\/28659.28696"},{"key":"16_CR23","series-title":"Lecture Notes in Artificial Intelligence","first-page":"81","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"H. Turner","year":"2001","unstructured":"Turner, H.: Strong equivalence for logic programs and default theories (made easy). In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 81\u201392. Springer, Heidelberg (2001)"},{"issue":"4-5","key":"16_CR24","doi-asserted-by":"publisher","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 and Practice of Logic Programming\u00a03(4-5), 609\u2013622 (2003)","journal-title":"Theory and Practice of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:55:07Z","timestamp":1559346907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}