{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:39:00Z","timestamp":1725489540467},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664321"},{"type":"electronic","value":"9783540483151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48315-2_31","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:51:21Z","timestamp":1187268681000},"page":"403-416","source":"Crossref","is-referenced-by-count":1,"title":["The Role of Context in the Analysis and Design of Agent Programs"],"prefix":"10.1007","author":[{"given":"Wayne","family":"Wobcke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,12,6]]},"reference":[{"key":"31_CR1","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"Barwise, J. & Perry, J. (1983) Situations and Attitudes. MIT Press, Cambridge, MA."},{"key":"31_CR2","volume-title":"Handbook of Philosophical Logic. Volume 3","author":"S. Blamey","year":"1986","unstructured":"Blamey, S. (1986) \u2018Partial Logic.\u2019 in Gabbay, D.M. & Guenthner, F. (Eds) Handbook of Philosophical Logic. Volume 3. Reidel, Dordrecht."},{"key":"31_CR3","volume-title":"Intention, Plans and Practical Reason","author":"M.E. Bratman","year":"1987","unstructured":"Bratman, M.E. (1987) Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA."},{"key":"31_CR4","volume-title":"Knowledge and the Flow of Information","author":"F.I. Dretske","year":"1981","unstructured":"Dretske, F.I. (1981) Knowledge and the Flow of Information. Blackwell, Oxford."},{"key":"31_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems. Volume 1","author":"D.M. Gabbay","year":"1996","unstructured":"Gabbay, D.M. (1996) Labelled Deductive Systems. Volume 1. Oxford University Press, Oxford."},{"key":"31_CR6","unstructured":"Georgeff, M.P. & Lansky, A.L. (1987) \u2018Reactive Reasoning and Planning.\u2019 Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), 677\u2013682."},{"key":"31_CR7","volume-title":"Agent Technology","author":"M.P. Georgeff","year":"1998","unstructured":"Georgeff, M.P. & Rao, A.S. (1998) \u2018Rational Software Agents: From Theory to Practice.\u2019 in Jennings, N.R. & Wooldridge, M.J. (Eds) Agent Technology. Springer-Verlag, Berlin."},{"key":"31_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F. & Serafini, L. (1994) \u2018Multilanguage Hierarchical Logics (or: How we can do without modal logics).\u2019 Artificial Intelligence, 65, 29\u201370.","journal-title":"Artificial Intelligence"},{"key":"31_CR9","volume-title":"Logics of Time and Computation. Second Edition","author":"R. Goldblatt","year":"1992","unstructured":"Goldblatt, R. (1992) Logics of Time and Computation. Second Edition. Center for the Study of Language and Information, Stanford, CA."},{"key":"31_CR10","volume-title":"Semantics for Natural Language","author":"S.A. Kripke","year":"1972","unstructured":"Kripke, S.A. (1972) \u2018Naming and Necessity.\u2019 in Davidson, D. & Harman, G. (Eds) Semantics for Natural Language. Reidel, Dordrecht."},{"key":"31_CR11","volume-title":"Building Large Knowledge-Based Systems","author":"D.B. Lenat","year":"1991","unstructured":"Lenat, D.B. & Guha, R.V. (1991) Building Large Knowledge-Based Systems. Addison-Wesley, Reading, MA."},{"key":"31_CR12","volume-title":"Counterfactuals","author":"D.K. Lewis","year":"1973","unstructured":"Lewis, D.K. (1973) Counterfactuals. Blackwell, Oxford."},{"key":"31_CR13","volume-title":"On the Plurality of Worlds","author":"D.K. Lewis","year":"1986","unstructured":"Lewis, D.K. (1986) On the Plurality of Worlds. Blackwell, Oxford."},{"key":"31_CR14","unstructured":"McCarthy, J.M. (1993) \u2018Notes on Formalizing Context.\u2019 Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 81\u201398."},{"key":"31_CR15","unstructured":"Pratt, V.R. (1976) \u2018Semantical Considerations on Floyd-Hoare Logic.\u2019 Proceedings of the Seventeenth IEEE Symposium on Foundations of Computer Science, 109\u2013121."},{"key":"31_CR16","unstructured":"Rao, A.S. & Georgeff, M.P. (1992) \u2018An Abstract Architecture for Rational Agents.\u2019 Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, 439\u2013449."},{"key":"31_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173452","volume-title":"Intentionality","author":"J.R. Searle","year":"1983","unstructured":"Searle, J.R. (1983) Intentionality. Cambridge University Press, Cambridge."},{"key":"31_CR18","volume-title":"Inquiry","author":"R.C. Stalnaker","year":"1984","unstructured":"Stalnaker, R.C. (1984) Inquiry. MIT Press, Cambridge, MA."},{"key":"31_CR19","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2024549","volume":"63","author":"B.C. Fraassen van","year":"1966","unstructured":"van Fraassen, B.C. (1966) \u2018Singular Terms, Truth-value Gaps, and Free Logic.\u2019 Journal of Philosophy, 63, 481\u2013495.","journal-title":"Journal of Philosophy"},{"key":"31_CR20","unstructured":"Wobcke, W.R. (1988) A Logical Approach to Schema-Based Inference. Ph.D. Thesis, Department of Computer Science, University of Essex."},{"key":"31_CR21","unstructured":"Wobcke, W.R. (1989) \u2018A Schema-Based Approach to Understanding Subjunctive Conditionals.\u2019 Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1461\u20131466."}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48315-2_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T12:19:57Z","timestamp":1708172397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48315-2_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664321","9783540483151"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48315-2_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}