{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:18:20Z","timestamp":1742912300082,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642325236"},{"type":"electronic","value":"9783642325243"}],"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-32524-3_9","type":"book-chapter","created":{"date-parts":[[2012,8,22]],"date-time":"2012-08-22T13:18:01Z","timestamp":1345641481000},"page":"59-69","source":"Crossref","is-referenced-by-count":2,"title":["Distributed Paraconsistent Belief Fusion"],"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":"9_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Pub. Co (1996)"},{"key":"9_CR2","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., Moniz Pereira, L.: Reasoning with Logic Programming. LNCS, vol.\u00a01111. Springer, Heidelberg (1996)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Belnap, N.: A useful four-valued logic. In: Eptein, G., Dunn, J. (eds.) Modern Uses of Many Valued Logic, pp. 8\u201337. Reidel (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Besnard, P.: An Introduction to Default Logic. Springer (1989)","DOI":"10.1007\/978-3-662-05689-9"},{"key":"9_CR5","unstructured":"Brewka, G.: Non-Monotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press (1991)"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/1055686.1055688","volume":"6","author":"M. Cadoli","year":"2005","unstructured":"Cadoli, M., Eiter, T., Gottlob, G.: Complexity of propositional nested circumscription and nested abnormality theories. ACM Trans. Comput. Log.\u00a06(2), 232\u2013272 (2005)","journal-title":"ACM Trans. Comput. Log."},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0743-1066(93)90029-G","volume":"17","author":"M. Cadoli","year":"1993","unstructured":"Cadoli, M., Schaerf, M.: A survey on complexity results for non-monotonic logics. Journal Logic Programming\u00a017, 127\u2013160 (1993)","journal-title":"Journal Logic Programming"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C., Pereira, L.: A survey of paraconsistent semantics for logic programs. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a02, pp. 241\u2013320. Kluwer (1998)","DOI":"10.1007\/978-94-017-1739-7_8"},{"issue":"2","key":"9_CR9","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"},{"key":"9_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)"},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(93)90073-3","volume":"114","author":"T. Eiter","year":"1993","unstructured":"Eiter, T., Gottlob, G.: Propositional circumscription and extended closed-world reasoning are $\\Pi^P_2$-complete. Theoretical Computer Science\u00a0114(2), 231\u2013245 (1993)","journal-title":"Theoretical Computer Science"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0004-3702(96)00026-4","volume":"89","author":"O. Etzioni","year":"1997","unstructured":"Etzioni, O., Golden, K., Weld, D.: Sound and efficient closed-world reasoning for planning. Artificial Intelligence\u00a089, 113\u2013148 (1997)","journal-title":"Artificial Intelligence"},{"key":"9_CR13","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":"3","key":"9_CR14","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":"9_CR15","unstructured":"\u0141ukaszewicz, W.: Non-Monotonic Reasoning - Formalization of Commonsense Reasoning. Ellis Horwood (1990)"},{"key":"9_CR16","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":"9_CR17","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":"9_CR18","doi-asserted-by":"crossref","unstructured":"Marek, V., Truszczy\u0144ski, M.: Nonmonotonic Logic. Springer (1993)","DOI":"10.1007\/978-3-662-02906-0"},{"key":"9_CR19","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)"},{"key":"9_CR20","unstructured":"Moore, R.: Possible-world semantics for autoepistemic logic. In: Proc. 1st Nonmonotonic Reasoning Workshop, pp. 344\u2013354 (1984)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 353\u2013395 (1994)","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Sza\u0142as, A.: How an agent might think. Logic Journal of the IGPL (to appear, 2012)","DOI":"10.1093\/jigpal\/jzs051"},{"issue":"4","key":"9_CR23","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"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing VI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32524-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T16:00:51Z","timestamp":1714320051000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-32524-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642325236","9783642325243"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32524-3_9","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2013]]}}}