{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T06:10:01Z","timestamp":1749708601729,"version":"3.41.0"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319493961"},{"type":"electronic","value":"9783319493978"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49397-8_3","type":"book-chapter","created":{"date-parts":[[2016,11,9]],"date-time":"2016-11-09T06:20:42Z","timestamp":1478672442000},"page":"24-37","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Entailment Procedure for Kleene Answer Set Programs"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Doherty","sequence":"first","affiliation":[]},{"given":"Andrzej","family":"Sza\u0142as","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,10]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","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. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.artint.2015.03.006","volume":"224","author":"B Bogaerts","year":"2015","unstructured":"Bogaerts, B., Vennekens, J., Denecker, M.: Grounded fixpoints and their applications in knowledge representation. Artif. Intell. 224, 51\u201371 (2015)","journal-title":"Artif. Intell."},{"key":"3_CR3","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczynski, M.: Answer set optimization. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the 18th IJCAI, pp. 867\u2013872. Morgan Kaufmann (2003)"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/69.219736","volume":"5","author":"P Chan","year":"1993","unstructured":"Chan, P.: A possible world semantics for disjunctive databases. IEEE Trans. Knowl. Data Eng. 5(2), 282\u2013292 (1993)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-1-4615-1567-8_6","volume-title":"Logic-Based Artificial Intelligence","author":"M Denecker","year":"2000","unstructured":"Denecker, M., Marek, V., Truszczynski, M.: Stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 127\u2013144. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"3_CR6","unstructured":"Doherty, P.: A constraint-based approach to proof procedures for multi-valued logics. In: Proceedings of the 1st World Conference Fundamentals of AI (WOCFAI), pp. 165\u2013178. Springer (1991)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-319-14726-0_9","volume-title":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation","author":"P Doherty","year":"2015","unstructured":"Doherty, P., Sza\u0142as, A.: Stability, supportedness, minimality and Kleene Answer Set Programs. In: Eiter, T., Strass, H., Truszczy\u0144ski, M., Woltran, S. (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS (LNAI), vol. 9060, pp. 125\u2013140. Springer, Heidelberg (2015). doi:10.1007\/978-3-319-14726-0_9"},{"issue":"2\u20134","key":"3_CR8","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10472-008-9086-5","volume":"51","author":"T Eiter","year":"2007","unstructured":"Eiter, T., Faber, W., Fink, M., Woltran, S.: Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51(2\u20134), 123\u2013165 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"3_CR9","unstructured":"Eiter, T., Gottlob, G.: Complexity results for disjunctive logic programming and application to nonmonotonic logics. In: Miller, D. (ed.) Proceedings of the Logic Programming, pp. 266\u2013278 (1993)"},{"key":"3_CR10","first-page":"51","volume":"1","author":"F Fages","year":"1994","unstructured":"Fages, F.: Consistency of Clark\u2019s completion and existence of stable models. Methods Logic Comput. Sci. 1, 51\u201360 (1994)","journal-title":"Methods Logic Comput. Sci."},{"issue":"4","key":"3_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke-Kleene semantics for logic programs. J. Logic Program. 2(4), 295\u2013312 (1985)","journal-title":"J. Logic Program."},{"issue":"2\u20134","key":"3_CR12","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"M Fitting","year":"1993","unstructured":"Fitting, M.: The family of stable models. J. Logic Program. 17(2\u20134), 197\u2013225 (1993)","journal-title":"J. Logic Program."},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: Conflict-driven answer set solving: from theory to practice. Artif. Intell. 187, 52\u201389 (2012)","journal-title":"Artif. Intell."},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"15:1","DOI":"10.1145\/2480759.2480767","volume":"14","author":"M Gebser","year":"2013","unstructured":"Gebser, M., Schaub, T.: Tableau calculi for logic programs under answer set semantics. ACM Trans. Comput. Log. 14(2), 15:1\u201315:40 (2013)","journal-title":"ACM Trans. Comput. Log."},{"key":"3_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents - The Answer-Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents - The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)"},{"key":"3_CR16","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the International Logic Programming, pp. 1070\u20131080. MIT Press (1988)"},{"issue":"3\/4","key":"3_CR17","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 Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R.: Uniform notation of tableau rules for multiple-valued logics. In: ISMVL, pp. 238\u2013245 (1991)","DOI":"10.1109\/ISMVL.1991.130736"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"SC Kleene","year":"1938","unstructured":"Kleene, S.C.: On a notation for ordinal numbers. Symbolic Logic 3, 150\u2013155 (1938)","journal-title":"Symbolic Logic"},{"issue":"4","key":"3_CR20","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K Kunen","year":"1987","unstructured":"Kunen, K.: Negation in logic programming. J. Log. Program. 4(4), 289\u2013308 (1987)","journal-title":"J. Log. Program."},{"issue":"3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"2","key":"3_CR22","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1006\/inco.1997.2630","volume":"135","author":"N Leone","year":"1997","unstructured":"Leone, N., Rullo, P., Scarcello, F.: Disjunctive stable models: unfounded sets, fixpoint semantics, and computation. Inf. Comput. 135(2), 69\u2013112 (1997)","journal-title":"Inf. Comput."},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2013.10.004","volume":"207","author":"Y Lierler","year":"2014","unstructured":"Lierler, Y.: Relating constraint answer set programming languages and algorithms. Artif. Intell. 207, 1\u201322 (2014)","journal-title":"Artif. Intell."},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/978-3-642-15025-8_24","volume-title":"Fields of Logic and Computation","author":"V Lifschitz","year":"2010","unstructured":"Lifschitz, V.: Thirteen definitions of a stable model. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 488\u2013503. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-15025-8_24"},{"issue":"1\u20132","key":"3_CR25","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: computing answer sets of a logic program by SAT solvers. Artif. Intell. 157(1\u20132), 115\u2013137 (2004)","journal-title":"Artif. Intell."},{"key":"3_CR26","first-page":"170","volume":"5","author":"J \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz, J.: O logice tr\u00f3jwarto\u015bciowej (in Polish). Ruch filozoficzny 5, 170\u2013171 (1920). English translation: On three-valued logic. In: Borkowski, L. (ed.) Selected works by Jan \u0141ukasiewicz, pp. 87\u201388. North-Holland, Amsterdam (1970)","journal-title":"Ruch filozoficzny"},{"issue":"1\u20132","key":"3_CR27","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription - a form of non-monotonic reasoning. Artif. Intell. 13(1\u20132), 27\u201339 (1980)","journal-title":"Artif. Intell."},{"issue":"3","key":"3_CR28","doi-asserted-by":"crossref","first-page":"237","DOI":"10.3233\/FI-1994-2135","volume":"21","author":"N Murray","year":"1994","unstructured":"Murray, N., Rosenthal, E.: Adapting classical inference techniques to multiple-valued logics using signed formulas. Fundam. Inform. 21(3), 237\u2013253 (1994)","journal-title":"Fundam. Inform."},{"issue":"1\u20132","key":"3_CR29","first-page":"3","volume":"47","author":"D Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. Ann. Math. AI 47(1\u20132), 3\u201341 (2006)","journal-title":"Ann. Math. AI"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"688","DOI":"10.1007\/3-540-44957-4_46","volume-title":"Computational Logic \u2014 CL 2000","author":"D Pearce","year":"2000","unstructured":"Pearce, D., Guzm\u00e1n, I.P., Valverde, A.: Computing equilibrium models using signed formulas. In: Lloyd, J., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 688\u2013702. Springer, Heidelberg (2000). doi:10.1007\/3-540-44957-4_46"},{"issue":"3\/4","key":"3_CR31","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 Gener. Comput. 9(3\/4), 401\u2013424 (1991)","journal-title":"New Gener. Comput."},{"issue":"1\u20132","key":"3_CR32","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"issue":"1","key":"3_CR33","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00881915","volume":"13","author":"C Sakama","year":"1994","unstructured":"Sakama, C., Inoue, K.: An alternative approach to the semantics of disjunctive logic programs and deductive databases. J. Autom. Reasoning 13(1), 145\u2013172 (1994)","journal-title":"J. Autom. Reasoning"},{"key":"3_CR34","unstructured":"Seipel, D., Minker, J., Ruiz, C.: A characterization of the partial stable models for disjunctive databases. In: Ma\u0142uszy\u0144ski, J. (ed.) Logic Programming Symposium, pp. 245\u2013259 (1997)"},{"issue":"3","key":"3_CR35","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0304-3975(89)90106-0","volume":"65","author":"JC Shepherdson","year":"1989","unstructured":"Shepherdson, J.C.: A sound and complete semantics for a version of negation as failure. Theor. Comput. Sci. 65(3), 343\u2013371 (1989)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"3_CR36","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1\u20132), 181\u2013234 (2002)","journal-title":"Artif. Intell."},{"key":"3_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R Smullyan","year":"1968","unstructured":"Smullyan, R.: First-Order Logic. Dover Publications, Mineola (1968)"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Stamate, D.: Assumption based multi-valued semantics for extended logic programs. In: 36th IEEE International Symposium on ISMVL, p. 10. IEEE Computer Society (2006)","DOI":"10.1109\/ISMVL.2006.13"}],"container-title":["Lecture Notes in Computer Science","Multi-disciplinary Trends in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49397-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T05:30:27Z","timestamp":1749706227000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49397-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319493961","9783319493978"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49397-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"10 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MIWAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Multi-disciplinary Trends in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chiang Mai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"miwai2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}