{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,4]],"date-time":"2024-08-04T19:18:29Z","timestamp":1722799109737},"reference-count":66,"publisher":"Cambridge University Press (CUP)","issue":"6","license":[{"start":{"date-parts":[[2011,6,21]],"date-time":"2011-06-21T00:00:00Z","timestamp":1308614400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2012,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In recent years, answer set programming (ASP) has been extended to deal with multivalued predicates. The resulting formalismsallow for the modeling of continuous problems as elegantly as ASP allows for the modeling of discrete problems, by combining thestable model semantics underlying ASP with fuzzy logics. However, contrary to the case of classical ASP where manyefficient solvers have been constructed, to date there is no efficient fuzzy ASP solver. A well-knowntechnique for classical ASP consists of translating an ASP program<jats:italic>P<\/jats:italic>to a propositional theory whose models exactlycorrespond to the answer sets of<jats:italic>P<\/jats:italic>. In this paper, we show how this idea can be extended to fuzzy ASP, paving the wayto implement efficient fuzzy ASP solvers that can take advantage of existing fuzzy logic reasoners.<\/jats:p>","DOI":"10.1017\/s1471068411000093","type":"journal-article","created":{"date-parts":[[2011,6,21]],"date-time":"2011-06-21T11:07:15Z","timestamp":1308654435000},"page":"811-842","source":"Crossref","is-referenced-by-count":6,"title":["Reducing fuzzy answer set programming to model finding in fuzzy logics"],"prefix":"10.1017","volume":"12","author":[{"given":"JEROEN","family":"JANSSEN","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DIRK","family":"VERMEIR","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"STEVEN","family":"SCHOCKAERT","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARTINE","family":"DE COCK","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2011,6,21]]},"reference":[{"key":"S1471068411000093_ref31","doi-asserted-by":"publisher","DOI":"10.1109\/69.940732"},{"key":"S1471068411000093_ref17","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-4571(2000)51:2<95::AID-ASI2>3.0.CO;2-H"},{"key":"S1471068411000093_ref27","first-page":"89","volume-title":"Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '94)","author":"Lakshmanan","year":"1994"},{"key":"S1471068411000093_ref66","first-page":"113","article-title":"Negation in fuzzy and possibilistic logic programs","volume":"3","author":"Wagner","year":"1998","journal-title":"Uncertainty Theory in Artificial Intelligence Series"},{"key":"S1471068411000093_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90007-P"},{"key":"S1471068411000093_ref5","volume-title":"Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI '10)","author":"Bauters","year":"2010"},{"key":"S1471068411000093_ref43","unstructured":"Madrid N. and Ojeda-Aciego M. 2008. Towards a fuzzy answer set semantics for residuated logic programs. In Proceedings of the 2008 IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT '08), 260\u2013264."},{"key":"S1471068411000093_ref24","first-page":"362","volume-title":"Proceedings of the 24th International Conference on Logic Programming (ICLP '08)","author":"Janssen","year":"2008"},{"key":"S1471068411000093_ref22","volume-title":"Metamathematics of Fuzzy Logic (Trends in Logic)","author":"H\u00e1jek","year":"2001"},{"key":"S1471068411000093_ref20","first-page":"61","volume-title":"Proceedings of the 19th national conference on Artifical intelligence (AAAI '04)","author":"Giunchiglia","year":"2004"},{"key":"S1471068411000093_ref15","first-page":"51","article-title":"Consistency of Clark's completion and existence of stable models","volume":"1","author":"Fages","year":"1994","journal-title":"Methods of Logic in Computer Science"},{"key":"S1471068411000093_ref13","unstructured":"Dam\u00e1sio C. V. and Pereira L. M. 2004. Sorted monotonic logic programs and their embeddings. In Proceedings of the Information Processing and Management of Uncertainty (IPMU '04), 807\u2013814."},{"key":"S1471068411000093_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90014-G"},{"key":"S1471068411000093_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40006-0_5"},{"key":"S1471068411000093_ref28","doi-asserted-by":"crossref","unstructured":"Lakshmanan L. V. S. 1997. Towards a Generalized Theory of Deductive Databases with Uncertainty. PhD Thesis, Concordia University.","DOI":"10.1007\/BFb0031735"},{"key":"S1471068411000093_ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(97)00030-6"},{"key":"S1471068411000093_ref19","first-page":"1081","volume-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming (ICLP\/SLP '88)","author":"Gelfond","year":"1988"},{"key":"S1471068411000093_ref65","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00106-3"},{"key":"S1471068411000093_ref8","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/978-3-540-30227-8_23","volume-title":"Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA '04)","author":"Dam\u00e1sio","year":"2004"},{"key":"S1471068411000093_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2006.03.004"},{"key":"S1471068411000093_ref62","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(86)90003-8"},{"key":"S1471068411000093_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44652-4_66"},{"key":"S1471068411000093_ref57","unstructured":"Straccia U. 2006. Annotated answer set programming. In Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU '06)."},{"key":"S1471068411000093_ref25","first-page":"102","volume-title":"Proceedings of the Second International Conference on Database Theory (ICDT '88)","author":"Kifer","year":"1988"},{"key":"S1471068411000093_ref14","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"S1471068411000093_ref48","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1023"},{"key":"S1471068411000093_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58435-8_238"},{"key":"S1471068411000093_ref38","first-page":"388","volume-title":"Proceedings of the 13th European Conference on Artificial Intelligence (ECAI '98)","author":"Lukasiewicz","year":"1998"},{"key":"S1471068411000093_ref23","unstructured":"Ishizuka M. and Kanai N. 1985. Prolog-ELF incorporating fuzzy logic. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI '85), 701\u2013703."},{"key":"S1471068411000093_ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72982-2_23"},{"key":"S1471068411000093_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF01530787"},{"key":"S1471068411000093_ref55","unstructured":"Simons P. 2000. Extending and Implementing the Stable Model Semantics. PhD Thesis, Helsinki University of Technology."},{"key":"S1471068411000093_ref11","first-page":"379","volume-title":"Proceedings of the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '01)","author":"Dam\u00e1sio","year":"2001"},{"key":"S1471068411000093_ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.04.004"},{"key":"S1471068411000093_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58412-1"},{"key":"S1471068411000093_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7"},{"key":"S1471068411000093_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"S1471068411000093_ref59","doi-asserted-by":"publisher","DOI":"10.1137\/070695976"},{"key":"S1471068411000093_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(98)00083-9"},{"key":"S1471068411000093_ref6","first-page":"652","volume-title":"Proceedings of the 16th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE '07)","author":"Bobillo","year":"2007"},{"key":"S1471068411000093_ref54","first-page":"529","volume-title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI '83)","author":"Shapiro","year":"1983"},{"key":"S1471068411000093_ref60","doi-asserted-by":"publisher","DOI":"10.1145\/176567.176571"},{"key":"S1471068411000093_ref40","unstructured":"Lukasiewicz T. 2006. Fuzzy description logic programs under the answer set semantics for the semantic web. In Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML '06), 89\u201396."},{"key":"S1471068411000093_ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"S1471068411000093_ref49","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05)","author":"Nicolas","year":"2005"},{"key":"S1471068411000093_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80511-5"},{"key":"S1471068411000093_ref34","doi-asserted-by":"publisher","DOI":"10.1007\/11546207_37"},{"key":"S1471068411000093_ref58","first-page":"54","volume-title":"Proceedings of the 4th International Summer School 2008 on Reasoning Web","author":"Straccia","year":"2008"},{"key":"S1471068411000093_ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04388-8_18"},{"key":"S1471068411000093_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45788-7_9"},{"key":"S1471068411000093_ref36","first-page":"541","volume-title":"Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science (MFCS '03)","author":"Loyer","year":"2003"},{"key":"S1471068411000093_ref37","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068405002619"},{"key":"S1471068411000093_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46767-X_20"},{"key":"S1471068411000093_ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75410-7_2"},{"key":"S1471068411000093_ref44","first-page":"60","volume-title":"Proceedings of the Eighth International Workshop on Fuzzy Logic and Applications (WILF '09)","author":"Madrid","year":"2009"},{"key":"S1471068411000093_ref47","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881836"},{"key":"S1471068411000093_ref45","doi-asserted-by":"crossref","unstructured":"Madrid N. and Ojeda-Aciego M. 2011. On the existence and unicity of stable models in normal residuated logic programs. International Journal on Computer Mathematics, to appear.","DOI":"10.1080\/00207160.2011.580842"},{"key":"S1471068411000093_ref46","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00127-2"},{"key":"S1471068411000093_ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-006-9029-y"},{"key":"S1471068411000093_ref64","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-007-9080-3"},{"key":"S1471068411000093_ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5217-8"},{"key":"S1471068411000093_ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02906-6_57"},{"key":"S1471068411000093_ref56","first-page":"470","volume-title":"Proceedings of the Eighth European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU '05)","author":"Straccia","year":"2005"},{"key":"S1471068411000093_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04238-6_50"},{"key":"S1471068411000093_ref61","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"S1471068411000093_ref63","first-page":"449","volume-title":"Proceedings of the 23rd International Conference on Logic Programming (ICLP '07)","author":"Van Nieuwenborgh","year":"2007"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068411000093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T15:19:24Z","timestamp":1686151164000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068411000093\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,21]]},"references-count":66,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["S1471068411000093"],"URL":"https:\/\/doi.org\/10.1017\/s1471068411000093","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,21]]}}}