{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:13:37Z","timestamp":1743124417487,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612919"},{"type":"electronic","value":"9783540684503"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61291-2_69","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:25:31Z","timestamp":1330291531000},"page":"417-428","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Negoplan: A system for logic-based decision modelling"],"prefix":"10.1007","author":[{"given":"Sunil","family":"Noronha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stan","family":"Szpakowicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","volume":"8","author":"M. Abadi","year":"1989","unstructured":"Abadi, M., and Manna, Z., \u201cTemporal logic programming,\u201d Journal of Symbolic Computation, 8, 277\u2013295, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Anderson, A. R., \u201cThe formal analysis of normative systems,\u201d reprinted in (Rescher, 1966), 147\u2013213.","DOI":"10.2307\/jj.13027259.8"},{"key":"33_CR3","volume-title":"Mathematical Logic for Computer Science","author":"M. Ben-Ari","year":"1993","unstructured":"Ben-Ari, M., Mathematical Logic for Computer Science, Prentice-Hall, New York, 1993."},{"key":"33_CR4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(94)90095-7","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"Boutilier, C., \u201cUnifying default reasoning and belief revision,\u201d Artificial Intelligence, 68, 33\u201385, 1994.","journal-title":"Artificial Intelligence"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Farinas del Cerro, F., \u201cMOLOG: A system that extends Prolog with modal logic,\u201d New Generation Computing, February 1986.","DOI":"10.1007\/BF03037381"},{"key":"33_CR6","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1016\/0305-0483(89)90056-X","volume":"17","author":"P.N. Finlay","year":"1989","unstructured":"Finlay P.N. and Martin C. J., \u201cThe state of decision support systems: A review,\u201d OMEGA International Journal of Management Science, 17, 525\u2013531, 1989.","journal-title":"OMEGA International Journal of Management Science"},{"key":"33_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-57697-5","volume-title":"Representing Plans Under Uncertainty","author":"P. Haddawy","year":"1994","unstructured":"Haddawy, P., Representing Plans Under Uncertainty, Springer-Verlag, Berlin, 1994."},{"key":"33_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139174084","volume-title":"Decisions with Multiple Objectives: Preferences and Value Tradeoffs","author":"R. L. Keeney","year":"1993","unstructured":"Keeney, R. L. and Raiffa, H., Decisions with Multiple Objectives: Preferences and Value Tradeoffs, Cambridge University Press, Cambridge, 1993."},{"key":"33_CR9","unstructured":"Kersten, G. E., Cray, D., and Szpakowicz, S., \u201cSupporting strategic decisions: Requirements, approach and application,\u201d International Decision Support Systems Conference, June 1995 (to appear)."},{"key":"33_CR10","unstructured":"Kersten, G. E., Lu, P., and Szpakowicz, S., \u201cIndicative and action planning for an intelligent agent\u201d, R. Elio (ed.), Proc Tenth Canadian Conf on AI, CSCSI, Banff, 287\u2013294, 1994."},{"issue":"10","key":"33_CR11","doi-asserted-by":"crossref","first-page":"1269","DOI":"10.1287\/mnsc.37.10.1269","volume":"37","author":"G. E. Kersten","year":"1991","unstructured":"Kersten, G. E., Michalowski, W., Szpakowicz, S. and Koperczak, Z., \u201cRestructurable representations of negotiation,\u201d Management Science, 37(10), 1269\u20131290, 1991","journal-title":"Management Science"},{"issue":"2","key":"33_CR12","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF01384356","volume":"3","author":"G. E. Kersten","year":"1994","unstructured":"Kersten, G. E. and Szpakowicz, S., \u201cDecision-making and Decision Aiding: Defining the Process, Its Representations, and Support\u201d. Group Decision and Negotiation, 3(2), 237\u2013261, 1994.","journal-title":"Group Decision and Negotiation"},{"key":"33_CR13","first-page":"301","volume":"3\/95","author":"G. E. Kersten","year":"1995","unstructured":"Kersten, G. E. and Szpakowicz, S., \u201cForming Decision Making Skills with a Patient Simulator\u201c, Control and Cybernetics, vol. 3\/95, 301\u2013326, 1995","journal-title":"Control and Cybernetics"},{"key":"33_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173537","volume-title":"Decision Sciences: An Integrative Perspective","author":"P. R. Kleindorfer","year":"1993","unstructured":"Kleindorfer, P. R., Kunreuther, H. C., and Schoemaker, P. J. H., Decision Sciences: An Integrative Perspective, Cambridge University Press, Cambridge, 1993."},{"key":"33_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logic of Programs","author":"F. Kr\u00f6ger","year":"1987","unstructured":"Kr\u00f6ger, F., Temporal Logic of Programs, Springer-Verlag, Berlin, 1987."},{"key":"33_CR16","volume-title":"Negotiation: Readings, Exercises and Cases","author":"R. J. Lewicki","year":"1985","unstructured":"Lewicki, R. J. and Litterer, J. A., Negotiation: Readings, Exercises and Cases, Irwin, Homewood, 1985."},{"key":"33_CR17","unstructured":"Marek W., Schwarz, G. F, and Truszczynski, M., \u201cRanges of strong modal nonmonotonic logics,\u201d in J. Dix, K.P. Jantke, and P.H. Schmitt (eds.) Nonmonotonic and Inductive Logic, Springer-Verlag, 1990."},{"key":"33_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. McDermott","year":"1982","unstructured":"McDermott, D., \u201cNon-monotonic logic II: non-monotonic modal theories,\u201d Journal of the Association for Computing Machinery, 29, 33\u201357, 1982.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"33_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic","author":"W. Marek","year":"1993","unstructured":"Marek W. and Truszczynski, M., Nonmonotonic Logic, Springer-Verlag, Berlin, 1993."},{"key":"33_CR20","volume-title":"IEEE International Conference on Systems, Man and Cybernetics","author":"D. B. Meister","year":"1994","unstructured":"Meister, D. B. and Kersten, G. E., \u201cAn Integrative Approach to Water Treatment Technology Selection,\u201d IEEE International Conference on Systems, Man and Cybernetics, San Antonio, Texas, October 2\u20135, 1994."},{"key":"33_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-7288-6","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1987","unstructured":"Mendelson, E., Introduction to Mathematical Logic, third edition, Wadsworth and Brooks, Monterey, 1987.","edition":"third edition"},{"issue":"1\u20132","key":"33_CR22","first-page":"31","volume":"59","author":"A. Newell","year":"1982","unstructured":"Newell, A., \u201cThe knowledge level,\u201d Artificial Intelligence, 59 (1\u20132), 31\u201338, 1982.","journal-title":"Artificial Intelligence"},{"key":"33_CR23","volume-title":"Ninth International Symposium on Methodologies for Intelligent Systems","author":"S. J. Noronha","year":"1996","unstructured":"Noronha, S. J., and Szpakowicz, S., \u201cForest fire management with Negoplan,\u201d Ninth International Symposium on Methodologies for Intelligent Systems, Zakopane, Poland, June 1996."},{"key":"33_CR24","volume-title":"Working Paper WPS 95-03, School of Business","author":"S. J. Noronha","year":"1995","unstructured":"Noronha, S. J., and Szpakowicz, S., Negoplan Case Author's Manual, Working Paper WPS 95-03, School of Business, Carleton University, Ottawa. February 1995."},{"issue":"1","key":"33_CR25","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/47649.47650","volume":"18","author":"S. Raghavan","year":"1988","unstructured":"Raghavan S., and Chand D., \u201cA perspective on decision support systems,\u201d Journal of the Computer Society of India, 18(1), 7\u201336, 1988.","journal-title":"Journal of the Computer Society of India"},{"key":"33_CR26","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R., \u201cA logic for default reasoning,\u201d Artificial Intelligence, 13, 81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"33_CR27","unstructured":"Rescher, N. (ed.), The Logic of Decision and Action, University of Pittsburgh Press, 1966."},{"key":"33_CR28","doi-asserted-by":"crossref","unstructured":"Simon, H. A., \u201cThe logic of heuristic decision making,\u201d in (Rescher, 1966), 1\u201320.","DOI":"10.2307\/jj.13027259.4"},{"key":"33_CR29","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(93)90104-J","volume":"64","author":"R. Stalnaker","year":"1983","unstructured":"Stalnaker, R., \u201cA note on non-monotonic modal logic,\u201d Artificial Intelligence, 64, 183\u2013196, 1983.","journal-title":"Artificial Intelligence"},{"key":"33_CR30","unstructured":"Szpakowicz, S. and Kersten, G. E., \u201cRecent developments in Negoplan,\u201d Proc IASTED Conf on Modelling and Simulation, Pittsburgh, 126\u2013129, 1993."}],"container-title":["Lecture Notes in Computer Science","Advances in Artifical Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61291-2_69","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:23:20Z","timestamp":1713633800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61291-2_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612919","9783540684503"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-61291-2_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"3 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}