{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:48:00Z","timestamp":1742917680239,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_23","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"326-339","source":"Crossref","is-referenced-by-count":1,"title":["Stable Models of Fuzzy Propositional Formulas"],"prefix":"10.1007","author":[{"given":"Joohyung","family":"Lee","sequence":"first","affiliation":[]},{"given":"Yi","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Lifschitz, V.: What is answer set programming? In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 1594\u20131597. MIT Press (2008)"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the semantic web. In: Eiter, T., Franconi, E., Hodgson, R., Stephens, S. (eds.) RuleML, pp. 89\u201396. IEEE Computer Society (2006)","DOI":"10.1109\/RULEML.2006.12"},{"issue":"6","key":"23_CR3","first-page":"811","volume":"12","author":"J. Janssen","year":"2012","unstructured":"Janssen, J., Vermeir, D., Schockaert, S., Cock, M.D.: Reducing fuzzy answer set programming to model finding in fuzzy logics. TPLP\u00a012(6), 811\u2013842 (2012)","journal-title":"TPLP"},{"issue":"3","key":"23_CR4","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","volume":"124","author":"P. Vojt\u00e1s","year":"2001","unstructured":"Vojt\u00e1s, P.: Fuzzy logic programming. Fuzzy Sets and Systems\u00a0124(3), 361\u2013370 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"23_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-44652-4_66","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"C. Viegas Dam\u00e1sio","year":"2001","unstructured":"Viegas Dam\u00e1sio, C., Moniz Pereira, L.: Monotonic and residuated logic programs. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol.\u00a02143, pp. 748\u2013759. Springer, Heidelberg (2001)"},{"key":"23_CR6","series-title":"Lecture Notes in Artificial Intelligence","first-page":"351","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: Multi-adjoint logic programming with continuous semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 351\u2013364. Springer, Heidelberg (2001)"},{"key":"23_CR7","series-title":"Lecture Notes in Artificial Intelligence","first-page":"379","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Viegas Dam\u00e1sio","year":"2001","unstructured":"Viegas Dam\u00e1sio, C., Moniz Pereira, L.: Antitonic logic programs. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 379\u2013392. Springer, Heidelberg (2001)"},{"issue":"3-4","key":"23_CR8","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10472-007-9080-3","volume":"50","author":"D.V. Nieuwenborgh","year":"2007","unstructured":"Nieuwenborgh, D.V., Cock, M.D., Vermeir, D.: An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell.\u00a050(3-4), 363\u2013388 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Madrid, N., Ojeda-Aciego, M.: Towards a fuzzy answer set semantics for residuated logic programs. In: Web Intelligence\/IAT Workshops, pp. 260\u2013264. IEEE (2008)","DOI":"10.1109\/WIIAT.2008.357"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.artint.2010.04.011","volume":"175","author":"P. Ferraris","year":"2011","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: Stable models and circumscription. Artificial Intelligence\u00a0175, 236\u2013263 (2011)","journal-title":"Artificial Intelligence"},{"key":"23_CR11","unstructured":"Hajek, P.: Mathematics of Fuzzy Logic. Kluwer (1998)"},{"issue":"4","key":"23_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/2362355.2362361","volume":"13","author":"S. Schockaert","year":"2012","unstructured":"Schockaert, S., Janssen, J., Vermeir, D.: Fuzzy equilibrium logic: Declarative problem solving in continuous domains. ACM Trans. Comput. Log.\u00a013(4), 33 (2012)","journal-title":"ACM Trans. Comput. Log."},{"issue":"4","key":"23_CR13","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1109\/TFUZZ.2011.2114669","volume":"19","author":"N. Madrid","year":"2011","unstructured":"Madrid, N., Ojeda-Aciego, M.: Measuring inconsistency in fuzzy answer set semantics. IEEE T. Fuzzy Systems\u00a019(4), 605\u2013622 (2011)","journal-title":"IEEE T. Fuzzy Systems"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-02282-1_8","volume-title":"Fuzzy Logic and Applications","author":"N. Madrid","year":"2009","unstructured":"Madrid, N., Ojeda-Aciego, M.: On coherence and consistence in fuzzy answer set semantics for residuated logic programs. In: Di Ges\u00f9, V., Pal, S.K., Petrosino, A. (eds.) WILF 2009. LNCS, vol.\u00a05571, pp. 60\u201367. Springer, Heidelberg (2009)"},{"issue":"4-5","key":"23_CR15","first-page":"753","volume":"13","author":"M. Alviano","year":"2013","unstructured":"Alviano, M., Pe\u00f1aloza, R.: Fuzzy answer sets approximations. TPLP\u00a013(4-5), 753\u2013767 (2013)","journal-title":"TPLP"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T11:09:37Z","timestamp":1676891377000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}