{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T11:44:52Z","timestamp":1768563892321,"version":"3.49.0"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1008242530244","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"33-61","source":"Crossref","is-referenced-by-count":12,"title":["Seeing Is Believing"],"prefix":"10.1007","volume":"6","author":[{"given":"B.","family":"van Linder","sequence":"first","affiliation":[]},{"given":"W.","family":"van der Hoek","sequence":"additional","affiliation":[]},{"given":"J.-J. Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"115110_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., and Makinson, D., 1985, \"On the logic of theory change: Partial meet contraction and revision functions,\" Journal of Symbolic Logic\n50, 510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"115110_CR2","first-page":"127","volume":"2","author":"Y. Arens","year":"1993","unstructured":"Arens, Y., Chee, C.Y., Hsu, C.-N., and Knoblock, C.A., 1993, \"Retrieving and integrating data from multiple information sources,\" International Journal on Intelligent and Cooperative Information Systems\n2(2), 127\u2013158.","journal-title":"International Journal on Intelligent and Cooperative Information Systems"},{"key":"115110_CR3","volume-title":"The Situation in Logic","author":"J. Barwise","year":"1989","unstructured":"Barwise, J., 1989, The Situation in Logic, Volume 17 of CSLI Lecture Notes, Stanford: CSLI."},{"key":"115110_CR4","series-title":"Lecture Notes in Artificial Intelligence","first-page":"56","volume-title":"Intelligent Agents","author":"C. Castelfranchi","year":"1994","unstructured":"Castelfranchi, C., 1994, \"Guarantees for autonomy in cognitive agent architecture,\" pp. 56\u201370 in Intelligent Agents. Proceedings of the 1994 ECAI Workshop on Agent Theories, Architectures, and Languages, M. Wooldridge and N.R. Jennings, eds., Volume 890 of Lecture Notes in Artificial Intelligence, Berlin: Springer-Verlag."},{"key":"115110_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic. An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F., 1980, Modal Logic. An Introduction, Cambridge: Cambridge University Press."},{"key":"115110_CR6","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R. and Levesque, H.J., 1990, \"Intention is choice with commitment,\" Artificial Intelligence\n42, 213\u2013261.","journal-title":"Artificial Intelligence"},{"key":"115110_CR7","series-title":"Lecture Notes in Computer Science (subseries LNAI)","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/3-540-60112-0_21","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"B. Dunin-Keplicz","year":"1995","unstructured":"Dunin-Keplicz, B. and Radzikowska, A., 1995, \"Epistemic approach to actions with typical effects,\" pp. 180\u2013188 in Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proceedings of ECSQARU\u201995), C. Froidevaux and J. Kohlas, eds., Volume 946 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag."},{"key":"115110_CR8","series-title":"Lecture Notes in Artificial Intelligence","first-page":"102","volume-title":"Intelligent Agents","author":"B. Dunin-Keplicz","year":"1994","unstructured":"Dunin-Keplicz, B. and Treur, J., 1994, \"Compositional formal specification of multi-agent systems,\" pp. 102\u2013117 in Intelligent Agents. Proceedings of the 1994 ECAI Workshop on Agent Theories, Architectures, and Languages, M. Wooldridge and N.R. Jennings, eds., Volume 890 of Lecture Notes in Artificial Intelligence, Berlin: Springer-Verlag."},{"key":"115110_CR9","unstructured":"Elgesem, D., 1993, \"Action theory and modal logic,\" PhD thesis, Institute for Philosophy, University of Oslo, Oslo, Norway."},{"key":"115110_CR10","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P., 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA\/London, England: The MIT Press."},{"key":"115110_CR11","volume-title":"Belief Revision","year":"1992","unstructured":"G\u00e4rdenfors, P., ed., 1992, Belief Revision, Cambridge: Cambridge University Press."},{"key":"115110_CR12","series-title":"CSLI Lecture Notes","volume-title":"Logics of Time and Computation","author":"R. Goldblatt","year":"1992","unstructured":"Goldblatt, R., 1992, Logics of Time and Computation, 2nd ed., Volume 7 of CSLI Lecture Notes, Stanford: CSLI.","edition":"2nd ed."},{"key":"115110_CR13","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y. and Moses, Y., 1992, \"A guide to completeness and complexity for modal logics of knowledge and belief,\" Artifical Intelligence\n54, 319\u2013379.","journal-title":"Artifical Intelligence"},{"key":"115110_CR14","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D., 1984, \"Dynamic logic,\" pp. 497\u2013604 in Handbook of Philosophical Logic, Volume 2, Chapter 10, D.M. Gabbay and F. Guenthner, eds., Dordrecht: D. Reidel."},{"key":"115110_CR15","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J., 1962, Knowledge and Belief, Ithaca, NY: Cornell University Press."},{"issue":"2","key":"115110_CR16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1093\/logcom\/3.2.173","volume":"3","author":"W. Van der Hoek","year":"1993","unstructured":"Van der Hoek, W., 1993, \"Systems for knowledge and beliefs,\" Journal of Logic and Computation\n3(2), 173\u2013195.","journal-title":"Journal of Logic and Computation"},{"key":"115110_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-58140-5_34","volume-title":"Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS\u201994)","author":"W. Van der Hoek","year":"1994","unstructured":"Van der Hoek, W., Van Linder, B., and Meyer, J.-J.Ch., 1994a, \"A logic of capabilities,\" pp. 366\u2013378 in Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS\u201994), A. Nerode and Yu.V. Matiyasevich, eds., Volume 813 of Lecture Notes in Computer Science, Berlin: Springer-Verlag."},{"key":"115110_CR18","first-page":"163","volume-title":"Proceedings of the Sixth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA\u201994)","author":"W. Van der Hoek","year":"1994","unstructured":"Van der Hoek, W., Van Linder, B., and Meyer, J.-J.Ch., 1994b, \"Unravelling nondeterminism: On having the ability to choose (extended abstract),\" pp. 163\u2013172 in Proceedings of the Sixth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA\u201994), P. Jorrand and V. Sgurev, eds., Singapore: World Scientific."},{"key":"115110_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/3-540-54487-9_64","volume-title":"Computer Science Logic, 4th Workshop CSL\u201990","author":"Z. Huang","year":"1991","unstructured":"Huang, Z., 1991, \"Logics for belief dependence,\" pp. 274\u2013288 in Computer Science Logic, 4th Workshop CSL\u201990, E. B\u00f6rger, H. Kleine B\u00fcning, M.M. Richter, and W. Sch\u00f6nfeld, eds., Volume 533 of Lecture Notes in Computer Science, Berlin: Springer-Verlag."},{"key":"115110_CR20","unstructured":"Huang, Z., 1994, \"Logics for agents with bounded rationality,\" PhD thesis, Universiteit van Amsterdam."},{"key":"115110_CR21","unstructured":"Huang, Z., Masuch, M., and P\u00f3los, L., \"ALX, an action logic for agents with bounded rationality,\" Technical Report 92-70, Center for Computer Science in Organization and Management, University of Amsterdam, October 1992. To appear in Artificial Intelligence."},{"key":"115110_CR22","volume-title":"Will, Freedom and Power","author":"A. Kenny","year":"1975","unstructured":"Kenny, A., 1975, Will, Freedom and Power, Oxford: Basil Blackwell."},{"key":"115110_CR23","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","volume":"58","author":"S. Kraus","year":"1988","unstructured":"Kraus, S. and Lehmann, D., 1988, \"Knowledge, belief and time,\" Theoretical Computer Science\n58, 155\u2013174.","journal-title":"Theoretical Computer Science"},{"key":"115110_CR24","series-title":"Lecture Notes in Computer Science (subseries LNAI)","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3540608052_76","volume-title":"Intelligent Agents Volume II\u2013Agent Theories, Architectures and Languages","author":"Y. Lesperance","year":"1996","unstructured":"Lesperance, Y., Levesque, H., Lin, F., Marcu, D., Reiter, R., and Scherl, R., \"Foundations of a logical approach to agent-programming,\" 1996, pp. 331\u2013347 in Intelligent Agents Volume II\u2013Agent Theories, Architectures and Languages, M. Wooldridge, J.P. M\u00fcller and M. Tambe, eds., Volume 1037 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag."},{"key":"115110_CR25","doi-asserted-by":"crossref","unstructured":"Levesque, H., 1994, \"Knowledge, action and ability in the situation calculus,\" Overheads from invited talk at TARK 1994.","DOI":"10.1016\/B978-1-4832-1453-5.50004-0"},{"key":"115110_CR26","unstructured":"Levy, A.Y., Sagiv, Y., and Srivastava, D., 1994, \"Towards efficient information gathering agents,\" pp. 64\u201370 in Working Notes of the AAAI Spring Symposium on Software Agents, Stanford, California."},{"key":"115110_CR27","series-title":"Lecture Notes in Computer Science (subseries LNAI)","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-58467-6_18","volume-title":"KI-94: Advances in Artificial Intelligence","author":"B. Van Linder","year":"1994","unstructured":"Van Linder, B., Van der Hoek, W., and Meyer, J.-J.Ch., 1994a, \"Communicating rational agents,\" pp. 202\u2013213 in KI-94: Advances in Artificial Intelligence, B. Nebel and L. Dreschler-Fischer, eds., Volume 861 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag."},{"key":"115110_CR28","first-page":"331","volume-title":"Proceedings of the 11th European Conference on Artificial Intelligence (ECAI\u201994)","author":"B. Van Linder","year":"1994","unstructured":"Van Linder, B., Van der Hoek, W., and Meyer, J.-J.Ch., 1994b, \"Tests as epistemic updates,\" pp. 331\u2013335 in Proceedings of the 11th European Conference on Artificial Intelligence (ECAI\u201994), A.G. Cohn, ed., Chichester: John Wiley & Sons."},{"key":"115110_CR29","first-page":"103","volume-title":"Knowledge and Belief in Philosophy and Artificial Intelligence","author":"B. Van Linder","year":"1995","unstructured":"Van Linder, B., Van der Hoek, W., and Meyer, J.-J.Ch., 1995a, \"Actions that make you change your mind,\" pp. 103\u2013146 in Knowledge and Belief in Philosophy and Artificial Intelligence, A. Laux and H. Wansing, ed., Berlin: Akademie Verlag."},{"key":"115110_CR30","series-title":"Lecture Notes in Computer Science (subseries LNAI)","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/3-540-60112-0_32","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proceedings of ECSQARU\u201995)","author":"B. Van Linder","year":"1995","unstructured":"Van Linder, B., Van der Hoek, W., and Meyer, J.-J.Ch., 1995b, \"The dynamics of default reasoning (extended abstract),\" pp. 277\u2013284 in Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proceedings of ECSQARU\u201995), C. Froidevaux and J. Kohlas, eds., Volume 946 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag."},{"key":"115110_CR31","series-title":"Lecture Notes in Computer Science (subseries LNAI)","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/3540608052_56","volume-title":"Intelligent Agents Volume II\u2013Agent Theories, Architectures, and Languages","author":"B. Van Linder","year":"1996","unstructured":"Van Linder, B., Van der Hoek, W., and Meyer, J.-J.Ch., 1996, \"Formalising motivational attitudes of agents: On preferences, goals and commitments,\" pp. 17\u201332 in Intelligent Agents Volume II\u2013Agent Theories, Architectures, and Languages, M. Wooldridge, J.P. M\u00fcller, and M. Tambe, eds., Volume 1037 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag."},{"key":"115110_CR32","first-page":"37","volume-title":"Non-Monotonic Reasoning and Partial Semantics","author":"J.-J.Ch. Meyer","year":"1992","unstructured":"Meyer, J.-J.Ch. and Van der Hoek, W., 1992, \"A modal logic for nonmonotonic reasoning,\" pp. 37\u201377 in Non-Monotonic Reasoning and Partial Semantics, W. Van der Hoek, J.-J.Ch. Meyer, Y.H. Tan, and C. Witteveen, eds., Chichester: Ellis Horwood."},{"key":"115110_CR33","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.-J.Ch. Meyer","year":"1995","unstructured":"Meyer, J.-J.Ch. and Van der Hoek, W., 1995, Epistemic Logic for AI and Computer Science, Cambridge: Cambridge University Press."},{"key":"115110_CR34","unstructured":"Moore, R.C., 1980, \"Reasoning about knowledge and action,\" Technical Report 191, SRI International."},{"key":"115110_CR35","unstructured":"Moore, R.C., 1984, \"A formal theory of knowledge and action,\" Technical Report 320, SRI International."},{"key":"115110_CR36","unstructured":"Rao, A.S. and Georgeff, M.P., 1991a, \"Asymmetry thesis and side-effect problems in linear time and branching time intention logics,\" pp. 498\u2013504 in Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI91)."},{"key":"115110_CR37","first-page":"473","volume-title":"Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S. and Georgeff, M.P., 1991b, \"Modeling rational agents within a BDI-architecture,\" pp. 473\u2013484 in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, J. Allen, R. Fikes, and E. Sandewall, eds., San Mateo CA: Morgan Kaufmann."},{"key":"115110_CR38","unstructured":"Rao, A.S. and Georgeff, M.P., 1993, \"A model-theoretic approach to the verification of situated reasoning systems,\" pp. 318\u2013324 in Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI\u201993)."},{"key":"115110_CR39","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y., 1993, \"Agent-oriented programming,\" Artificial Intelligence\n60, 51\u201392.","journal-title":"Artificial Intelligence"},{"key":"115110_CR40","series-title":"Lecture Notes in Computer Science (subseries LNAI)","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-58107-3_17","volume-title":"Foundations of Knowledge Representation and Reasoning","author":"Y. Shoham","year":"1994","unstructured":"Shoham, Y. and Cousins, S.B., 1994, \"Logics of mental attitudes in AI,\" pp. 296\u2013309 in Foundations of Knowledge Representation and Reasoning, G. Lakemeyer and B. Nebel, eds., Volume 810 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag."},{"key":"115110_CR41","unstructured":"Thomas, S.R., 1993, \"PLACA, an agent oriented programming language,\" PhD thesis, Department of Computer Science, Stanford University, Stanford CA. Appeared as Technical Report STANCS-93-1487."},{"key":"115110_CR42","unstructured":"Wooldridge, M., 1994, \"The logical modelling of computational multi-agent systems,\" PhD thesis, Department of Computation, UMIST, Manchester. Appeared as Technical Report MMU-DOC-94-01."},{"key":"115110_CR43","first-page":"234","volume-title":"Proceedings of the 10th European Conference on Artificial Intelligence (ECAI\u201992)","author":"M. Wooldridge","year":"1992","unstructured":"Wooldridge, M. and Fisher, M., 1992, \"A first-order branching time logic of multi-agent systems,\" pp. 234\u2013238 in Proceedings of the 10th European Conference on Artificial Intelligence (ECAI\u201992), B. Neumann, ed., Chichester: John Wiley & Sons."},{"key":"115110_CR44","volume-title":"Norm and Action","author":"G.H. Von Wright","year":"1963","unstructured":"Von Wright, G.H., 1963, Norm and Action, London: Routledge & Kegan Paul."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008242530244.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008242530244\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008242530244.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:18:38Z","timestamp":1749723518000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008242530244"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["115110"],"URL":"https:\/\/doi.org\/10.1023\/a:1008242530244","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}