{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:18:34Z","timestamp":1725686314230},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642294488"},{"type":"electronic","value":"9783642294495"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29449-5_3","type":"book-chapter","created":{"date-parts":[[2012,5,26]],"date-time":"2012-05-26T09:08:46Z","timestamp":1338023326000},"page":"68-90","source":"Crossref","is-referenced-by-count":0,"title":["Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Provetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Anger, C., Schaub, T., Truszczy\u0144ski, M.: ASPARAGUS \u2013 the Dagstuhl Initiative. ALP Newsletter\u00a017(3) (2004), http:\/\/asparagus.cs.uni-potsdam.de"},{"key":"3_CR2","series-title":"Lecture Notes in Artificial Intelligence","first-page":"406","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Anger","year":"2001","unstructured":"Anger, C., Konczak, K., Linke, T.: NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 406\u2013410. Springer, Heidelberg (2001)"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.N.: Logic programming and negation: A survey. J.\u00a0of Logic Programming 19\/20, 9\u201372 (1994)","journal-title":"J. of Logic Programming"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"3_CR5","volume-title":"Graphs and Hypergraphs","author":"G. Berge","year":"1973","unstructured":"Berge, G.: Graphs and Hypergraphs. North Holland, Amsterdam (1973)"},{"key":"3_CR6","unstructured":"Brignoli, G., Costantini, S., D\u2019Antona, O., Provetti, A.: Characterizing and computing stable models of logic programs: the non\u2013stratified case. In: Proc. of Conference on Information Technology, Bhubaneswar, India (1999)"},{"issue":"2","key":"3_CR7","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"Bruynooghe, M.: A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming\u00a010(2), 91 (1991)","journal-title":"Journal of Logic Programming"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-56282-6_20","volume-title":"Meta-Programming in Logic","author":"M. Bruynooghe","year":"1992","unstructured":"Bruynooghe, M., Janssens, G.: Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. In: Pettorossi, A. (ed.) META 1992. LNCS, vol.\u00a0649, pp. 294\u2013307. Springer, Heidelberg (1992)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Costantini, S.: Contributions to the stable model semantics of logic programs with negation. Theoretical Computer Science\u00a0149 (1995) (prelim. version in Proc. of LPNMR 1993)","DOI":"10.1016\/0304-3975(94)00259-L"},{"key":"3_CR10","unstructured":"Costantini, S.: Comparing different graph representations of logic programs under the answer set semantics, technical Report, University of L\u2019 Aquila (2006)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Costantini, S.: On the existence of stable models of non-stratified logic programs. Theory and Practice of Logic Programming\u00a06(1-2) (2006)","DOI":"10.1017\/S1471068405002589"},{"key":"3_CR12","unstructured":"Costantini, S., Intrigila, B., Provetti, A.: Coherence of updates in answer set programming. In: Brewka, G., Peppas, P. (eds.) Proceedings of the IJCAI 2003 Workshop on Nonmonotonic Reasoning, Action and Change, NRAC 2003 (2003)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Costantini, S., Provetti, A.: Normal forms for answer sets programming. J. on Theory and Practice of Logic Programming\u00a05(6) (2005)","DOI":"10.1017\/S1471068404002339"},{"issue":"6","key":"3_CR14","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1017\/S1471068404002339","volume":"5","author":"S. Costantini","year":"2005","unstructured":"Costantini, S., Provetti, A.: Normal forms for Answer Sets Programming. Theory and Practice of Logic Programming\u00a05(6), 747\u2013760 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming and Nonmonotonic Reasoning","year":"2011","unstructured":"Delgrande, J.P., Faber, W. (eds.): LPNMR 2011. LNCS, vol.\u00a06645. Springer, Heidelberg (2011)"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(96)80707-9","volume":"170","author":"Y. Dimopoulos","year":"1996","unstructured":"Dimopoulos, Y., Torres, A.: Graph theoretical structures in logic programs and default theories. Theoretical Computer Science\u00a0170, 209\u2013244 (1996)","journal-title":"Theoretical Computer Science"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Febbraro, O., Reale, K., Ricca, F.: Aspide: Integrated development environment for answer set programming. In: Delgrande, Faber [15], pp. 317\u2013330","DOI":"10.1007\/978-3-642-20895-9_37"},{"key":"3_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11546207_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2005","unstructured":"Gebser, M., Schaub, T.: Loops: Relevant or Redundant? In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 53\u201365. Springer, Heidelberg (2005)"},{"key":"3_CR19","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proc. of the 5th Intl. Conference and Symposium on Logic Programming, pp. 1070\u20131080. The MIT Press (1988)"},{"key":"3_CR20","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":"3_CR21","unstructured":"Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation, ch. 7. Elsevier (2007)"},{"issue":"2","key":"3_CR22","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/349214.349216","volume":"22","author":"M.V. Hermenegildo","year":"2000","unstructured":"Hermenegildo, M.V., Puebla, G., Marriott, K., Stuckey, P.J.: Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst.\u00a022(2), 187\u2013223 (2000)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Konczak, K., Schaub, T., Linke, T.: Graphs and colorings for answer set programming: Abridged report. In: Vos, M.D., Provetti, A. (eds.) Answer Set Programming: Advances in Theory and Implementation, ASP 2003. The CEUR Workshop Proceedings, vol.\u00a078 (2003), http:\/\/eur-ws.org\/Vol-78\/","DOI":"10.1007\/978-3-540-24609-1_13"},{"key":"3_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-72200-7_1","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N. Leone","year":"2007","unstructured":"Leone, N.: Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, p. 1. Springer, Heidelberg (2007)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Answer set planning. In: Proc. of the 16th Intl. Conference on Logic Programming, pp. 23\u201337 (1999)","DOI":"10.1007\/3-540-46767-X_28"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Lifschitz, V., Razborov, A.: Why are there so many loop formulas? ACM Transactions on Computational Logic\u00a07 (2006)","DOI":"10.1145\/1131313.1131316"},{"key":"3_CR27","unstructured":"Lin, F., Zhao, X.: On odd and even cycles in normal logic programs. In: McGuinness, D.L., Ferguson, G. (eds.) AAAI, pp. 80\u201385. AAAI Press\/The MIT Press (2004)"},{"key":"3_CR28","unstructured":"Linke, T.: Graph theoretical characterization and computation of answer sets. In: Proceedings of IJCAI 2001 (2001)"},{"key":"3_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"issue":"3","key":"3_CR30","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1145\/116825.116836","volume":"38","author":"V.W. Marek","year":"1991","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Autoepistemic logic. Journal of the ACM\u00a038(3), 587\u2013618 (1991)","journal-title":"Journal of the ACM"},{"key":"3_CR31","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"Stable logic programming - an alternative logic programming paradigm","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable logic programming - an alternative logic programming paradigm, pp. 375\u2013398. Springer, Berlin (1999)"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Oetsch, J., P\u00fchrer, J., Seidl, M., Tompits, H., Zwickl, P.: Videas: A development tool for answer-set programs based on model-driven engineering technology. In: Delgrande, Faber [15], pp. 382\u2013387","DOI":"10.1007\/978-3-642-20895-9_45"},{"key":"3_CR33","unstructured":"Przymusinska, H., Przymusinski, T.C.: Semantic issues in deductive databases and logic programs (1990)"},{"issue":"3","key":"3_CR34","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of Programming Languages\u00a03(3), 121\u2013189 (1995)","journal-title":"Journal of Programming Languages"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-74610-2_6","volume-title":"Logic Programming","author":"M. Truszczy\u0144ski","year":"2007","unstructured":"Truszczy\u0144ski, M.: Logic Programming for Knowledge Representation. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 76\u201388. Springer, Heidelberg (2007)"},{"issue":"3","key":"3_CR36","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. VanGelder","year":"1991","unstructured":"VanGelder, A., Ross, K.A., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Graph Structures for Knowledge Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29449-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,16]],"date-time":"2022-01-16T10:16:11Z","timestamp":1642328171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29449-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294488","9783642294495"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29449-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}