{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:41:12Z","timestamp":1760708472918,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642349218"},{"type":"electronic","value":"9783642349225"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-34922-5_15","type":"book-chapter","created":{"date-parts":[[2012,10,31]],"date-time":"2012-10-31T15:15:48Z","timestamp":1351696548000},"page":"209-222","source":"Crossref","is-referenced-by-count":6,"title":["Fuzzy Answer Set Programming: An Introduction"],"prefix":"10.1007","author":[{"given":"Marjon","family":"Blondeel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Schockaert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Vermeir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martine","family":"De Cock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. Journal of Logic Programming\u00a019, 73\u2013148 (1994)","journal-title":"Journal of Logic Programming"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M., Rushton, J.: Probabilistic reasoning in computer science. In: 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 21\u201333 (2004)","DOI":"10.1007\/978-3-540-24609-1_5"},{"key":"15_CR4","unstructured":"Blondeel, M., Schockaert, S., De Cock, M., Vermeir, D.: Complexity of fuzzy answer set programming under \u0142ukasiewicz semantics: First results. Poster Proceedings of the Fifth International Conference on Scalable Uncertainty Management, pp. 7\u201312 (2011)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"616","DOI":"10.1007\/978-3-642-22152-1_52","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"M. Blondeel","year":"2011","unstructured":"Blondeel, M., Schockaert, S., De Cock, M., Vermeir, D.: Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees. In: Liu, W. (ed.) ECSQARU 2011. LNCS, vol.\u00a06717, pp. 616\u2013627. Springer, Heidelberg (2011)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-63385-5_38","volume-title":"Computational Logic and Proof Theory","author":"A. Ciabattoni","year":"1997","unstructured":"Ciabattoni, A., Luchi, D.: Two Connections Between Linear Logic and \u0142ukasiewicz Logics. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.) KGC 1997. LNCS, vol.\u00a01289, pp. 128\u2013139. Springer, Heidelberg (1997)"},{"key":"15_CR7","series-title":"LNAI","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":"1-4","key":"15_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1016740830286","volume":"32","author":"D. Dubois","year":"2001","unstructured":"Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: a clarification. Annals of Mathematics and Artificial Intelligence\u00a032(1-4), 35\u201366 (2001)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"15_CR9","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth International Conference and Symposium on Logic Programming, pp. 1070\u20131080 (1988)"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s005000050012","volume":"1","author":"R. H\u00e4hnle","year":"1997","unstructured":"H\u00e4hnle, R.: Proof theory of many-valued logic - linear optimization - logic design: connections and interactions. Soft Computing\u00a01, 107\u2013119 (1997)","journal-title":"Soft Computing"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Trends in Logic (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"key":"15_CR12","unstructured":"Janssen, J.: Foundations of fuzzy answer set programming. PhD thesis, Ghent University and Vrije Universiteit Brussel (2011)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-02282-1_44","volume-title":"Fuzzy Logic and Applications","author":"J. Janssen","year":"2009","unstructured":"Janssen, J., Schockaert, S., Vermeir, D., De Cock, M.: General Fuzzy Answer Set Programs. In: Di Ges\u00f9, V., Pal, S.K., Petrosino, A. (eds.) WILF 2009. LNCS, vol.\u00a05571, pp. 352\u2013359. Springer, Heidelberg (2009)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Lifschitz, V., Schwarz, G.: Extended logic programs as autoepistemic theories. In: Proceedings of the Second International Workshop on Logic Programming and Nonmonotonic Reasoning, pp. 101\u2013114 (1993)","DOI":"10.7551\/mitpress\/4307.003.0011"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-72982-2_23","volume-title":"Web Reasoning and Rule Systems","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T., Straccia, U.: Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 289\u2013298. Springer, Heidelberg (2007)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"McNaughton, R.: A theorem about infinite-valued sentential logic. The Journal of Symbolic Logic\u00a016(1) (1951)","DOI":"10.2307\/2268660"},{"key":"15_CR17","unstructured":"Moore, R.: Semantical considerations on nonmonotonic logic. In: Proceedings of the Eight International Joint Conference on Artificial Intelligence, pp. 272\u2013279 (1983)"},{"issue":"1-2","key":"15_CR18","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., St\u00e9phan, I., Lef\u00e8vre, C.: Possibilistic uncertainty handling for answer set programming. Annals of Mathematics and Artificial Intelligence\u00a047(1-2), 139\u2013181 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BFb0023801","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"D. Pearce","year":"1997","unstructured":"Pearce, D.: A New Logical Characterisation of Stable Models and Answer Sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol.\u00a01216, pp. 57\u201370. Springer, Heidelberg (1997)"},{"issue":"1-2","key":"15_CR20","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.: A logic for default reasoning. Artificial Intelligence\u00a013(1-2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-05082-4_10","volume-title":"Web Reasoning and Rule Systems","author":"S. Schockaert","year":"2009","unstructured":"Schockaert, S., Janssen, J., Vermeir, D., De Cock, M.: Answer Sets in a Fuzzy Equilibrium Logic. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol.\u00a05837, pp. 135\u2013149. Springer, Heidelberg (2009)"},{"key":"15_CR22","unstructured":"Straccia, U.: Annotated answer set programming. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (2006)"},{"key":"15_CR23","doi-asserted-by":"publisher","first-page":"1881","DOI":"10.1137\/070695976","volume":"5","author":"U. Straccia","year":"2009","unstructured":"Straccia, U., Ojeda-Aciego, M., Dam\u00e1sio, C.V.: On fixed-points of multi-valued functions on complete lattices and their application to generalized logic programs. SIAM Journal on Computing\u00a05, 1881\u20131911 (2009)","journal-title":"SIAM Journal on Computing"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Van Nieuwenborgh, D.: Preferences in Answer Set Programming. PhD thesis, Vrije Universiteit Brussel (2005)","DOI":"10.1007\/11799573_18"},{"issue":"3-4","key":"15_CR25","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10472-007-9080-3","volume":"50","author":"D. Van Nieuwenborgh","year":"2007","unstructured":"Van Nieuwenborgh, D., De Cock, M., Vermeir, D.: An introduction to fuzzy answer set programming. Annals of Mathematics and Artificial Intelligence\u00a050(3-4), 363\u2013388 (2007)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"15_CR26","unstructured":"Yu, L., Wang, N., Meng, X.: Real-time forest fire detection with wireless sensor networks. In: Proceedings of the Wireless Communication Networking and Mobile Computing International Conference, pp. 1214\u20131217 (2005)"}],"container-title":["Studies in Fuzziness and Soft Computing","Soft Computing: State of the Art Theory and Novel Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34922-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,30]],"date-time":"2024-04-30T23:04:19Z","timestamp":1714518259000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-34922-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642349218","9783642349225"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34922-5_15","relation":{},"ISSN":["1434-9922","1860-0808"],"issn-type":[{"type":"print","value":"1434-9922"},{"type":"electronic","value":"1860-0808"}],"subject":[],"published":{"date-parts":[[2013]]}}}