{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:27Z","timestamp":1725488007050},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653127"},{"type":"electronic","value":"9783540494263"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49426-x_19","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:21:25Z","timestamp":1186158085000},"page":"415-426","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["How much does an agent believe: an extension of modal epistemic logic"],"prefix":"10.1007","author":[{"given":"Subrata K.","family":"Das","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"F. Bacchus. Representing and reasoning with probabilistic knowledge. MIT Press, 1990.","DOI":"10.1111\/j.1467-8640.1990.tb00296.x"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"P. Chatalic and C. Froidevaux. Lattice-based graded logic: a multimodal approach. In Proceedings of the Conference Conferenceon Uncertainty in Artificial Intelligence, pages 33\u201340, 1992.","DOI":"10.1016\/B978-1-4832-8287-9.50009-8"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"B. Chellas. Modal Logic. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"P. R. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42, 1990.","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"19_CR5","unstructured":"S. K. Das. Deductive Databases and Logic Programming. Addison-Wesley, 1992."},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0167-9236(94)00028-Q","volume":"15","author":"S. K. Das","year":"1995","unstructured":"S. K. Das. A logical reasoning with preference. Decision Support Systems, 15:19\u201325, 1995.","journal-title":"Decision Support Systems"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"S. K. Das, J. Fox, D. Elsdon, and P. Hammond. Decision making and plan management by autonomous agents: theory, implementation and applications. In Proceedings of the International Conference on Autonomous Agents, California, February 1997.","DOI":"10.1145\/267658.267729"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"S. K. Das, J. Fox, P. Hammond, and D. Elsdon. A flexible architecture for autonomous agents. to appear in the Journal of Experimental and Theoretical Artificial Intelligence, 1997.","DOI":"10.1080\/095281397146979"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"S. K. Das, J. Fox, and P. Krause. A unified framework for hypothetical and practical reasoning (1): theoretical foundations. In D. M. Gabbay and H. J. Ohlbach, editors, Proceedings of the International Conference on Formal and Applied Practical Reasoning, pages 58\u201372. Springer-Verlag, June 1996.","DOI":"10.1007\/3-540-61313-7_63"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1017\/S0269888900007128","volume":"9","author":"D. Dubois","year":"1994","unstructured":"D. Dubois and H. Prade. Non-standard theories of uncertainty in knowledge representation and reasoning. The Knowledge Engineering Review, 9:399\u2013416, 1994.","journal-title":"The Knowledge Engineering Review"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"R. Fagin and J. Y. Halpern. Belief, awareness and limited reasoning. Artificial Intelligence, 34:39\u201376, 1988.","journal-title":"Artificial Intelligence"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"J. Fox and S. K. Das. A unified framework for hypothetical and practical reasoning (2): lessons from medical applications. In Proceedings of the International Conference on Formal and Applied Practical Reasoning, pages 73\u201392. Springer-Verlag, June 1996.","DOI":"10.1007\/3-540-61313-7_64"},{"key":"19_CR13","unstructured":"J. Fox, P. J. Krause, and S. Ambler. Arguments, contradictions and practical reasoning. In Proceedings of the European Conference on Artificial Intelligence, August 1992."},{"key":"19_CR14","unstructured":"P. Hajek, L. Godo, and F. Esteva. Fuzzy logic and probability. In Proceedings of the 11th European Conference on Uncertainty in Artificial Intelligence, pages 237\u2013244, 1995."},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90093-2","volume":"32","author":"J. Halpern","year":"1987","unstructured":"J. Halpern and M. Rabin. A logic to reason about likelihood. Artificial Intelligence, 32:379\u2013405, 1987.","journal-title":"Artificial Intelligence"},{"key":"19_CR16","unstructured":"J. Y. Halpern and Y. O. Moses. A guide to the modal logics of knowledge and belief. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 480\u2013490, 1985."},{"key":"19_CR17","unstructured":"J. Hintikka. Knowledge and Belief. Cornell University Press, 1962."},{"key":"19_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-2084-5","volume-title":"Representing Uncertain Knowledge: An artificial intelligence approach","author":"P. Krause","year":"1993","unstructured":"P. Krause and D. Clark. Representing Uncertain Knowledge: An artificial intelligence approach. Intellect, Oxford, 1993."},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1111\/j.1467-8640.1995.tb00025.x","volume":"11","author":"P. J. Krause","year":"1995","unstructured":"P. J. Krause, S. J. Ambler, M. Elvang-Goransson, and J. Fox. A logic of argumentation for uncertain reasoning. Computational Intelligence, 11:113\u2013131, 1995.","journal-title":"Computational Intelligence"},{"key":"19_CR20","unstructured":"E. J. Lemmon. An Introduction to Modal Logic. Basil Blackwell, 1977."},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"J. J. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science. Cambridge Tracks in Theoretical Computer Science. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511569852"},{"key":"19_CR22","first-page":"242","volume":"44","author":"J.-J. Ch. Meyer","year":"1991","unstructured":"J.-J. Ch. Meyer, W. van der Hoek, and G. A. W. Vreeswijk. Epistemic logic for computer science: a tutorial (part one). EATCS, 44:242\u2013270, 1991.","journal-title":"EATCS"},{"key":"19_CR23","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. J. Nilsson","year":"1986","unstructured":"N. J. Nilsson. Probabilistic logic. Artificial Intelligence, 28:71\u201387, 1986.","journal-title":"Artificial Intelligence"},{"key":"19_CR24","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1017\/S026988890000789X","volume":"11","author":"H. S. Nwana","year":"1996","unstructured":"H. S. Nwana. Software agents: an overview. The Knowledge Engineering Review, 11:205\u2013244, 1996.","journal-title":"The Knowledge Engineering Review"},{"key":"19_CR25","unstructured":"A. S. Rao and M. P. Georgeff. Modelling rational agents within a BDI-architecture. In Proceedings of the Conference on Knowledge Representation and Reasoning, pages 473\u2013484, 1991."},{"key":"19_CR26","unstructured":"N. Wilson and S. Moral. A logical view of probability. In Proceedings of the 11th European Conference on Artificial Intelligence, pages 386\u2013390, 1994."},{"key":"19_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"M. Wooldridge and N. R. Jennings. Intelligent agents: theory and practice. The Knowledge Engineering Review, 10:1\u201338, 1995.","journal-title":"The Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","Applications of Uncertainty Formalisms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49426-X_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T01:05:36Z","timestamp":1586135136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49426-X_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653127","9783540494263"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-49426-x_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}