{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:37:05Z","timestamp":1742913425131,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006647"},{"type":"electronic","value":"9783642006654"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00665-4_11","type":"book-chapter","created":{"date-parts":[[2009,3,30]],"date-time":"2009-03-30T16:37:33Z","timestamp":1238431053000},"page":"124-138","source":"Crossref","is-referenced-by-count":1,"title":["Expressing Belief Flow in Assertion Networks"],"prefix":"10.1007","author":[{"given":"Sujata","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","first-page":"9","volume":"1","author":"T. Bolander","year":"2002","unstructured":"Bolander, T.: Self-reference and logic. Phi. News\u00a01, 9\u201344 (2002)","journal-title":"Phi. News"},{"key":"11_CR2","unstructured":"Gaifman, H.: Operational pointer semantics: Solution to self-referential puzzles I. In: Vardi, M. (ed.) Proceedings of TARK 1988, pp. 43\u201359 (1988)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"223","DOI":"10.2307\/2027167","volume":"89","author":"H. Gaifman","year":"1992","unstructured":"Gaifman, H.: Pointers to truth. Journal of Philosophy\u00a089, 223\u2013261 (1992)","journal-title":"Journal of Philosophy"},{"key":"11_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The Revision Theory of Truth","author":"A. Gupta","year":"1993","unstructured":"Gupta, A., Belnap, N.D.: The Revision Theory of Truth. The MIT Press, Cambridge (1993)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"479","DOI":"10.2307\/2026380","volume":"79","author":"H.G. Herzberger","year":"1982","unstructured":"Herzberger, H.G.: Naive semantics and the liar paradox. The Journal of Philosophy\u00a079, 479\u2013497 (1982)","journal-title":"The Journal of Philosophy"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-540-73681-3_30","volume-title":"Conceptual Structures: Knowledge Architectures for Smart Applications","author":"S. Ghosh","year":"2007","unstructured":"Ghosh, S., L\u00f6we, B., Scorelle, E.: Belief flow in assertion networks. In: Priss, U., Polovina, S., Hill, R. (eds.) ICCS 2007. LNCS (LNAI), vol.\u00a04604, pp. 401\u2013414. Springer, Heidelberg (2007)"},{"key":"11_CR7","unstructured":"Balkenius, C., G\u00e4rdenfors, P.: Nonmonotonic inferences in neural networks. In: Allen, J.A., Fikes, R., Sandewall, E. (eds.) Proceedings of KR 1991, pp. 32\u201339 (1991)"},{"key":"11_CR8","unstructured":"Blutner, R., Doherty, P.D.: Nonmonotonic logic and neural networks, http:\/\/citeseer.ist.psu.edu\/160749.html"},{"issue":"1\u20132","key":"11_CR9","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0004-3702(00)00077-1","volume":"125","author":"A. d\u2019Avila Garcez","year":"2001","unstructured":"d\u2019Avila Garcez, A., Broda, K., Gabbay, D.: Symbolic knowledge extraction from trained neural networks: A sound approach. Artificial Intelligence\u00a0125(1\u20132), 155\u2013207 (2001)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"11_CR10","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s11229-005-9086-5","volume":"146","author":"H. Leitgeb","year":"2005","unstructured":"Leitgeb, H.: Interpreted dynamical systems and qualitative laws: from neural networks to evolutionary systems. Synthese\u00a0146(1-2), 189\u2013202 (2005)","journal-title":"Synthese"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11787181_3","volume-title":"Conceptual Structures: Inspiration and Application","author":"B. L\u00f6we","year":"2006","unstructured":"L\u00f6we, B.: Revision forever! In: Sch\u00e4rfe, H., Hitzler, P., \u00d8hrstr\u00f8m, P. (eds.) ICCS 2006. LNCS (LNAI), vol.\u00a04068, pp. 22\u201336. Springer, Heidelberg (2006)"},{"key":"11_CR12","unstructured":"Ghosh, S., Vel\u00e1zquez-Quesada, F.R.: Merging information, working paper"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change. The Journal of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"The Journal of Symbolic Logic"},{"key":"11_CR14","first-page":"5","volume-title":"Proceedings of TARK 1994","author":"A. Darwiche","year":"1994","unstructured":"Darwiche, A., Pearl, J.: On the logic of iterated belief revision. In: Fagin, R. (ed.) Proceedings of TARK 1994, pp. 5\u201323. Morgan Kaufmann, San Francisco (1994)"},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2006.11.002","volume":"171","author":"Y. Jin","year":"2007","unstructured":"Jin, Y., Thielscher, M.: Iterated belief revision, revised. Artificial Intelligence\u00a0171(1), 1\u201318 (2007)","journal-title":"Artificial Intelligence"},{"key":"11_CR16","unstructured":"Konieczny, S.: Sur la logique du changement: r\u00e9vision et fusion de bases de connaissance. PhD thesis, Laboratoire d\u2019Informatique Fondamentale de Lille (1999)"},{"key":"11_CR17","unstructured":"Konieczny, S., Pino-P\u00e9rez, R.: On the logic of merging. In: Proceedigns of KR 1998, pp. 488\u2013498 (1998)"},{"issue":"5","key":"11_CR18","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1093\/logcom\/12.5.773","volume":"12","author":"S. Konieczny","year":"2002","unstructured":"Konieczny, S., Pino-P\u00e9rez, R.: Merging information under constraints: a logical framework. Journal of Logic and Computation\u00a012(5), 773\u2013808 (2002)","journal-title":"Journal of Logic and Computation"},{"issue":"5","key":"11_CR19","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1093\/logcom\/exm047","volume":"17","author":"O. Gauwin","year":"2007","unstructured":"Gauwin, O., Konieczny, S., Marquis, P.: Conciliation through iterated belief merging. Journal of Logic and Computation\u00a017(5), 909\u2013937 (2007)","journal-title":"Journal of Logic and Computation"},{"key":"11_CR20","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, Institute for Logic, Language and Computation (University of Amsterdam) (1999)"},{"key":"11_CR21","unstructured":"Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of ISMIS 1989, pp. 201\u2013216 (1989)"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-94-015-9817-0_3","volume-title":"Frontiers in Belief Revision","author":"K. Segerberg","year":"2001","unstructured":"Segerberg, K.: The basic dynamic doxastic logic of AGM. In: Williams, M., Rott, H. (eds.) Frontiers in Belief Revision, pp. 57\u201384. Kluwer, Dordrecht (2001)"},{"issue":"2","key":"11_CR23","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J. Benthem van","year":"2007","unstructured":"van Benthem, J.: Dynamic logic for belief revision. Journal of Applied Non-Classical Logic\u00a017(2), 129\u2013155 (2007)","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"11_CR24","unstructured":"Low, B., Foo, N.: Towards a network for representing beliefs. In: Proceedings of the 2nd International Computer Science Conference, pp. 85\u201391 (1992)"},{"key":"11_CR25","unstructured":"Low, B., Foo, N.: A network formalism for commonsense reasoning. In: Proceedings of the Sixteenth Australian Computer Science Conference, pp. 425\u2013434 (1993)"},{"issue":"2","key":"11_CR26","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1021833301185","volume":"6","author":"A. Dragoni","year":"2003","unstructured":"Dragoni, A., Giorgini, P.: Distributed belief revision. Autonomous Agents and Multi-Agent Systems\u00a06(2), 115\u2013143 (2003)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Williamson, J.: Bayesian nets and causality, Philosophical and computational foundations. OUP (2005)","DOI":"10.1093\/acprof:oso\/9780198530794.001.0001"},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-60428-6_20","volume-title":"Progress in Artificial Intelligence","author":"H.N. Duc","year":"1995","unstructured":"Duc, H.N.: Logical omniscience vs. logical ignorance on a dilemma of epistemic logic. In: Pinto-Ferreira, C., Mamede, N.J. (eds.) EPIA 1995. LNCS, vol.\u00a0990, pp. 237\u2013248. Springer, Heidelberg (1995)"},{"issue":"5","key":"11_CR29","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"7","author":"H.N. Duc","year":"1997","unstructured":"Duc, H.N.: Reasoning about rational, but not logically omniscient, agents. Journal of Logic and Computation\u00a07(5), 633\u2013648 (1997)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"11_CR30","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0004-3702(03)00063-8","volume":"149","author":"C.J. Liau","year":"2003","unstructured":"Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation. Artificial Intelligence\u00a0149(1), 31\u201360 (2003)","journal-title":"Artificial Intelligence"},{"key":"11_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11533092_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., Herzig, A., Hulstijn, J., van der Torre, L.W.N.: Inferring trust. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol.\u00a03487, pp. 144\u2013160. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00665-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T04:54:17Z","timestamp":1589691257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00665-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006647","9783642006654"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00665-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}