{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:27:51Z","timestamp":1725467271816},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613138"},{"type":"electronic","value":"9783540684541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61313-7_63","type":"book-chapter","created":{"date-parts":[[2006,7,12]],"date-time":"2006-07-12T14:19:20Z","timestamp":1152713960000},"page":"58-72","source":"Crossref","is-referenced-by-count":7,"title":["A unified framework for hypothetical and practical reasoning (1): Theoretical foundations"],"prefix":"10.1007","author":[{"given":"S. K.","family":"Das","sequence":"first","affiliation":[]},{"given":"J.","family":"Fox","sequence":"additional","affiliation":[]},{"given":"P.","family":"Krause","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,6]]},"reference":[{"key":"5_CR1","first-page":"123","volume":"23","author":"R. H. Bonczek","year":"1984","unstructured":"R. H. Bonczek, C. W. Holsapple, and A. B. Whinston. Development in decision support systems. Advances in Computers, 23:123\u2013154, 1984.","journal-title":"Advances in Computers"},{"key":"5_CR2","volume-title":"Possible Worlds","author":"R. Bradley","year":"1979","unstructured":"R. Bradley and N. Swartz. Possible Worlds. Basil Blackwell, 1979."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"B. Chellas. Modal Logic. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"5_CR4","first-page":"57","volume-title":"Contemporary Issues in Decision Making","author":"D. A. Clark","year":"1990","unstructured":"D. A. Clark, J. Fox, A. J. Glowinski, and M. J. O'Neil. Symbolic reasoning for decision making. In K. Borcherding, O. I. Larichev, and D. M. Messick, editors, Contemporary Issues in Decision Making, pages 57\u201375. Elsevier Science Publishers B. V. (North-Holland), 1990."},{"key":"5_CR5","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":"5_CR6","unstructured":"S. K. Das. Deductive Databases and Logic Programming. Addison-Wesley, 1992."},{"key":"5_CR7","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":"5_CR8","volume-title":"R2L. Technical Report RED\/ QMW\/ WP\/ 740\/ 1\/ 4, QMW","author":"S. K. Das","year":"1994","unstructured":"S. K. Das and D. Elsdon. R 2L. Technical Report RED\/ QMW\/ WP\/ 740\/ 1\/ 4, QMW, University of London, London, 1994."},{"key":"5_CR9","unstructured":"S. K. Das, J. Fox, P. Hammond, and D. Elsdon. A flexible architecture for autonomous agents, revised version is being considered by JETAI, 1995."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"S. K. Das and P. Hammond. Managing tasks using an interval-based temporal logic. Journal of Applied Intelligence, in press.","DOI":"10.1007\/BF00132736"},{"key":"5_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":"5_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 Proceeding of FAPR, June 1996.","DOI":"10.1007\/3-540-61313-7_64"},{"key":"5_CR13","unstructured":"J. Fox, S. K. Das, and D. Elsdon. Decision making and planning in autonomous systems: theory, technology and applications. In Proceedings of the ECAI Workshop on Decision Theory for DAI Applications, 1994."},{"key":"5_CR14","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":"5_CR15","doi-asserted-by":"crossref","unstructured":"P. J. Krause, S. J. Ambler, M. Elvang-Goransson, and J. Fox. A logic of argumentation for uncertain reasoning. Computational Intelligence, 11, 1995.","DOI":"10.1111\/j.1467-8640.1995.tb00025.x"},{"key":"5_CR16","first-page":"67","volume":"9","author":"S. A. Kripke","year":"1963","unstructured":"S. A. Kripke. Semantical analysis of modal logic I: normal modal propositional calculi. ZMLGM, 9:67\u201396, 1963.","journal-title":"ZMLGM"},{"key":"5_CR17","volume-title":"An Introduction to Modal Logic","author":"E. J. Lemmon","year":"1977","unstructured":"E. J. Lemmon. An Introduction to Modal Logic. Basil Blackwell, 1977."},{"key":"5_CR18","first-page":"242","volume":"44","author":"J. C. 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":"5_CR19","unstructured":"J. Wainer. Yet another semantics of goals and goal priorities. In Proceedings of the 11th European Conference on Artificial Intelligence, pages 269\u2013273, August 1994."}],"container-title":["Lecture Notes in Computer Science","Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61313-7_63","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T00:18:59Z","timestamp":1555719539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61313-7_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613138","9783540684541"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-61313-7_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}