{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:10:18Z","timestamp":1761977418916,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642417757"},{"type":"electronic","value":"9783642417764"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41776-4_1","type":"book-chapter","created":{"date-parts":[[2013,10,9]],"date-time":"2013-10-09T03:33:30Z","timestamp":1381289610000},"page":"1-21","source":"Crossref","is-referenced-by-count":11,"title":["Taming Complex Beliefs"],"prefix":"10.1007","author":[{"given":"Barbara","family":"Dunin-K\u0119plicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Sza\u0142as","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Pub. Co. (1996)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Alechina, N.: Full and relative awareness: A decidable logic for reasoning about knowledge of unawareness. In: Proc. of TARK, pp. 6\u201314. ACM Press (2007)","DOI":"10.1145\/1324249.1324255"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61488-5","volume-title":"Reasoning with Logic Programming","author":"J.J. Alferes","year":"1996","unstructured":"Alferes, J.J., Pereira, L.M.: Reasoning with Logic Programming. LNCS, vol.\u00a01111. Springer, Heidelberg (1996)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Many Valued Logic, pp. 8\u201337. Reidel (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"1_CR5","unstructured":"B\u00e9ziau, J.-Y., Carnielli, W., Gabbay, D.M. (eds.): Handbook of Paraconsistency. College Publications (2007)"},{"key":"1_CR6","unstructured":"Brewka, G.: Non-Monotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press (1991)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1016\/j.ijar.2006.09.009","volume":"46","author":"S. Amo de","year":"2007","unstructured":"de Amo, S., Pais, M.S.: A paraconsistent logic approach for querying inconsistent databases. International Journal of Approximate Reasoning\u00a046, 366\u2013386 (2007)","journal-title":"International Journal of Approximate Reasoning"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1093\/jigpal\/jzn003","volume":"16","author":"D. Dubois","year":"2008","unstructured":"Dubois, D.: On ignorance and contradiction considered as truth-values. Logic Journal of the IGPL\u00a016(2), 195\u2013216 (2008)","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"1_CR9","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1016\/j.ijar.2009.11.002","volume":"51","author":"B. Dunin-K\u0119plicz","year":"2010","unstructured":"Dunin-K\u0119plicz, B., Nguyen, L.A., Sza\u0142as, A.: Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. Int. J. Approx. Reasoning\u00a051(3), 346\u2013362 (2010)","journal-title":"Int. J. Approx. Reasoning"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-30947-2_40","volume-title":"Agent and Multi-Agent Systems. Technologies and Applications","author":"B. Dunin-K\u0119plicz","year":"2012","unstructured":"Dunin-K\u0119plicz, B., Sza\u0142as, A.: Epistemic Profiles and Belief Structures. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol.\u00a07327, pp. 360\u2013369. Springer, Heidelberg (2012)"},{"key":"1_CR11","series-title":"SCI","first-page":"59","volume-title":"Proc. IDC 2012, 6th International Symposium on Intelligent Distributed Computing","author":"B. Dunin-K\u0119plicz","year":"2012","unstructured":"Dunin-K\u0119plicz, B., Sza\u0142as, A.: Paraconsistent Distributed Belief Fusion. In: Proc. IDC 2012, 6th International Symposium on Intelligent Distributed Computing. SCI, vol.\u00a0446, pp. 59\u201369. Springer, Heidelberg (2012)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Dunin-K\u0119plicz, B., Verbrugge, R.: Teamwork in Multi-Agent Systems. A Formal Approach. John Wiley & Sons, Ltd. (2010)","DOI":"10.1002\/9780470665237"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Dunin-K\u0119plicz, B., Verbrugge, R.: Awareness as a vital ingredient of teamwork. In: Stone, P., Weiss, G. (eds.) Proc. of AAMAS 2006, pp. 1017\u20131024 (2006)","DOI":"10.1145\/1160633.1160815"},{"key":"1_CR14","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fages, F.: Consistency of Clark\u2019s completion and existence of stable models. Methods of Logic in Computer Science\u00a01, 51\u201360 (1994)","journal-title":"Methods of Logic in Computer Science"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin, R., Halpern, J.: Belief, awareness, and limited reasoning. Artificial Intelligence\u00a034(1), 39\u201376 (1988)","journal-title":"Artificial Intelligence"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press (2003)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"issue":"3","key":"1_CR17","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"Gottlob, G.: Complexity results for nonmonotonic logics. Journal of Logic and Computation\u00a02(3), 397\u2013425 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"1_CR18","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","volume":"58","author":"S. Kraus","year":"1988","unstructured":"Kraus, S., Lehmann, D.: Knowledge, belief and time. Theoretical Computer Science\u00a058, 155\u2013174 (1988)","journal-title":"Theoretical Computer Science"},{"volume-title":"Knowledge and Belief in Philosophy and Artificial Intelligence","year":"1995","key":"1_CR20","unstructured":"Laux, A., Wansing, H. (eds.): Knowledge and Belief in Philosophy and Artificial Intelligence. Akademie Verlag, Berlin (1995)"},{"key":"1_CR21","unstructured":"\u0141ukaszewicz, W.: Non-Monotonic Reasoning - Formalization of Commonsense Reasoning. Ellis Horwood (1990)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-642-24206-9_22","volume-title":"Datalog Reloaded","author":"J. Ma\u0142uszy\u0144ski","year":"2011","unstructured":"Ma\u0142uszy\u0144ski, J., Sza\u0142as, A.: Living with inconsistency and taming nonmonotonicity. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol.\u00a06702, pp. 384\u2013398. Springer, Heidelberg (2011)"},{"issue":"2","key":"1_CR23","doi-asserted-by":"publisher","first-page":"211","DOI":"10.3166\/jancl.21.211-232","volume":"21","author":"J. Ma\u0142uszy\u0144ski","year":"2011","unstructured":"Ma\u0142uszy\u0144ski, J., Sza\u0142as, A.: Logical foundations and complexity of 4QL, a\u00a0query language with unrestricted negation. Journal of Applied Non-Classical Logics\u00a021(2), 211\u2013232 (2011)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"1_CR24","unstructured":"Ma\u0142uszy\u0144ski, J., Sza\u0142as, A.: Partiality and Inconsistency in Agents Belief Bases. In: Agents and Multi-agent Systems \u2013 Technologies and Applications. IOS Press (to appear, 2013)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Nonmonotonic Logic. Springer (1993)","DOI":"10.1007\/978-3-662-02906-0"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1023\/A:1015690931863","volume":"56","author":"E.D. Mares","year":"2002","unstructured":"Mares, E.D.: A paraconsistent theory of belief revision. Erkenntnis\u00a056, 229\u2013246 (2002)","journal-title":"Erkenntnis"},{"key":"1_CR27","unstructured":"Mascardi, V., Demergasso, D., Ancona, D.: Languages for programming BDI-style agents: an overview. In: Corradini, F., De Paoli, F., Merelli, E., Omicini, A. (eds.) WOA 2005 - Workshop From Objects to Agents, pp. 9\u201315 (2005)"},{"issue":"1-2","key":"1_CR28","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/FUN-2007-791-206","volume":"79","author":"L.A. Nguyen","year":"2007","unstructured":"Nguyen, L.A.: Foundations of modal deductive databases. Fundamenta Informaticae\u00a079(1-2), 85\u2013135 (2007)","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"1_CR29","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1093\/jigpal\/jzm059","volume":"16","author":"L.A. Nguyen","year":"2008","unstructured":"Nguyen, L.A.: Constructing finite least Kripke models for positive logic programs in serial regular grammar logics. Logic Journal of the IGPL\u00a016(2), 175\u2013193 (2008)","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"1_CR30","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1111\/j.1755-2567.2001.tb00204.x","volume":"67","author":"G. Priest","year":"2001","unstructured":"Priest, G.: Paraconsistent belief revision. Theoria\u00a067(3), 214\u2013228 (2001)","journal-title":"Theoria"},{"key":"1_CR31","first-page":"106","volume":"35","author":"V. Rantala","year":"1982","unstructured":"Rantala, V.: Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica\u00a035, 106\u2013115 (1982)","journal-title":"Acta Philosophica Fennica"},{"key":"1_CR32","unstructured":"Sobczyk, \u0141.: 4QL Runner developer description (2012), http:\/\/4ql.org\/wp-content\/uploads\/2012\/10\/4qlRunner.pdf"},{"key":"1_CR33","unstructured":"Spanily, P.: The Inter4QL interpreter (2012), http:\/\/4ql.org\/wp-content\/uploads\/2012\/10\/inter4ql.pdf"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s11098-005-4062-y","volume":"128","author":"R. Stalnaker","year":"2006","unstructured":"Stalnaker, R.: On logics of knowledge and belief. Philosophical Studies\u00a0128, 169\u2013199 (2006)","journal-title":"Philosophical Studies"},{"issue":"3","key":"1_CR35","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1093\/jigpal\/jzs051","volume":"21","author":"A. Sza\u0142as","year":"2013","unstructured":"Sza\u0142as, A.: How an agent might think. Logic Journal of the IGPL\u00a021(3), 515\u2013535 (2013)","journal-title":"Logic Journal of the IGPL"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P.: Dynamic Epistemic Logic. Springer (2007)","DOI":"10.1007\/978-1-4020-5839-4"},{"issue":"4","key":"1_CR37","doi-asserted-by":"crossref","first-page":"405","DOI":"10.3233\/FI-2009-209","volume":"97","author":"A. Vit\u00f3ria","year":"2009","unstructured":"Vit\u00f3ria, A., Ma\u0142uszy\u0144ski, J., Sza\u0142as, A.: Modeling and reasoning with paraconsistent rough sets. Fundamenta Informaticae\u00a097(4), 405\u2013438 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/BF00370163","volume":"49","author":"H. Wansing","year":"1990","unstructured":"Wansing, H.: A general possible worlds framework for reasoning about knowledge and belief. Studia Logica\u00a049, 523\u2013539 (1990)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Collective Intelligence XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41776-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T16:19:20Z","timestamp":1746029960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41776-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642417757","9783642417764"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41776-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}