{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T12:37:29Z","timestamp":1769603849239,"version":"3.49.0"},"edition-number":"1","reference-count":98,"publisher":"Wiley","isbn-type":[{"value":"9780471383932","type":"print"},{"value":"9780470050118","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,9,15]],"date-time":"2008-09-15T00:00:00Z","timestamp":1221436800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Answer set programming (ASP) evolved from logic programming, deductive databases, knowledge representation, and nonmonotonic reasoning, and it serves as a flexible language for solving problems in a declarative way. The user does not need to provide an algorithm for solving the problem; rather, it is sufficient that (s)he specifies the properties of the desired solution for its computation. ASP is highly expressive and allows us to solve problems even beyond the complexity class NP. The main representation feature of ASP are rules, which are interpreted according to common sense principles. In ASP, one writes a program, that is, a collection of rules, which represent a problem to be solved. This program, together with some input, usually expressed using factual rules, possesses a collection of models (possibly also no model), called answer sets, which correspond to the solutions of the modeled problem. Efficient systems for computing answer sets are available and have stimulated the development of applications relying on ASP, in both academia and, business. The field of ASP is growing, and several extensions of the basic language have been proposed and used in applications.<\/jats:p>","DOI":"10.1002\/9780470050118.ecse226","type":"other","created":{"date-parts":[[2008,9,11]],"date-time":"2008-09-11T18:16:28Z","timestamp":1221156988000},"page":"1-14","source":"Crossref","is-referenced-by-count":4,"title":["Answer Set Programming"],"prefix":"10.1002","author":[{"given":"Wolfgang","family":"Faber","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2008,9,15]]},"reference":[{"key":"e_1_2_7_2_1_1","unstructured":"J.McCarthy Programs with common sense Proc. Teddington Conference on the Mechanization of Thought Processes Her Majesty's Stationery Office 1959."},{"key":"e_1_2_7_2_2_1","volume-title":"Foundations of Databases","author":"Abiteboul S.","year":"1995"},{"key":"e_1_2_7_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/234286.1057820"},{"key":"e_1_2_7_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"e_1_2_7_2_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"e_1_2_7_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00207-2"},{"key":"e_1_2_7_2_7_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"e_1_2_7_2_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"e_1_2_7_2_9_1","volume-title":"Machine Intelligence 4","author":"McCarthy J.","year":"1969"},{"key":"e_1_2_7_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_2_7_2_11_1","first-page":"569","article-title":"Predicate logic as programming language","author":"Kowalski R. A.","year":"1974","journal-title":"IFIP Congress"},{"key":"e_1_2_7_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/359131.359136"},{"key":"e_1_2_7_2_13_1","unstructured":"International Organization for Standardization ISO\/IEC 13211\u20101:1995: Information technology\u2014Programming languages\u2014Prolog\u2014Part 1: General core. International Organization for Standardization Geneva Switzerland 1995."},{"key":"e_1_2_7_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"},{"key":"e_1_2_7_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"e_1_2_7_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"e_1_2_7_2_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"e_1_2_7_2_18_1","volume-title":"Foundations of Dedective Databases and Logic Programming","author":"Gelder A.","year":"1988"},{"key":"e_1_2_7_2_19_1","doi-asserted-by":"crossref","unstructured":"A.VanGelder K. A.Ross andJ. S.Schlipf Unfounded sets and well\u2010founded semantics for general logic programs Proc. Seventh Symposium on Principles of Database Systems (PODS'88) 1988 pp.221\u2013230.","DOI":"10.1145\/308386.308444"},{"key":"e_1_2_7_2_20_1","volume-title":"Nonmonotonic Logics\u2014Context\u2010Dependent Reasoning","author":"Wiktor Marek V.","year":"1993"},{"key":"e_1_2_7_2_21_1","unstructured":"M.Gelfond On stratified autoepistemic theories Proc. Sixth National Conference on Artificial Intelligence (AAAI\u201087) 1987 pp.207\u2013211."},{"key":"e_1_2_7_2_22_1","unstructured":"N.BidoitandC.Froidevaux Minimalism subsumes default logic and circumscription in stratified logic programming inProc. Symposium on Logic in Computer Science (LICS '87) June1987 pp.89\u201397. IEEE."},{"key":"e_1_2_7_2_23_1","first-page":"1070","volume-title":"Logic Programming: Proceedings Fifth Intl Conference and Symposium","author":"Gelfond M.","year":"1988"},{"issue":"3","key":"e_1_2_7_2_24_1","first-page":"620","article-title":"The well\u2010founded semantics for general logic programs","volume":"38","author":"Gelder A.","year":"1991","journal-title":"J. ACM"},{"key":"e_1_2_7_2_25_1","unstructured":"J.Minker On indefinite data bases and the closed world assumption inD. W.Loveland(ed.) Proceedings 6thConference on Automated Deduction (CADE '82) volume 138 of Lecture Notes in Computer Science New York.Springer 1982."},{"key":"e_1_2_7_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00244994"},{"key":"e_1_2_7_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037171"},{"key":"e_1_2_7_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055686.1055690"},{"key":"e_1_2_7_2_29_1","volume-title":"Logic\u2010Based Artificial Intelligence","author":"Eiter T.","year":"2000"},{"key":"e_1_2_7_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_2_7_2_31_1","doi-asserted-by":"crossref","unstructured":"I.Niemel\u00e4andP.Simons Smodels\u2014an implementation of the stable model and well\u2010founded semantics for normal logic programs inJ.Dix U.Furbach andA.Nerode(eds.) Proc. 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97) volume 1265 of Lecture Notes in AI (LNAI) Dagstuhl Germany July1997 pp.420\u2013429.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"e_1_2_7_2_32_1","unstructured":"T.Syrj\u00e4nen Lparse 1.0 User's Manual 2002. Available:http:\/\/www.tcs.hut.fi\/Software\/smodels\/lparse.ps.gz."},{"key":"e_1_2_7_2_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"e_1_2_7_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01530761"},{"key":"e_1_2_7_2_35_1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.3233\/FI-1996-281205","article-title":"Reducing disjunctive to non\u2010disjunctive semantics by shift\u2010operations","volume":"28","author":"Dix J.","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"e_1_2_7_2_36_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2630"},{"key":"e_1_2_7_2_37_1","article-title":"Small ramsey numbers","volume":"1","author":"Radziszowski S. P.","year":"1994","journal-title":"Electronic J. Combinatorics"},{"key":"e_1_2_7_2_38_1","volume-title":"Computational Complexity","author":"Papadimitriou C. H.","year":"1994"},{"key":"e_1_2_7_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.599933"},{"key":"e_1_2_7_2_40_1","unstructured":"P.Simons Smodels Homepage since 1996. Available:http:\/\/www.tcs.hut.fi\/Software\/smodels\/."},{"key":"e_1_2_7_2_41_1","unstructured":"Y.Zhao ASSAT homepage since 2002. Available:http:\/\/assat.cs.ust.hk\/."},{"key":"e_1_2_7_2_42_1","unstructured":"F.LinandY.Zhao ASSAT: Computing answer sets of a logic program by sat solvers Proc. Eighteenth National Conference on Artificial Intelligence (AAAI\u20102002) Edmonton Alberta Canada 2002."},{"key":"e_1_2_7_2_43_1","unstructured":"M.Gebser B.Kaufmann A.Neumann andT.Schaub Conflict\u2010driven answer set solving Proc. Twentieth International Joint Conference on Artificial Intelligence (IJCAI\u201007) Morgan Kaufmann Publishers January2007 pp.386\u2013392."},{"key":"e_1_2_7_2_44_1","unstructured":"T.Janhunen I.Niemel\u00e4 D.Seipel P.Simons andJ.\u2010H.You Unfolding partiality and disjunctions in stable model semantics. Technical Reportcs.AI\/0303009 arXiv.org March2003."},{"key":"e_1_2_7_2_45_1","first-page":"447","volume-title":"Logic Programming and Nonmonotonic Reasoning\u20148th International Conference, LPNMR'05, Diamante, Italy, September 2005, Proceedings, volume 3662 of Lecture Notes in Computer Science","author":"Lierler Y.","year":"2005"},{"key":"e_1_2_7_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.877512"},{"key":"e_1_2_7_2_47_1","unstructured":"F.Calimeri W.Faber N.Leone andS.Perri Declarative and computational properties of logic programs with aggregates inNineteenth International Joint Conference on Artificial Intelligence (IJCAI\u201005) August2005 pp.406\u2013411."},{"key":"e_1_2_7_2_48_1","unstructured":"T.Dell'Armi W.Faber G.Ielpa N.Leone andG.Pfeifer Aggregate functions in disjunctive logic programming: Semantics complexity and implementation in DLV.Proc. 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003 Acapulco Mexico August2003 pp.847\u2013852."},{"key":"e_1_2_7_2_49_1","doi-asserted-by":"crossref","unstructured":"M.Denecker N.Pelov andM.Bruynooghe Ultimate well\u2010founded and stable model semantics for logic programs with aggregates inPhilippeCodognet(ed.) Proc. 17th International Conference on Logic Programming New York:Springer Verlag 2001.","DOI":"10.1007\/3-540-45635-X_22"},{"key":"e_1_2_7_2_50_1","first-page":"97","volume-title":"Logic Programming and Nonmonotonic Reasoning\u20149th International Conference, LPNMR 2007, volume 4483 of Lecture Notes in AI (LNAI)","author":"Faber W.","year":"2007"},{"key":"e_1_2_7_2_51_1","doi-asserted-by":"crossref","unstructured":"W.Faber N.Leone andG.Pfeifer Recursive aggregates in disjunctive logic programs: Semantics and complexity inJ.J\u00falio AlferesandJ.Leite(eds.) Proc. 9th European Conference on Artificial Intelligence (JELIA 2004) volume 3229 of Lecture Notes in AI (LNAI) Springer Verlag September2004 pp.200\u2013212.","DOI":"10.1007\/978-3-540-30227-8_19"},{"key":"e_1_2_7_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/502090.502100"},{"key":"e_1_2_7_2_53_1","unstructured":"N.Pelov M.Denecker andM.Bruynooghe Well\u2010founded and stable semantics of logic programs with aggregates.Theory Practice of Logic Programming. In Press."},{"key":"e_1_2_7_2_54_1","doi-asserted-by":"crossref","unstructured":"G.Brewka Answer sets: From constraint programming towards qualitative optimization inV.LifschitzandI.Niemel\u00e4(eds.) Proc. 7th International Conference on Logic Programming and Non\u2010Monotonic Reasoning (LPNMR\u20107) volume 2923 of LNAI Springer January2004 pp.34\u201346.","DOI":"10.1007\/978-3-540-24609-1_6"},{"key":"e_1_2_7_2_55_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001539"},{"key":"e_1_2_7_2_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"e_1_2_7_2_57_1","volume-title":"Computational Logic\u2014CL 2000, First International Conference, Proceedings, volume 1861 of Lecture Notes in AI (LNAI)","author":"Wang K.","year":"2000"},{"key":"e_1_2_7_2_58_1","unstructured":"T.SchaubandK.Wang A comparative study of logic programs with preference inProc. Seventeenth International Joint Conference on Artificial Intelligence (IJCAI) 2001 Seattle WA August2001 pp.597\u2013602."},{"key":"e_1_2_7_2_59_1","unstructured":"G.Brewka Logic programming with ordered disjunction inProc. 9th International Workshop on Non\u2010Monotonic Reasoning (NMR'2002) April2002 pp.67\u201376."},{"key":"e_1_2_7_2_60_1","unstructured":"G.Brewka I.Niemel\u00e4 andM.Truszczy\u0144ski Answer set optimization. inG.GottlobandT.Walsh(eds.) IJCAI\u201003 Proc. of the Eighteenth International Joint Conference on Artificial Intelligence Acapulco Mexico Morgan Kaufmann August2003 pp.867\u2013872."},{"key":"e_1_2_7_2_61_1","volume-title":"International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series","author":"Balduccini M.","year":"2003"},{"key":"e_1_2_7_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/976706.976708"},{"key":"e_1_2_7_2_63_1","unstructured":"Y.Dimopoulos A. C.Kakas andL.Michael Reasoning about actions and change in answer set programming programs inV.LifschitzandI.Niemel\u00e4(eds) Proceedings of Logic Programming and Nonmonotonic Reasoning 7th International Conference LPNMR 2004 volume 2 of LNCS.New York:Springer 2004."},{"key":"e_1_2_7_2_64_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068404002224"},{"key":"e_1_2_7_2_65_1","doi-asserted-by":"crossref","unstructured":"M.Mari\u00ebn D.Gilis andM.Denecker On the relation between ID\u2010Logic and answer set programming inJ.J\u00falio AlferesandJ.Alexandre Leite(eds.) Proceedings of Logics in Artificial Intelligence 9th European Conference JELIA 2004 Lisbon Portugal volume 3229 of Lecture Notes in Computer Science Springer September2004 pp.108\u2013120.","DOI":"10.1007\/978-3-540-30227-8_12"},{"key":"e_1_2_7_2_66_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2006.02.002"},{"key":"e_1_2_7_2_67_1","doi-asserted-by":"crossref","unstructured":"S.Heymans D.VanNieuwenborgh andD.Vermeir Semantic web reasoning with conceptual logic programs Proc. Rules and Rule Markup Languages for the Semantic Web: Third International Workshop RuleML 2004 Hiroshima Japan November2004 pp.113\u2013127.","DOI":"10.1007\/978-3-540-30504-0_9"},{"key":"e_1_2_7_2_68_1","unstructured":"T.Eiter G.Ianni R.Schindlauer andH.Tompits A uniform integration of higher\u2010order reasoning and external evaluations in answer set programming International Joint Conference on Artificial Intelligence (IJCAI) 2005 Edinburgh UK August2005."},{"key":"e_1_2_7_2_69_1","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"Baader F.","year":"2003"},{"key":"e_1_2_7_2_70_1","first-page":"693","article-title":"A system with template answer set programs","author":"Calimeri F.","year":"2004","journal-title":"JELIA"},{"key":"e_1_2_7_2_71_1","doi-asserted-by":"crossref","unstructured":"D.Pearce V.Sarsakov T.Schaub H.Tompits andS.Woltran A polynomial translation of logic programs with nested expressions into disjunctive logic programs: Preliminary report. inProc. 9th International Workshop on Non\u2010Monotonic Reasoning (NMR'2002) 2002.","DOI":"10.1007\/3-540-45619-8_28"},{"key":"e_1_2_7_2_72_1","doi-asserted-by":"crossref","unstructured":"D.Pearce H.Tompits andS.Woltran Encodings for equilibrium logic and logic programs with nested expressions inP.BrazdilandA.Jorge(eds.) 10th Proc. Portuguese Conference on Artificial Intelligence (EPIA 2001) December2001 pp.306\u2013320.","DOI":"10.1007\/3-540-45329-6_31"},{"key":"e_1_2_7_2_73_1","unstructured":"D.Lembo M.Lenzerini andR.Rosati Integrating inconsistent and incomplete data sources Proc. of SEBD 2002 Portoferraio Isola d'Elba 2002 pp.299\u2013308."},{"key":"e_1_2_7_2_74_1","unstructured":"D.Lembo M.Lenzerini andR.Rosati Source inconsistency and incompleteness in data integration Proc. Knowledge Representation meets Databases International Workshop (KRDB\u201002) Toulouse France 2002. CEUR Electronic Workshop Proceedings. Available:http:\/\/sunsite. informatik. rwth\u2010aachen.de\/Publications\/CEUR\u2010WS\/Vol\u201054\/."},{"key":"e_1_2_7_2_75_1","doi-asserted-by":"crossref","unstructured":"N.Leone G.Gottlob R.Rosati T.Eiter W.Faber M.Fink G.Greco G.Ianni E.Kalka D.Lembo M.Lenzerini V.Lio B.Nowicki M.Ruzzi W.Staniszkis andG.Terracina The INFOMIX System for advanced integration of incomplete and inconsistent data Proc. 24th ACM SIGMOD International Conference on Management of Data (SIGMOD 2005) Baltimore MD June2005 pp.915\u2013917.","DOI":"10.1145\/1066157.1066286"},{"key":"e_1_2_7_2_76_1","doi-asserted-by":"crossref","unstructured":"T.SoininenandI.Niemel\u00e4 Developing a declarative rule language for applications in product configuration inG.Gupta(ed.) Proc. 1st International Workshop on Practical Aspects of Declarative Languages (PADL'99) volume 1551 of Lecture Notes in Computer Science Springer 1999 pp.305\u2013319.","DOI":"10.1007\/3-540-49201-1_21"},{"key":"e_1_2_7_2_77_1","unstructured":"T.Syrj\u00e4nen A Rule\u2010Based Formal Model for Software Configuration. Technical ReportA55 Digital Systems Laboratory Department of Computer Science Helsinki University of Technology Espoo Finland 1999."},{"key":"e_1_2_7_2_78_1","unstructured":"M.Ruffolo N.Leone M.Manna D.Sacca andA.Zavatto Exploiting ASP for semantic information extraction inM.deVosandA.Provetti(eds.) Proceedings ASP05\u2014Answer Set Programming: Advances in Theory and Implementation Bath UK July2005 pp.248\u2013262."},{"key":"e_1_2_7_2_79_1","doi-asserted-by":"crossref","unstructured":"C.Cumbo S.Iiritano andP.Rullo Reasoning\u2010based knowledge extraction for text classification. inProceedings of Discovery Science 7th International Conference Padova Italy October2004 pp.380\u2013387.","DOI":"10.1007\/978-3-540-30214-8_34"},{"key":"e_1_2_7_2_80_1","unstructured":"R.Curia M.Ettorre S.Iiritano andP.Rullo Textual document per\u2010processing and feature extraction in OLEX. inProceedings of Data Mining 2005 Skiathos Greece 2005."},{"key":"e_1_2_7_2_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/383779.383785"},{"key":"e_1_2_7_2_82_1","doi-asserted-by":"crossref","unstructured":"C.BaralandC.Uyan Declarative specification and solution of combinatorial auctions using logic programming inT.Eiter W.Faber andM.Truszczy\u0144ski(eds) Proc. 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201001) volume 2173 of Lecture Notes in AI (LNAI) Springer Verlag 2001 pp.186\u2013199.","DOI":"10.1007\/3-540-45402-0_14"},{"key":"e_1_2_7_2_83_1","unstructured":"W.Faber N.Leone andG.Pfeifer Representing school timetabling in a disjunctive logic programming language inU.EglyandH.Tompits(eds.) Proc. 13th Workshop on Logic Programming (WLP'98) Vienna Austria October1998 pp.43\u201352."},{"key":"e_1_2_7_2_84_1","unstructured":"E.Bertino A.Mileo andA.Provetti User preferences VS minimality in PPDL inF.Buccafurri(ed.) Proc. Joint Conference on Declarative Programming APPIA\u2010GULP\u2010PRODE 2003 September2003 pp.110\u2013122."},{"key":"e_1_2_7_2_85_1","unstructured":"G.Greco A.Guzzo andD.Sacc\u00e1 A logic programming approach for planning workflows evolutions inF.Buccafurri(ed.) Proc. Joint Conference on Declarative Programming APPIA\u2010GULP\u2010PRODE 2003 September2003 pp.75\u201385."},{"key":"e_1_2_7_2_86_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1245280"},{"key":"e_1_2_7_2_87_1","first-page":"160","volume-title":"Practical Aspects of Declarative Languages, 5th International Symposium (PADL 2003), volume 2562 of Lecture Notes in Computer Science","author":"Erdem E.","year":"2003"},{"key":"e_1_2_7_2_88_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546207_25"},{"key":"e_1_2_7_2_89_1","doi-asserted-by":"crossref","unstructured":"S.CostantiniandA.Tocchio The dali logic programming agent\u2010oriented language inJ.J\u00falio AlferesandJ.Leite(eds) Proc. 9th European Conference on Artificial Intelligence (JELIA 2004) volume 3229 of Lecture Notes in AI (LNAI) Springer Verlag September2004 pp.685\u2013688.","DOI":"10.1007\/978-3-540-30227-8_57"},{"issue":"2","key":"e_1_2_7_2_90_1","first-page":"137","article-title":"Exploiting agents in e\u2010learning and skills management context","volume":"19","author":"Garro A.","year":"2006","journal-title":"AI Commun. Eur. J. Arti. Intell."},{"key":"e_1_2_7_2_91_1","unstructured":"M.De VosandT.Schaub(eds.) SEA '07: Software Engineering for Answer Set Programming volume 281. CEUR 2007. Available:http:\/\/CEUR\u2010WS.org\/Vol\u2010281\/."},{"key":"e_1_2_7_2_92_1","unstructured":"M.BrainandM.DeVos Debugging logic programs under the answer set semantics inM.DeVosandA.Provetti(eds.) Proc. ASP05\u2014Answer Set Programming: Advances in Theory and Implementation Bath UK July2005."},{"key":"e_1_2_7_2_93_1","doi-asserted-by":"crossref","unstructured":"O.El\u2010Khatib E.Pontelli andT.Cao Son Justification and debugging of answer set programs in ASP inC.Jeffery J.\u2010D.Choi andR.Lencevicius(eds) Proc. Sixth International Workshop on Automated Debugging California September2005.","DOI":"10.1145\/1085130.1085137"},{"key":"e_1_2_7_2_94_1","unstructured":"F.Ricca The DLV Java Wrapper inM.VosdeandA.Provetti(eds.) Proceedings ASP03\u2014Answer Set Programming: Advances in Theory and Implementation Messina Italy September2003. Available:http:\/\/CEUR\u2010WS.org\/Vol\u201078\/."},{"key":"e_1_2_7_3_2_1","unstructured":"2003 Y. Babovich M. Maratea Cmodels\u20102: Sat\u2010based answer sets solver enhanced to non\u2010tight programs"},{"key":"e_1_2_7_3_3_1","unstructured":"J.Dix G.Gottlob andV.Wiktor Marek Causal models for disjunctive logic programs. inP.VanHentenryck(ed.) Proc. 11th International Conference on Logic Programming (ICLP'94) Santa Margherita Ligure Italy June1994."},{"key":"e_1_2_7_3_4_1","unstructured":"J.McCarthy Formalization of Common Sense papers by John McCarthy edited by V. Lifs\u2010chitz. Ablex 1990."},{"key":"e_1_2_7_3_5_1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Minker J.","year":"1988"}],"container-title":["Wiley Encyclopedia of Computer Science and Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/9780470050118.ecse226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T18:50:32Z","timestamp":1709232632000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/9780470050118.ecse226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,15]]},"ISBN":["9780471383932","9780470050118"],"references-count":98,"alternative-id":["10.1002\/9780470050118.ecse226","10.1002\/9780470050118"],"URL":"https:\/\/doi.org\/10.1002\/9780470050118.ecse226","archive":["Portico"],"relation":{},"subject":[],"published":{"date-parts":[[2008,9,15]]}}}