{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:38:52Z","timestamp":1726083532045},"publisher-location":"Cham","reference-count":106,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030061661"},{"type":"electronic","value":"9783030061678"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-06167-8_4","type":"book-chapter","created":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T00:02:20Z","timestamp":1588896140000},"page":"83-113","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Logic Programming"],"prefix":"10.1007","author":[{"given":"Arnaud","family":"Lallouet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Moinard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Nicolas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"St\u00e9phan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"key":"4_CR1","unstructured":"Arish J, Carro M (2015) Towards a generic interface to integrate CLP and tabled execution (extended abstract). In: Vos MD, Eiter T, Lierler Y, Toni F (eds) Proceedings of the technical communications of the 31st international conference on logic programming (ICLP 2015), Cork, Ireland, 31 August\u2013 4 Sept 2015. CEUR workshop proceedings, vol 1433. http:\/\/CEUR-WS.org"},{"key":"4_CR2","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 (2003) Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge"},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1016\/j.ijar.2013.09.006","volume":"55","author":"K Bauters","year":"2014","unstructured":"Bauters K, Schockaert S, Cock MD, Vermeir D (2014) Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions. Int J Approx Reason 55(2):739\u2013761","journal-title":"Int J Approx Reason"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1017\/S147106841300063X","volume":"15","author":"K Bauters","year":"2015","unstructured":"Bauters K, Schockaert S, Cock MD, Vermeir D (2015) Characterizing and extending answer set semantics using possibility theory. Theory Pract Log Program 15(1):79\u2013116","journal-title":"Theory Pract Log Program"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/s10489-008-0135-x","volume":"32","author":"S Benferhat","year":"2010","unstructured":"Benferhat S, Ben-Naim J, Papini O, W\u00fcrbel \u00c9 (2010) An answer set programming encoding of prioritized removed sets revision: application to GIS. Appl Intell 32(1):60\u201387","journal-title":"Appl Intell"},{"key":"4_CR6","unstructured":"Benhamou F, Bouvier P, Colmerauer A, Garreta H, Gilleta B, Massat J-L, Narboni G-A, N\u2019Dong S, Pasero R, Pique J-F, Touravane Caneghem MV, Vtillard E, Zhou J (1996) Le manuel de Prolog IV, Prologia"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/383721.383725","volume":"23","author":"S Bistarelli","year":"2001","unstructured":"Bistarelli S, Montanari U, Rossi F (2001) Semiring-based constraint logic programming: syntax and semantics. ACM Trans Program Lang Syst 23(1):1\u201329","journal-title":"ACM Trans Program Lang Syst"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-34922-5_15","volume-title":"Soft computing: state of the art theory and novel applications","author":"M Blondeel","year":"2013","unstructured":"Blondeel M, Schockaert S, Vermeir D, Cock MD (2013) In: Yager R, Abbasov A, Reformat M, Shahbazova S (eds) Soft computing: state of the art theory and novel applications. Springer, Berlin, pp 209\u2013222"},{"issue":"9","key":"4_CR9","doi-asserted-by":"publisher","first-page":"1971","DOI":"10.1016\/j.ijar.2013.10.011","volume":"55","author":"M Blondeel","year":"2014","unstructured":"Blondeel M, Schockaert S, Vermeir D, Cock MD (2014) Complexity of fuzzy answer set programming under \u0142ukasiewicz semantics. Int J Approx Reason 55(9):1971\u20132003","journal-title":"Int J Approx Reason"},{"key":"4_CR10","unstructured":"Brewka G (2004) Complex preferences for answer set optimization. In: Principles of knowledge representation and reasoning: proceedings of the ninth international conference (KR2004), Whistler, Canada, 2\u20135 June 2004, pp 213\u2013223"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Brewka G, Delgrande JP, Romero J, Schaub T (2015) asprin: customizing answer set preferences without a headache. In: Proceedings of the twenty-ninth AAAI conference on artificial intelligence, 25\u201330 January 2015, Austin, Texas, USA, pp 1467\u20131474","DOI":"10.1609\/aaai.v29i1.9398"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1111\/j.0824-7935.2004.00241.x","volume":"20","author":"G Brewka","year":"2004","unstructured":"Brewka G, Niemel\u00e4 I, Syrj\u00e4nen T (2004) Logic programs with ordered disjunction. Comput Intell 20(2):333\u2013357","journal-title":"Comput Intell"},{"issue":"6","key":"4_CR13","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1017\/S1471068407003110","volume":"7","author":"P Cabalar","year":"2007","unstructured":"Cabalar P, Ferraris P (2007) Propositional theories are strongly equivalent to logic programs. Theory Pract Log Program 7(6):745\u2013759","journal-title":"Theory Pract Log Program"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Calimeri F, Cozza S, Ianni G, Leone N (2008) Computable functions in ASP: theory and implementation. In: Proceedings of the international conference on logic programming (ICLP\u201908). Springer, Berlin, pp 407\u2013424","DOI":"10.1007\/978-3-540-89982-2_37"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","volume":"231","author":"F Calimeri","year":"2016","unstructured":"Calimeri F, Gebser M, Maratea M, Ricca F (2016) Design and results of the fifth answer set programming competition. Artif Intell 231:151\u2013181","journal-title":"Artif Intell"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Calimeri F, Ianni G, Truszczynski M (eds) (2015) Logic programming and nonmonotonic reasoning - 13th international conference, LPNMR 2015, Lexington, KY, USA, 27\u201330 September 2015. Proceedings. Lecture notes in computer science, vol 9345. Springer, Berlin","DOI":"10.1007\/978-3-319-23264-5"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Carlsson M, Ottosson G, Carlson B (1997) An open-ended finite domain constraint solver. In: Proceedings of the international symposium on programming language implementation and logic programming (PLILP\u201997), pp 191\u2013206","DOI":"10.1007\/BFb0033845"},{"key":"4_CR18","first-page":"293","volume-title":"Logic and data bases","author":"KL Clark","year":"1977","unstructured":"Clark KL (1977) Negation as failure. In: Gallaire H, Minker J (eds) Logic and data bases. Plenum, New York, pp 293\u2013322"},{"key":"4_CR19","unstructured":"Colmerauer A (1983) Prolog in ten figures. In: International joint conference on artificial intelligence (IJCAI\u201983), pp 487\u2013499"},{"issue":"7","key":"4_CR20","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A Colmerauer","year":"1990","unstructured":"Colmerauer A (1990) An introduction to prolog III. Commun ACM 33(7):69\u201390","journal-title":"Commun ACM"},{"key":"4_CR21","unstructured":"Colmerauer A, Kanoui A, Roussel P, Pasero R (1973) Un systme de communication homme-machine en franais. Artificielle, Universit d\u2019Aix-Marseille, Technical report, Groupe de Recherche en Intelligence"},{"key":"4_CR22","first-page":"37","volume-title":"History of programming languages","author":"A Colmerauer","year":"1996","unstructured":"Colmerauer A, Roussel P (1996) The birth of prolog. In: Et Gibson RG, Berjin TJ (eds) History of programming languages. ACM Press\/Addison-Wesley, New York, pp 37\u201352"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-11829-6_11","volume-title":"International symposium on foundations of information and knowledge systems (FoIKS\u201909)","author":"R Confalonieri","year":"2010","unstructured":"Confalonieri R, Nieves JC, Osorio M, V\u00e1zquez-Salceda J (2010) Possibilistic semantics for logic programs with ordered disjunction. International symposium on foundations of information and knowledge systems (FoIKS\u201909). Springer, Berlin, pp 133\u2013152"},{"issue":"1\u20132","key":"4_CR24","first-page":"1","volume":"105","author":"S Costantini","year":"2010","unstructured":"Costantini S, Formisano A, Petturiti D (2010) Extending and implementing RASP. Fundam Inf 105(1\u20132):1\u201333","journal-title":"Fundam Inf"},{"issue":"3","key":"4_CR25","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/185403.185453","volume":"26","author":"JC de Kergommeaux","year":"1994","unstructured":"de Kergommeaux JC, Codognet P (1994) Parallel logic programming systems. ACM Comput Surv 26(3):295\u2013336","journal-title":"ACM Comput Surv"},{"key":"4_CR26","unstructured":"de\u00a0la Banda MG, Pontelli E (eds) (2008). Logic programming, 24th international conference, ICLP 2008, Udine, Italy, 9\u201313 December 2008, Proceedings. LNCS, vol 5366. Springer, Berlin"},{"issue":"2","key":"4_CR27","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1111\/j.0824-7935.2004.00240.x","volume":"20","author":"JP Delgrande","year":"2004","unstructured":"Delgrande JP, Schaub T, Tompits H, Wang K (2004) A classification and survey of preference handling approaches in nonmonotonic reasoning. Comput Intell 20(2):308\u2013334","journal-title":"Comput Intell"},{"key":"4_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog - the standard: reference manual","author":"P Deransart","year":"1996","unstructured":"Deransart P, Ed-Dbali A, Cervoni L (1996) Prolog - the standard: reference manual. Springer, Berlin"},{"key":"4_CR29","unstructured":"Diaz D (2001) Design and implementation of the GNU Prolog system. J Funct Log Program 2001(6)"},{"key":"4_CR30","volume-title":"9th international conference on automated deduction","author":"M Dincbas","year":"1988","unstructured":"Dincbas M, Van Hentenryck P, Simonis H, Aggoun A, Herold A (1988) The CHIP system: constraint handling in Prolog. In: Lusk E, Overbeek R (eds) 9th international conference on automated deduction. Springer, Argonne"},{"issue":"4\u20136","key":"4_CR31","first-page":"465","volume":"10","author":"C Drescher","year":"2010","unstructured":"Drescher C, Walsh T (2010) A translational approach to constraint answer set solving. TPLP 10(4\u20136):465\u2013480","journal-title":"TPLP"},{"key":"4_CR32","unstructured":"Dubois D, Prade H, Schockaert S (2015) Extending answer set programming using generalized possibilistic logic. In: Proceedings of the joint ontology workshops 2015 episode 1: the argentine winter of ontology co-located with the 24th international joint conference on artificial intelligence (IJCAI 2015), Buenos Aires, Argentina, 25\u201327 July 2015"},{"issue":"2","key":"4_CR33","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1080\/19462166.2010.486479","volume":"1","author":"U Egly","year":"2010","unstructured":"Egly U, Gaggl SA, Woltran S (2010) Answer-set programming encodings for argumentation frameworks. Argum Comput 1(2):147\u2013177","journal-title":"Argum Comput"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Eiter T, Ianni G, Krennwallner T (2009) Answer set programming: a primer. In: Tessaris S, Franconi E, Eiter T, Gutierrez C, Handschuh S, Rousset M-C, Schmidt RA (eds) 5th international reasoning web summer school (RW 2009), Brixen\/Bressanone, Italy, 30 August\u20134 September 2009. LNCS, vol 5689. Springer, Berlin pp 40\u2013110","DOI":"10.1007\/978-3-642-03754-2_2"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Erdem E, Erdem O, T\u00fcre F (2009) HAPLO-ASP: haplotype inference using answer set programming. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u201909). Springer, Berlin, pp 573\u2013578","DOI":"10.1007\/978-3-642-04238-6_60"},{"key":"4_CR36","unstructured":"Ferraris P, Lee J, Lifschitz V (2007) A new perspective on stable models. In: International joint conference on artificial intelligence (IJCAI\u201907), pp 372\u2013379"},{"key":"4_CR37","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.artint.2010.04.011","volume":"175","author":"P Ferraris","year":"2010","unstructured":"Ferraris P, Lee J (2010) Stable models and circumscription. Artif Intell 175:236\u2013263","journal-title":"Artif Intell"},{"issue":"1\u20133","key":"4_CR38","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T Fruhwirth","year":"1998","unstructured":"Fruhwirth T (1998) Theory and practice of constraint handling rules. J Log Program 37(1\u20133):95\u2013138","journal-title":"J Log Program"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth T (2009) Constraint handling rules, 1st edn. Cambridge University Press, New York","DOI":"10.1017\/CBO9780511609886"},{"key":"4_CR40","unstructured":"Fr\u00fchwirth TW (1994) Constraint handling rules. Constraint programming, pp 90\u2013107"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"Garcia L, Ngoma S, Nicolas P (2009) Dealing automatically with exceptions by introducing specificity in ASP. In: Proceedings of the European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU\u201909). Springer, Berlin, pp 614\u2013625","DOI":"10.1007\/978-3-642-02906-6_53"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"Gebser M, Kaminski R, Knig A, Schaub T (2011a) Advances in gringo series 3. In: Delgrande JP Faber W (eds) Logic programming and nonmonotonic reasoning - 11th international conference, LPNMR 2011. Lecture notes in computer science, vol 6645. Springer, Berlin, pp 345\u2013351","DOI":"10.1007\/978-3-642-20895-9_39"},{"issue":"2","key":"4_CR43","first-page":"1","volume":"11","author":"M Gebser","year":"2011","unstructured":"Gebser M, Schaub T, Thiele S, Veber P (2011b) Detecting inconsistencies in large biological networks with answer set programming. Theory Pract Log Program 11(2):1\u201338","journal-title":"Theory Pract Log Program"},{"key":"4_CR44","doi-asserted-by":"crossref","unstructured":"Gebser M, Kaufmann B, Schaub T (2009) The conflict-driven answer set solver clasp: progress report. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u201909). Springer, Berlin, pp 509\u2013514","DOI":"10.1007\/978-3-642-04238-6_50"},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Gebser M, Konig A, Schaub TTS, Veber P (2010) The BioASP library: ASP solutions for systems biology. In: Proceedings of the international conference on tools with artificial intelligence (ICTAI\u201910). IEEE Computer Society, Washington","DOI":"10.1109\/ICTAI.2010.62"},{"key":"4_CR46","doi-asserted-by":"crossref","unstructured":"Gebser M, Maratea M, Ricca F (2017). The design of the seventh answer set programming competition. In: Proceedings of the 14th international conference on logic programming and nonmonotonic reasoning (LPNMR\u201917). Springer, Berlin, pp 3\u20139","DOI":"10.1007\/978-3-319-61660-5_1"},{"key":"4_CR47","doi-asserted-by":"crossref","unstructured":"Gebser M, Schaub T, Thiele S (2007) Gringo: a new grounder for answer set programming. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u201907). Springer, Berlin, pp 266\u2013271","DOI":"10.1007\/978-3-540-72200-7_24"},{"issue":"1\u20132","key":"4_CR48","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","author":"M Gelfond","year":"2002","unstructured":"Gelfond M, Leone N (2002) Logic programming and knowledge representation - the A-Prolog perspective. Artif Intell 138(1\u20132):3\u201338","journal-title":"Artif Intell"},{"key":"4_CR49","unstructured":"Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: Kowalski RA, Bowen K (eds) Proceedings of the conference and symposium on logic programming. The MIT Press, Cambridge, Massachusetts, pp 1070\u20131080"},{"key":"4_CR50","doi-asserted-by":"crossref","unstructured":"Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9(3sps4):365\u2013386","DOI":"10.1007\/BF03037169"},{"key":"4_CR51","unstructured":"Gelfond M, Przymusinska H, Przymusinski TC (1986) The extended closed world assumpution and its relationship to parallel circumscription. In: Proceedings of the international symposium on principles of database systems (PODS\u201986). ACM, New York, pp 133\u2013139"},{"key":"4_CR52","unstructured":"Giannesini F, Kanoui H, Pasero R, Caneghem MV (1985) Prolog (Prface de A. Colmerauer), InterEditions"},{"issue":"4","key":"4_CR53","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s10817-006-9033-2","volume":"36","author":"E Giunchiglia","year":"2006","unstructured":"Giunchiglia E, Lierler Y, Maratea M (2006) Answer set programming based on propositional satisfiability. J Autom Reason 36(4):345\u2013377","journal-title":"J Autom Reason"},{"key":"4_CR54","doi-asserted-by":"crossref","unstructured":"Grasso G, Iiritano S, Leone N, Ricca F (2009) Some DLV applications for knowledge management. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u201909). Springer, Berlin, pp 591\u2013597","DOI":"10.1007\/978-3-642-04238-6_63"},{"issue":"1\u20133","key":"4_CR55","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"37","author":"PV Hentenryck","year":"1998","unstructured":"Hentenryck PV, Saraswat VA, Deville Y (1998) Design, implementation, and evaluation of the constraint language cc(FD). J Log Program 37(1\u20133):139\u2013164","journal-title":"J Log Program"},{"key":"4_CR56","volume-title":"The G\u00f6del programming language","author":"PM Hill","year":"1994","unstructured":"Hill PM, Lloyd JW (1994) The G\u00f6del programming language. MIT Press, Cambridge"},{"key":"4_CR57","unstructured":"Hu\u00e9 J, Papini O, W\u00fcrbel \u00c9 (2010) Implementing prioritized merging with ASP. In: Proceedings of the international conference on information processing and management of uncertainty in knowledge-based systems. Springer, Berlin, pp 138\u2013147"},{"key":"4_CR58","doi-asserted-by":"crossref","unstructured":"Ielpa SM, Iiritano S, Leone N, Ricca F (2009) An ASP-based system for e-tourism. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u201909). Springer, Berlin, pp 368\u2013381","DOI":"10.1007\/978-3-642-04238-6_31"},{"key":"4_CR59","doi-asserted-by":"crossref","unstructured":"Jaffar J, Lassez J-L (1987) Constraint logic programming. In: Proceedings of the symposium on principles of programming languages (POPL\u201987). ACM, New York, pp 111\u2013119","DOI":"10.1145\/41625.41635"},{"issue":"3","key":"4_CR60","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J Jaffar","year":"1992","unstructured":"Jaffar J, Michaylov S, Stuckey PJ, Yap RHC (1992) The CLP(R) language and system. ACM Trans Program Lang Syst 14(3):339\u2013395","journal-title":"ACM Trans Program Lang Syst"},{"key":"4_CR61","doi-asserted-by":"crossref","unstructured":"Janssen J, Schockaert S, Vermeir D, Cock MD (2012) Answer set programming for continuous domains - a fuzzy logic approach. Atlantis computational intelligence systems, vol 5. Atlantis Press, Paris","DOI":"10.2991\/978-94-91216-59-6"},{"issue":"12\u201313","key":"4_CR62","doi-asserted-by":"publisher","first-page":"1154","DOI":"10.1016\/j.artint.2009.04.002","volume":"173","author":"D Kayser","year":"2009","unstructured":"Kayser D, Nouioua F (2009) From the textual description of an accident to its causes. Artif Intell 173(12\u201313):1154\u20131193","journal-title":"Artif Intell"},{"key":"4_CR63","first-page":"569","volume":"74","author":"R Kowalski","year":"1974","unstructured":"Kowalski R (1974) Predicate logic as a programming language. Inf Process 74:569\u2013574","journal-title":"Inf Process"},{"key":"4_CR64","doi-asserted-by":"crossref","unstructured":"Lef\u00e8vre C, B\u00e9atrix C, St\u00e9phan I, Garcia L (2017) ASPeRix, a first order forward chaining approach for answer set computing. Theory Prat Log Program 1\u201345","DOI":"10.1017\/S1471068416000569"},{"key":"4_CR65","doi-asserted-by":"crossref","unstructured":"Lef\u00e8vre C, Nicolas P (2009a) A first order forward chaining approach for answer set computing. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u201909). Springer, Berlin, pp 196\u2013208","DOI":"10.1007\/978-3-642-04238-6_18"},{"key":"4_CR66","doi-asserted-by":"crossref","unstructured":"Lef\u00e8vre C, Nicolas P (2009b) The first version of a new ASP solver : ASPeRiX. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u201909). Springer, Berlin, pp 522\u2013527","DOI":"10.1007\/978-3-642-04238-6_52"},{"key":"4_CR67","doi-asserted-by":"crossref","unstructured":"Leone N, Faber W (2008) The DLV project: a tour from theory and research to applications and market. In: Proceedings of the international conference on logic programming (ICLP\u201908). Springer, Berlin, pp 53\u201368","DOI":"10.1007\/978-3-540-89982-2_10"},{"issue":"3","key":"4_CR68","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 (2006) The DLV system for knowledge representation and reasoning. ACM Trans Comput Log 7(3):499\u2013562","journal-title":"ACM Trans Comput Log"},{"key":"4_CR69","unstructured":"Lifschitz V (1989) Between circumscription and autoepistemic logic. In: International conference on principles of knowledge representation and reasoning (KR\u201989), pp 235\u2013244"},{"issue":"1\u20132","key":"4_CR70","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz V (2002) Answer set programming and plan generation. Artif Intell 138(1\u20132):39\u201354","journal-title":"Artif Intell"},{"key":"4_CR71","doi-asserted-by":"crossref","unstructured":"Lifschitz V (2008a) Twelve definitions of a stable model. In: Proceedings of the international conference on logic programming (ICLP\u201908). Springer, Berlin, pp 37\u201351","DOI":"10.1007\/978-3-540-89982-2_8"},{"key":"4_CR72","unstructured":"Lifschitz V (2008b) What is answer set programming? In: Proceedings of the international conference on artificial intelligence (AAAI\u201908), pp 1594\u20131597"},{"issue":"1\u20132","key":"4_CR73","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 (2004) ASSAT: computing answer sets of a logic program by SAT solvers. Artif Intell 157(1\u20132):115\u2013137","journal-title":"Artif Intell"},{"key":"4_CR74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"J Lloyd","year":"1987","unstructured":"Lloyd J (1987) Foundations of logic programming. Springer, New York Inc"},{"key":"4_CR75","unstructured":"Loveland D (1968) A linear format for resolution. In: Proceedings of the symposium on automatic demonstration. Springer, Berlin"},{"key":"4_CR76","unstructured":"Luckham D (1968) Refinements theorems in resolution theory. In: Proceedings of the symposium on automatic demonstration. Springer, Berlin"},{"key":"4_CR77","volume-title":"From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s","author":"P Mancosu","year":"1998","unstructured":"Mancosu P (1998) From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s. Oxford University Press, Oxford"},{"issue":"1\u20132","key":"4_CR78","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 (1980) Circumscription - a form of non-monotonic reasoning. Artif Intell 13(1\u20132):27\u201339","journal-title":"Artif Intell"},{"issue":"1","key":"4_CR79","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J McCarthy","year":"1986","unstructured":"McCarthy J (1986) Applications of circumscription to formalizing common-sense knowledge. Artif Intell 28(1):89\u2013116","journal-title":"Artif Intell"},{"issue":"1","key":"4_CR80","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"RC Moore","year":"1985","unstructured":"Moore RC (1985) Semantical considerations on nonmonotonic logic. Artif Intell 25(1):75\u201394","journal-title":"Artif Intell"},{"key":"4_CR81","unstructured":"Mushthofa M, Schockaert S, Cock MD (2014) A finite-valued solver for disjunctive fuzzy answer set programs. In: ECAI 2014 - 21st European conference on artificial intelligence, 18\u201322 August 2014, Prague, Czech republic - including prestigious applications of intelligent systems (PAIS 2014), pp 645\u2013650"},{"key":"4_CR82","first-page":"499","volume-title":"Handbook of logic in artificial intelligence and logic programming","author":"G Nadathur","year":"1998","unstructured":"Nadathur G, Miller D (1998) Higher-order logic programming. In: Gabbay CHD, Robinson A (eds) Handbook of logic in artificial intelligence and logic programming, vol 5. Oxford University Press, Oxford, pp 499\u2013590"},{"issue":"1\u20132","key":"4_CR83","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10472-006-9029-y","volume":"47","author":"P Nicolas","year":"2006","unstructured":"Nicolas P, Garcia L, Stphan I, Lefvre C (2006) Possibilistic uncertainty handling for answer set programming. Ann Math Artif Intell 47(1\u20132):139\u2013181","journal-title":"Ann Math Artif Intell"},{"issue":"3\u20134","key":"4_CR84","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4 I (1999) Logic programs with stable model semantics as a constraint programming paradigm. Ann Math Artif Intell 25(3\u20134):241\u2013273","journal-title":"Ann Math Artif Intell"},{"key":"4_CR85","doi-asserted-by":"crossref","unstructured":"Niemel\u00e4 I, Simons P, Soininen T (1999) Stable model semantics of weight constraint rules. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u2019 99). Springer, Berlin, pp 317\u2013331","DOI":"10.1007\/3-540-46767-X_23"},{"issue":"3\u20134","key":"4_CR86","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10472-007-9080-3","volume":"50","author":"DV Nieuwenborgh","year":"2007","unstructured":"Nieuwenborgh DV, Cock MD, Vermeir D (2007) An introduction to fuzzy answer set programming. Ann Math Artif Intell 50(3\u20134):363\u2013388","journal-title":"Ann Math Artif Intell"},{"key":"4_CR87","unstructured":"Older WJ, Vellino A (1990) Extending prolog with constraint arithmetic on real intervals. In: Canadian Conference on Electrical and Computer Engineering"},{"key":"4_CR88","unstructured":"Palu AD, Dovier A, Pontelli E, Rossi G (2009) Answer set programming with constraints using lazy grounding. In: Proceedings of the international conference on logic programming (ICLP\u201909). LNCS, vol 5649. Springer, Berlin, pp 115\u2013129"},{"key":"4_CR89","unstructured":"Pearce D (1996) A new logical characterisation of stable models and answer sets. In: Non-monotonic extensions of logic programming (NMELP\u201996). Springer, Berlin, pp 57\u201370"},{"issue":"1\u20132","key":"4_CR90","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 (1980) A logic for default reasoning. Artif Intell 13(1\u20132):81\u2013132","journal-title":"Artif Intell"},{"issue":"1","key":"4_CR91","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J Robinson","year":"1965","unstructured":"Robinson J (1965) A machine-oriented logic based on the resolution principle. J ACM 12(1):23\u201341","journal-title":"J ACM"},{"volume-title":"Handbook of constraint programming","year":"2006","key":"4_CR92","unstructured":"Rossi F, van Beek P, Walsh T (eds) (2006) Handbook of constraint programming. Elsevier, Amsterdam"},{"key":"4_CR93","doi-asserted-by":"crossref","unstructured":"Sakama C, Inoue K (1993) Relating disjunctive logic programs to default theories. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u201993), pp 266\u2013282","DOI":"10.7551\/mitpress\/4307.003.0023"},{"key":"4_CR94","unstructured":"Schaub T, Wang K (2001) A comparative study of logic programs with preference. In International Joint Conference on Artificial Intelligence (IJCAI\u201901), pp 597\u2013602"},{"issue":"1\u20132","key":"4_CR95","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 (2002) Extending and implementing the stable model semantics. Artif Intell 138(1\u20132):181\u2013234","journal-title":"Artif Intell"},{"key":"4_CR96","doi-asserted-by":"crossref","unstructured":"Somogyi Z, Henderson F, Conway T (1996) The execution algorithm of Mercury, an efficient purely declarative logic programming language. J Log Program 29","DOI":"10.1016\/S0743-1066(96)00068-4"},{"issue":"5","key":"4_CR97","first-page":"559","volume":"6","author":"TC Son","year":"2006","unstructured":"Son TC, Pontelli E (2006) Planning with preferences using logic programming. TPLP 6(5):559\u2013607","journal-title":"TPLP"},{"issue":"4","key":"4_CR98","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1093\/logcom\/exn041","volume":"19","author":"I St\u00e9phan","year":"2009","unstructured":"St\u00e9phan I, Mota BD, Nicolas P (2009) From (quantified) boolean formulae to answer set programming. J Log Comput 19(4):565\u2013590","journal-title":"J Log Comput"},{"key":"4_CR99","unstructured":"Syrj\u00e4nen T (1998) Implementation of local grounding for logic programs for stable model semantics. Technical report, Helsinki University of Technology"},{"issue":"6","key":"4_CR100","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1017\/S1471068403001741","volume":"3","author":"P Van Roy","year":"2003","unstructured":"Van Roy P, Brand P, Duchier D, Haridi S, Henz M, Schulte C (2003) Logic programming in the context of multiparadigm programming: the Oz experience. Theory Prac Log Program 3(6):717\u2013763","journal-title":"Theory Prac Log Program"},{"key":"4_CR101","doi-asserted-by":"crossref","unstructured":"Vos MD, Eiter T, Lierler Y, Toni F (eds) (2015) Proceedings of the technical communications of the 31st international conference on logic programming (ICLP 2015), Cork, Ireland, 31 August\u2013 4 September 2015. CEUR workshop proceedings, vol 1433. http:\/\/CEUR-WS.org","DOI":"10.1017\/S1471068415000356"},{"key":"4_CR102","first-page":"19","volume-title":"Understanding line drawings in scenes with shadow","author":"D Waltz","year":"1975","unstructured":"Waltz D (1975) Understanding line drawings in scenes with shadow. Hill McGraw, New York, pp 19\u201391"},{"key":"4_CR103","unstructured":"Warren DS (1983) An abstract Prolog instruction set. Technical note 309, SRI"},{"issue":"1\u20132","key":"4_CR104","first-page":"67","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker J, Schrijvers T, Triska M, Lager T (2012) Swi-prolog. TPLP 12(1\u20132):67\u201396","journal-title":"Swi-prolog. TPLP"},{"issue":"2","key":"4_CR105","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"AH Yahya","year":"1985","unstructured":"Yahya AH, Henschen LJ (1985) Deduction in non-Horn databases. J Autom Reason 1(2):141\u2013160","journal-title":"J Autom Reason"},{"issue":"2","key":"4_CR106","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00881833","volume":"10","author":"L-Y Yuan","year":"1993","unstructured":"Yuan L-Y, You J-H (1993) Autoepistemic circumscription and logic programming. J Autom Reason 10(2):143\u2013160","journal-title":"J Autom Reason"}],"container-title":["A Guided Tour of Artificial Intelligence Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-06167-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T13:48:47Z","timestamp":1722865727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-06167-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030061661","9783030061678"],"references-count":106,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-06167-8_4","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}