{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:48Z","timestamp":1725565428261},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_33","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T00:07:17Z","timestamp":1284336437000},"page":"365-368","source":"Crossref","is-referenced-by-count":2,"title":["DLV MC : Enhanced Model Checking in DLV"],"prefix":"10.1007","author":[{"given":"Marco","family":"Maratea","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[]},{"given":"Pierfrancesco","family":"Veltri","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","first-page":"1070","volume-title":"ICLP\/SLP\u00a01988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP\/SLP\u00a01988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"33_CR2","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. NGC\u00a09, 365\u2013385 (1991)","journal-title":"NGC"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. CUP (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Action Languages, Answer Sets and Planning. In: The Logic Programming Paradigm \u2013 A 25-Year Perspective, pp. 357\u2013373 (1999)","DOI":"10.1007\/978-3-642-60085-2_16"},{"issue":"3","key":"33_CR5","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 TOCL\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM TOCL"},{"issue":"1","key":"33_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1119439.1119440","volume":"7","author":"T. Janhunen","year":"2006","unstructured":"Janhunen, T., Niemel\u00e4, I., Seipel, D., Simons, P., You, J.H.: Unfolding Partiality and Disjunctions in Stable Model Semantics. ACM TOCL\u00a07(1), 1\u201337 (2006)","journal-title":"ACM TOCL"},{"key":"33_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/11546207_44","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Lierler","year":"2005","unstructured":"Lierler, Y.: Disjunctive Answer Set Programming via Satisfiability. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 447\u2013451. Springer, Heidelberg (2005)"},{"key":"33_CR8","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: IJCAI 2007, pp. 386\u2013392 (2007)"},{"key":"33_CR9","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem Proving. Communications of the ACM\u00a05, 394\u2013397 (1962)","journal-title":"Communications of the ACM"},{"key":"33_CR10","first-page":"53","volume":"12","author":"R. Ben-Eliyahu","year":"1994","unstructured":"Ben-Eliyahu, R., Dechter, R.: Propositional Semantics for Disjunctive Logic Programs. AMAI\u00a012, 53\u201387 (1994)","journal-title":"AMAI"},{"issue":"1-2","key":"33_CR11","first-page":"177","volume":"15","author":"C. Koch","year":"2003","unstructured":"Koch, C., Leone, N., Pfeifer, G.: Enhancing Disjunctive Logic Programming Systems by SAT Checkers. AI\u00a015(1-2), 177\u2013212 (2003)","journal-title":"AI"},{"issue":"2","key":"33_CR12","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.Comp.\u00a0135(2), 69\u2013112 (1997)","journal-title":"Inf.Comp."},{"key":"33_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-24609-1_20","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G. Pfeifer","year":"2003","unstructured":"Pfeifer, G.: Improving the Model Generation\/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 220\u2013233. Springer, Heidelberg (2003)"},{"key":"33_CR14","unstructured":"Janhunen, T., Niemel\u00e4, I., Simons, P., You, J.H.: Partiality and Disjunctions in Stable Model Semantics. In: KR\u00a02000, vol.\u00a012, 15, pp. 411\u2013419 (2000)"},{"key":"33_CR15","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"377","volume-title":"Proc. of the 17th European Conference on Artificial Intelligence (ECAI 2006)","author":"E. Giunchiglia","year":"2006","unstructured":"Giunchiglia, E., Maratea, M.: Solving optimization problems with DLL. In: Proc. of the 17th European Conference on Artificial Intelligence (ECAI 2006). Frontiers in Artificial Intelligence and Applications, vol.\u00a0141, pp. 377\u2013381. IOS Press, Amsterdam (2006)"},{"issue":"4","key":"33_CR16","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s10472-005-7034-1","volume":"44","author":"M. J\u00e4rvisalo","year":"2005","unstructured":"J\u00e4rvisalo, M., Junttila, T.A., Niemel\u00e4, I.: Unrestricted vs restricted cut in a tableau method for boolean circuits. Annals of Mathemathics and Artificial Intelligence\u00a044(4), 373\u2013399 (2005)","journal-title":"Annals of Mathemathics and Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T12:44:02Z","timestamp":1559652242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}