{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:50:26Z","timestamp":1742925026403,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642221514"},{"type":"electronic","value":"9783642221521"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22152-1_52","type":"book-chapter","created":{"date-parts":[[2011,6,25]],"date-time":"2011-06-25T23:22:00Z","timestamp":1309044120000},"page":"616-627","source":"Crossref","is-referenced-by-count":2,"title":["Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees"],"prefix":"10.1007","author":[{"given":"Marjon","family":"Blondeel","sequence":"first","affiliation":[]},{"given":"Steven","family":"Schockaert","sequence":"additional","affiliation":[]},{"given":"Martine","family":"De Cock","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Vermeir","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"Banerjee, M., Dubois, D.: A simple modal logic for reasoning about revealed beliefs. In: Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pp. 805\u2013816 (2009)","DOI":"10.1007\/978-3-642-02906-6_69"},{"key":"52_CR2","unstructured":"Bauters, K., Schockaert, S., De Cock, M., Vermeir, D.: Possibilistic answer set programming revisited. In: Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (2010)"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., Medina, J., Ojeda-Aciego, M.: Sorted multi-adjoint logic programs: termination results and applications. In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence, pp. 260\u2013273 (2004)","DOI":"10.1007\/978-3-540-30227-8_23"},{"key":"52_CR4","unstructured":"Dubois, D., Prade, H., Schockaert, S.: R\u00e8gles et m\u00e9ta-r\u00e8gles dans le cadre de la th\u00e9orie des possibilit\u00e9s et de la logique possibiliste. In: Rencontres Francophones sur la Logique Floue et ses Applications, pp. 115\u2013122 (2010)"},{"key":"52_CR5","unstructured":"Egly, U., Eiter, T., Tompits, H., Woltran, S.: Solving advanced reasoning tasks using quantified boolean formulas. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, pp. 417\u2013422 (2000)"},{"key":"52_CR6","unstructured":"Gelfond, M.: On stratified autoepistemic theories. In: Proceedings of the Sixth National Conference on Artificial Intelligence, pp. 207\u2013211 (1987)"},{"key":"52_CR7","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth International Conference and Symposiom on Logic Programming, pp. 1070\u20131080 (1988)"},{"key":"52_CR8","volume-title":"Metamathematics of Fuzzy Logic","author":"P. Hajek","year":"2001","unstructured":"Hajek, P.: Metamathematics of Fuzzy Logic. Springer, Heidelberg (2001)"},{"key":"52_CR9","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.fss.2009.11.011","volume":"161","author":"P. Hajek","year":"2010","unstructured":"Hajek, P.: On fuzzy modal logics. Fuzzy Sets and Systems\u00a0161, 18 (2010)","journal-title":"Fuzzy Sets and Systems"},{"key":"52_CR10","doi-asserted-by":"crossref","unstructured":"Janssen, J., Schockaert, S., Vermeir, D., De Cock, M.: General fuzzy answer set programs. In: Proceedings of the International Workshop on Fuzzy Logic and Applications, pp. 353\u2013359 (2009)","DOI":"10.1007\/978-3-642-02282-1_44"},{"issue":"3","key":"52_CR11","doi-asserted-by":"crossref","first-page":"281","DOI":"10.3233\/FI-1999-38303","volume":"38","author":"C.D. Koutras","year":"1999","unstructured":"Koutras, C.D., Koletsos, G., Zachos, S.: Many-valued modal non-monotonic reasoning: Sequential stable sets and logics with linear truth spaces. Fundamenta Informaticae\u00a038(3), 281\u2013324 (1999)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"52_CR12","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1093\/jigpal\/8.1.33","volume":"8","author":"C.D. Koutras","year":"2000","unstructured":"Koutras, C.D., Zachos, S.: Many-valued reflexive autoepistemic logic. Logic Journal of the IGPL\u00a08(1), 403\u2013418 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"52_CR13","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":"52_CR14","unstructured":"Marek, W.: Stable theories in autoepistemic logic. Unpublished note, Department of Computer Science, University of Kentucky (1986)"},{"issue":"3","key":"52_CR15","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"Marek, W., Truszczynski, M.: Autoepistemic logic. Journal of the Association for Computing Machinery\u00a038(3), 587\u2013618 (1991)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"52_CR16","unstructured":"Moore, R.C.: Semantical considerations on nonmonotonic logic. In: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, pp. 272\u2013279 (1983)"},{"key":"52_CR17","unstructured":"Moore, R.C.: Possible-world semantics in autoepistemic logic. In: Proceedings of the Non-Monotonic Reasoning Workshop, pp. 344\u2013354 (1984)"},{"key":"52_CR18","doi-asserted-by":"crossref","unstructured":"Schockaert, S., Janssen, J., Vermeir, D., De Cock, M.: Answer sets in a fuzzy equilibrium logic. In: Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems, pp. 135\u2013149 (2009)","DOI":"10.1007\/978-3-642-05082-4_10"},{"key":"52_CR19","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1002\/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-X","volume":"12","author":"K.M. Sim","year":"1997","unstructured":"Sim, K.M.: Epistemic logic and logical omniscience: A survey. International Journal of Intelligent Systems\u00a012, 57\u201381 (1997)","journal-title":"International Journal of Intelligent Systems"},{"issue":"2","key":"52_CR20","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0004-3702(93)90104-J","volume":"64","author":"R. Stalnaker","year":"1993","unstructured":"Stalnaker, R.: A note on non-monotonic modal logic. Artificial Intelligence\u00a064(2), 183\u2013196 (1993)","journal-title":"Artificial Intelligence"},{"key":"52_CR21","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":"52_CR22","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"G. Wright von","year":"1951","unstructured":"von Wright, G.: An Essay in Modal Logic. In: Studies in Logic and the Foundations of Mathematics. North-Holland Pub. Co., Amsterdam (1951)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22152-1_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T03:45:48Z","timestamp":1712547948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22152-1_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642221514","9783642221521"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22152-1_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}