{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:14:16Z","timestamp":1748751256483,"version":"3.41.0"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2015,12,30]],"date-time":"2015-12-30T00:00:00Z","timestamp":1451433600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s10472-015-9493-3","type":"journal-article","created":{"date-parts":[[2015,12,30]],"date-time":"2015-12-30T03:45:18Z","timestamp":1451447118000},"page":"323-360","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["How to deal with unbelievable assertions"],"prefix":"10.1007","volume":"78","author":[{"given":"Matti","family":"Nyk\u00e4nen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raul","family":"Hakli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satu","family":"Eloranta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olli","family":"Niinivaara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,30]]},"reference":[{"issue":"2","key":"9493_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourron\u0301","year":"1985","unstructured":"Alchourron\u0301, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symbol. Log. 50(2), 510\u2013530 (1985)","journal-title":"J. Symbol. Log."},{"key":"9493_CR2","doi-asserted-by":"crossref","unstructured":"Atserias, A., Kolaitis, P.G., Vardi, M.Y.: Constraint propagation as a proof system. In: Wallace, M. (ed.) Principles and Practice of Constraint Programming \u2013 CP 2004, volume 3258 of Lecture Notes in Computer Science, pp. 77\u201391. Springer (2004)","DOI":"10.1007\/978-3-540-30201-8_9"},{"key":"9493_CR3","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1111\/j.1755-2567.1997.tb00738.x","volume":"63","author":"D Bellot","year":"1997","unstructured":"Bellot, D., Godefroid, C., Han, P., Prost, J. P., Schlechta, K., Wurbel, E.: A semantical approach to the concept of screened revision. Theoria 63, 24\u201333 (1997)","journal-title":"Theoria"},{"key":"9493_CR4","unstructured":"Bollobas\u0301, B.: Combinatorics: Set Systems, Hypergraphs, Families of Vectors, and Combinatorial Probability. Cambridge University Press (1986)"},{"key":"9493_CR5","unstructured":"Boolos, G.S., Jeffrey, R.C.: Computability and Logic, 3rd edn. Cambridge University Press (1989)"},{"key":"9493_CR6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.inffus.2005.01.002","volume":"7","author":"R Booth","year":"2006","unstructured":"Booth, R.: Social contraction and belief negotiation. Inf. Fusion 7, 19\u201334 (2006)","journal-title":"Inf. Fusion"},{"issue":"2-3","key":"9493_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1023\/A:1008695706493","volume":"10","author":"EM Clarke","year":"1997","unstructured":"Clarke, E.M., McMillan, K.L., Zhao, X., Fujita, M., Yang, J.: Spectral transforms for large boolean functions with applications to technology mapping. Form. Methods Syst. Des. 10(2-3), 137\u2013148 (1997). Special issue on Multi-Terminal Binary Decision Diagrams","journal-title":"Form. Methods Syst. Des."},{"key":"9493_CR8","doi-asserted-by":"crossref","unstructured":"Cogan, E., Parsons, S., McBurney, P.: New types of inter-agent dialogues. In: Parsons, S., Maudet, N., Moraitis, P., Rahwan, I. (eds.) Argumentation in Multi-Agent Systems Second International Workshop, ArgMAS 2005 Utrecht, The Netherlands, July 26, 2005 Revised Selected and Invited Papers, volume 4049 of Lecture Notes in Computer Science, pp. 154\u2013168. Springer (2006)","DOI":"10.1007\/11794578_10"},{"issue":"1-2","key":"9493_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A Darwiche","year":"1997","unstructured":"Darwiche, A, Pearl, J: On the logic of iterated belief revision. Artif. Intell. 89 (1-2), 1\u201329 (1997)","journal-title":"Artif. Intell."},{"key":"9493_CR10","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann (2003)"},{"key":"9493_CR11","doi-asserted-by":"crossref","unstructured":"D\u2019Silva, V.: Propositional interpolation and abstract interpretation. In: Gordon, A.D. (ed.) 19th European Symposium on Programming (ESOP), volume 6012 of Lecture Notes in Computer Science, pp. 185\u2013204. Springer-Verlag (2010)","DOI":"10.1007\/978-3-642-11957-6_11"},{"key":"9493_CR12","doi-asserted-by":"crossref","unstructured":"D\u2019Silva, V., Kroening, D., Purandare, M., Weissenbacher, G.: Interpolant strength. In: Barthe, G., Hermenegildo, M. (eds.) Verification, Model Checking and Abstract Interpolation (VMCAI), volume 5944 of Lecture Notes in Computer Science, pp. 129\u2013145. Springer-Verlag (2010)","DOI":"10.1007\/978-3-642-11319-2_12"},{"key":"9493_CR13","unstructured":"Eloranta, S.: Dynamic Aspects of Knowledge Bases. PhD thesis, Department of Computer Science, University of Helsinki, Finland (2013)"},{"key":"9493_CR14","doi-asserted-by":"crossref","unstructured":"Eloranta, S., Hakli, R., Niinivaara, O., Nykanen\u0308, M.: Accommodative belief revision. In: H\u00f6lldobler, S., Cutz, C., Wansing, H. (eds.) 11th European Conference on Logics in Artificial Intelligence (JELIA 2008), volume 5293 of Lecture Notes in Artificial Intelligence, pp. 180\u2013191. Springer (2008)","DOI":"10.1007\/978-3-540-87803-2_16"},{"issue":"3","key":"9493_CR15","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1023\/A:1005294718935","volume":"63","author":"EL Ferm\u00e9","year":"1999","unstructured":"Ferm\u00e9, E.L., Hansson, S.O.: Selective revision. Stud. Log. 63(3), 331\u2013342 (1999)","journal-title":"Stud. Log."},{"key":"9493_CR16","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/j.cogpsych.2014.08.002","volume":"75","author":"MC Frank","year":"2014","unstructured":"Frank, M.C., Goodman, N.D.: Inferring word meanings by assuming that speakers are informative. Cogn. Psychol. 75, 80\u201396 (2014)","journal-title":"Cogn. Psychol."},{"key":"9493_CR17","unstructured":"Gardenfors\u0308, P.: Knowledge in Flux. MIT Press (1988)"},{"key":"9493_CR18","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company (1979)"},{"key":"9493_CR19","unstructured":"Grice, P.: Logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Syntax and Semantics, vol. 3. Academic Press (1975)"},{"key":"9493_CR20","doi-asserted-by":"crossref","unstructured":"Grice, P.: Further notes on logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Syntax and Semantics, vol. 9. Academic Press (1978)","DOI":"10.1163\/9789004368873_006"},{"key":"9493_CR21","unstructured":"Grice, P.: Studies in the Way of Words. Harvard University Press (1989)"},{"key":"9493_CR22","doi-asserted-by":"crossref","unstructured":"Groenendijk, J.: The logic of interrogation: Classical version. In: Semantics and Linguistic Theory (SALT IX), pp. 109\u2013126. Cornell University (1999)","DOI":"10.3765\/salt.v9i0.2835"},{"key":"9493_CR23","unstructured":"Hamblin, C.L.: Fallacies. Methuen & Co (1970)"},{"key":"9493_CR24","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00370186","volume":"50","author":"SO Hansson","year":"1991","unstructured":"Hansson, S.O.: Belief contraction without recovery. Stud. Log. 50, 251\u2013260 (1991)","journal-title":"Stud. Log."},{"issue":"1-2","key":"9493_CR25","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","volume":"7","author":"SO Hansson","year":"1997","unstructured":"Hansson, S.O.: Semi-revision. J. Appl. Non-Class. Log. 7(1-2), 151\u2013175 (1997)","journal-title":"J. Appl. Non-Class. Log."},{"issue":"2-3","key":"9493_CR26","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1023\/A:1005534223776","volume":"50","author":"SO Hansson","year":"1999","unstructured":"Hansson, S.O.: A survey of non-prioritized belief revision. Erkenntnis 50(2-3), 413\u2013427 (1999)","journal-title":"Erkenntnis"},{"issue":"4","key":"9493_CR27","doi-asserted-by":"crossref","first-page":"1581","DOI":"10.2307\/2694963","volume":"66","author":"SO Hansson","year":"2001","unstructured":"Hansson, S.O., Ferm\u00e9, E.L., Cantwell, J., Falappa, M.A.: Credibility limited revision. J. Symbol. Log. 66(4), 1581\u20131596 (2001)","journal-title":"J. Symbol. Log."},{"key":"9493_CR28","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)"},{"issue":"Proceedings","key":"9493_CR29","doi-asserted-by":"crossref","first-page":"S414","DOI":"10.1086\/392742","volume":"66","author":"J Hintikka","year":"1999","unstructured":"Hintikka, J., Halonen, I.: Interpolation as explanation. Philos. Sci. 66 (Proceedings), S414\u2013S423 (1999)","journal-title":"Philos. Sci."},{"key":"9493_CR30","doi-asserted-by":"crossref","unstructured":"Huang, G.: Constructing Craig interpolation formulas. In: Du, D.-Z., Li, M. (eds.) First Annual International Conference on Computing and Combinatorics (COCOON \u201995), volume 959 of Lecture Notes in Computer Science, pp. 181\u2013190. Springer (1995)","DOI":"10.1007\/BFb0030832"},{"key":"9493_CR31","doi-asserted-by":"crossref","unstructured":"J\u00e4ger, G.: Game dynamics connects semantics and pragmatics. In: Pietarinen, A.-V. (ed.) Game Theory and Linguistic Meaning, volume 18 of Current Research in the Semantics\/Pragmatics Interface, pp. 103\u2013118. Emerald Group Publishing Limited, Bingley, UK (2007)","DOI":"10.1163\/9780080548524_008"},{"key":"9493_CR32","unstructured":"Jin, Y., Thielscher, M., Zhang, D.: Mutual belief revision: semantics and computation. In: Proceedings of the 22nd national conference on Artificial Intelligence (AAAI\u201907). ISBN 978-1-57735-323-2, pp. 440\u2013445. AAAI Press (2007)"},{"issue":"3","key":"9493_CR33","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H Katsuno","year":"1992","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledgebase revision and minimal change. Artif. Intell. 52(3), 263\u2013294 (1992)","journal-title":"Artif. Intell."},{"issue":"5","key":"9493_CR34","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1093\/logcom\/9.5.651","volume":"9","author":"J Kohlas","year":"1999","unstructured":"Kohlas, J., Moral, S., Haenni, R.: Propositional information systems. J. Logic Comput. 9(5), 651\u2013681 (1999)","journal-title":"J. Logic Comput."},{"key":"9493_CR35","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1023\/A:1010318403544","volume":"127","author":"ECW Krabbe","year":"2001","unstructured":"Krabbe, E.C.W.: The problem of retraction in critical discussion. Synthese 127, 141\u2013159 (2001)","journal-title":"Synthese"},{"issue":"2","key":"9493_CR36","doi-asserted-by":"crossref","first-page":"457","DOI":"10.2307\/2275541","volume":"62","author":"J Kraj\u00ed\u010dek","year":"1997","unstructured":"Kraj\u00ed\u010dek, J.: Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. J. Symbol. Log. 62(2), 457\u2013486 (1997)","journal-title":"J. Symbol. Log."},{"key":"9493_CR37","doi-asserted-by":"crossref","unstructured":"Laera, L., Blacoe, I., Tamma, V., Payne, T., Euzenat, J., Bench-Capon, T.: Argumentation over ontology correspondences in MAS. In: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS \u201907). ISBN 978-81-904262-7-5, pp. 1285\u20131292. ACM, NY, USA (2007)","DOI":"10.1145\/1329125.1329400"},{"key":"9493_CR38","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.1113","volume":"18","author":"J Lang","year":"2003","unstructured":"Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res. 18, 391\u2013443 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"9493_CR39","unstructured":"Lewis, D.K.: Counterfactuals. Blackwell (1973)"},{"key":"9493_CR40","doi-asserted-by":"crossref","unstructured":"Makinson, D.: Propositional relevance through letter-sharing, pp. 377\u2013387. Journal of Applied Logic (2009)","DOI":"10.1016\/j.jal.2008.12.001"},{"issue":"1-2","key":"9493_CR41","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1997.tb00737.x","volume":"63","author":"D Makinson","year":"1997","unstructured":"Makinson, D.: Screened revision. Theoria 63(1-2), 14\u201323 (1997)","journal-title":"Theoria"},{"key":"9493_CR42","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Interpolation and SAT-based model checking. In: Hunt Jr., W.A., Somenzi, F. (eds.) Computer Aided Verification (CAV), volume 2725 of Lecture Notes in Computer Science, pp. 1\u201313. Springer (2003)","DOI":"10.1007\/978-3-540-45069-6_1"},{"issue":"3","key":"9493_CR43","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0168-0072(84)90029-0","volume":"27","author":"D Mundici","year":"1984","unstructured":"Mundici, D.: Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity. Ann. Pure Appl. Log. 27(3), 265\u2013273 (1984)","journal-title":"Ann. Pure Appl. Log."},{"key":"9493_CR44","doi-asserted-by":"crossref","unstructured":"Nykanen\u0308, M., Eloranta, S., Niinivaara, O., Hakli, R.: Cooperative replies to unbelievable assertions: A dialogue protocol based on logical interpolation. In: Filipe, J., Fred, A. (eds.) Proceedings of the 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011), volume 2 \u2013 Agents, pp. 245\u2013250. SciTe Press (2011)","DOI":"10.5220\/0003181702450250"},{"key":"9493_CR45","doi-asserted-by":"crossref","unstructured":"Parsons, S., Sklar, E.: How agents alter their beliefs after an argumentation-based dialogue. In: Parsons, S., Maudet, N., Moraitis, P., Rahwan, I. (eds.) Second International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2005). Revised Selected and Invited Papers, volume 4049 of Lecture Notes in Artificial Intelligence, pp. 297\u2013312. Springer (2006)","DOI":"10.1007\/11794578_19"},{"key":"9493_CR46","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1093\/logcom\/13.3.347","volume":"13","author":"S Parsons","year":"2003","unstructured":"Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. J. Log. Comput. 13, 347\u2013376 (2003)","journal-title":"J. Log. Comput."},{"issue":"3","key":"9493_CR47","doi-asserted-by":"crossref","first-page":"981","DOI":"10.2307\/2275583","volume":"62","author":"P Pudlak\u0301","year":"1997","unstructured":"Pudlak\u0301, P.: Lower bounds for resolution and cutting plane proofs and monotone computations. J. Symbol. Log. 62(3), 981\u2013998 (1997)","journal-title":"J. Symbol. Log."},{"key":"9493_CR48","unstructured":"Reiter, R.: On integrity constraints, pp. 97\u2013111. Morgan Kaufmann (1988)"},{"key":"9493_CR49","unstructured":"Snaith, M., Reed, C.: Justified argument revision in agent dialogue. In: McBurney, P., Parsons, S., Rahwan, I. (eds.) Proceedings of the 9th International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2012) (2012)"},{"key":"9493_CR50","doi-asserted-by":"crossref","unstructured":"Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic state. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. 2, pp. 105\u2013134. Kluwer Academic Publishers (1988)","DOI":"10.1007\/978-94-009-2865-7_6"},{"key":"9493_CR51","unstructured":"Spohn, W.: Causation, Coherence and Concepts: A Collection of Essays, volume 256 of Boston Studies in the Philosophy of Science. Springer (2009)"},{"key":"9493_CR52","doi-asserted-by":"crossref","unstructured":"Spohn, W.: The Laws of Belief: Ranking Theory and its Philosophical Applications. Oxford University Press (2012)","DOI":"10.1093\/acprof:oso\/9780199697502.001.0001"},{"key":"9493_CR53","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, 2nd edn. Cambridge University Press (2000)","DOI":"10.1017\/CBO9781139168717"},{"issue":"1","key":"9493_CR54","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1504\/IJAOSE.2007.013265","volume":"1","author":"J Van Diggelen","year":"2007","unstructured":"Van Diggelen, J., Beun, R.-J., Dignum, F., Van Eijk, R.M., Meyer, J.-J.: Ontology negotiation: goals, requirements and implementation. Int. J. Agent-O. Softw. Eng. 1(1), 63\u201390 (2007)","journal-title":"Int. J. Agent-O. Softw. Eng."},{"key":"9493_CR55","doi-asserted-by":"crossref","unstructured":"Van Veenen, J., Prakken, H.: A protocol for arguing about rejections in negotiation. In: Parsons, S., Maudet, N., Moraitis, P., Rahwan, I. (eds.) Second International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2005). Revised Selected and Invited Papers, volume 4049 of Lecture Notes in Artificial Intelligence, pp. 138\u2013153. Springer (2006)","DOI":"10.1007\/11794578_9"},{"key":"9493_CR56","unstructured":"Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue: Basic Commitments in Interpersonal Dialogue. SUNY series in logic and language. State University of New York (1995)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9493-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-015-9493-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9493-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9493-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T23:40:09Z","timestamp":1748734809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-015-9493-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,30]]},"references-count":56,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9493"],"URL":"https:\/\/doi.org\/10.1007\/s10472-015-9493-3","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2015,12,30]]}}}