{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T17:16:11Z","timestamp":1770743771107,"version":"3.49.0"},"reference-count":57,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5868,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1997,7]]},"DOI":"10.1016\/s0004-3702(97)00027-1","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:24:09Z","timestamp":1027657449000},"page":"7-56","source":"Crossref","is-referenced-by-count":188,"title":["The independent choice logic for modelling multiple agents under uncertainty"],"prefix":"10.1016","volume":"94","author":[{"given":"David","family":"Poole","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(97)00027-1_BIB1","author":"Albus","year":"1981"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB2","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","article-title":"Acyclic programs","volume":"9","author":"Apt","year":"1991","journal-title":"New Generation Comput."},{"key":"10.1016\/S0004-3702(97)00027-1_BIB3","author":"Bacchus","year":"1990"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB4_1","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0004-3702(96)00003-3","article-title":"From statistical knowledge bases to degrees of belief","volume":"87","author":"Bacchus","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB5","series-title":"Proceedings IJCAI-95","first-page":"1104","article-title":"Exploiting structure in policy construction","author":"Boutilier","year":"1995"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB6","series-title":"Working Notes AAAI Spring Symposium 1995\u2014Extending Theories of Actions: Formal Theory and Practical Applications","article-title":"Nondeterministic actions and the frame problem","author":"Boutilier","year":"1995"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB7","series-title":"Proceedings 12th Conference on Uncertainty in Artificial Intelligence (UAI-96)","first-page":"115","article-title":"Context-specific independence in Bayesian networks","author":"Boutilier","year":"1996"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB8","series-title":"Proceedings AAAI-96","first-page":"1168","article-title":"Computing optimal policies for partially observable decision processes using compact representations","author":"Boutilier","year":"1996"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB9","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1111\/j.1467-8640.1992.tb00382.x","article-title":"Construction of belief and decision networks","volume":"8","author":"Breese","year":"1992","journal-title":"Comput. Intell."},{"key":"10.1016\/S0004-3702(97)00027-1_BIB10","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/JRA.1986.1087032","article-title":"A robust layered control system for a mobile robot","volume":"2","author":"Brooks","year":"1986","journal-title":"IEEE J. Robotics Automation"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB11","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB12","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1111\/j.1467-8640.1989.tb00324.x","article-title":"A model for reasoning about persistence and causation","volume":"5","author":"Dean","year":"1989","journal-title":"Comput. Intell."},{"key":"10.1016\/S0004-3702(97)00027-1_BIB13","author":"Dean","year":"1991"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB14","series-title":"Proceedings 2nd International Conference on AI Planning Systems","first-page":"31","article-title":"Probabilistic planning with information gathering and contingent execution","author":"Draper","year":"1994"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB15","author":"Fagin","year":"1994"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB16","series-title":"Proceedings IJCAI-95","first-page":"1878","article-title":"The BATmobile: towards a Bayesian automated taxi","author":"Forbes","year":"1995"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB17","author":"Fudenberg","year":"1992"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB18","series-title":"Proceedings 5th Logic Programming Symposium","first-page":"1070","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB19","article-title":"Representing Plans under Uncertainty: A Logic of Time, Chance, and Action","volume":"Vol. 770","author":"Haddawy","year":"1994"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB20","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","article-title":"An analysis of first-order logics of probability","volume":"46","author":"Halpern","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB21","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1145\/153724.153770","article-title":"Knowledge, probability and adversaries","volume":"40","author":"Halpern","year":"1993","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB22","series-title":"Influence Diagrams, Belief Nets and Decision Analysis","first-page":"3","article-title":"From influence to relevance to knowledge","author":"Howard","year":"1990"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB23","series-title":"The Principles and Applications of Decision Analysis","first-page":"720","article-title":"Influence diagrams","author":"Howard","year":"1981"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB24","series-title":"Proceedings AAAI-91","first-page":"360","article-title":"A logic and time nets for probabilistic inference","author":"Kanazawa","year":"1991"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB25","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1016\/0899-8256(92)90035-Q","article-title":"The complexity of two-person zero-sum games in extensive form","volume":"4","author":"Koller","year":"1992","journal-title":"Games and Economic Behavior"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB26","series-title":"Proceedings IJCAI-95","first-page":"1185","article-title":"Generating and solving imperfect information games","author":"Koller","year":"1995"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB27","article-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB28","article-title":"GOLOG: a logic programming language for dynamic domains","author":"Levesque","year":"1996","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB29","author":"Luenberger","year":"1979"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB30","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing common-sense knowledge","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB31","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"Vol. 4","author":"McCarthy","year":"1969"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB32","author":"Myerson","year":"1991"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB33","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0004-3702(91)90049-P","article-title":"Logic and artificial intelligence","volume":"47","author":"Nilsson","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB34","series-title":"Series in Probability and Mathematical Statistics","year":"1990"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB35","author":"Pearl","year":"1988"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB36","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","article-title":"Probabilistic Horn abduction and Bayesian networks","volume":"64","author":"Poole","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB37_1","article-title":"Abducing through negation as failure: stable models within the independent choice logic","author":"Poole","year":"1997"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB38","series-title":"Proceedings 11th Conference on Uncertainty in Artificial Intelligence (UAI-95)","first-page":"454","article-title":"Exploiting the rule structure for decision making within the independent choice logic","author":"Poole","year":"1995"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB39","series-title":"Proceedings IJCAI-95","first-page":"150","article-title":"Logic programming for robot control","author":"Poole","year":"1995"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB40","series-title":"Proceedings 12th Conference on Uncertainty in Artificial Intelligence (UAI-96)","first-page":"436","article-title":"A framework for decision-theoretic planning I: combining the situation calculus, conditional plans, probability and utility","author":"Poole","year":"1996"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB41_1","series-title":"Proceedings IJCAI-97","article-title":"Probabilistic partial evaluation: exploiting rule structure in probabilistic inference","author":"Poole","year":"1997"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB42","author":"Poole","year":"1997"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB43","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0004-3702(91)90013-A","article-title":"Three-valued nonmonotonic formalisms and semantics of logic programs","volume":"49","author":"Przymusinski","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB44","first-page":"331","article-title":"Markov decision processes","volume":"Vol. 2","author":"Puterman","year":"1990"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB45","series-title":"Artificial Intelligence and the Mathematical Theory of Computation: Papers in Honor of John McCarthy","first-page":"359","article-title":"The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression","author":"Reiter","year":"1991"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB46","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF00058680","article-title":"Learning decision lists","volume":"2","author":"Rivest","year":"1987","journal-title":"Machine Learning"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB47","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0004-3702(94)00056-7","article-title":"A situated view of representation and control","volume":"73","author":"Rosenschein","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB48","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1613\/jair.133","article-title":"Provably bounded-optimal agents","volume":"2","author":"Russell","year":"1995","journal-title":"J. Artif. Intell. Res."},{"key":"10.1016\/S0004-3702(97)00027-1_BIB49","unstructured":"L.J. Savage, The Foundation of Statistics (Dover, New York, 2nd ed., 19720."},{"key":"10.1016\/S0004-3702(97)00027-1_BIB50","series-title":"Knowledge Representation and Defeasble Reasoning","first-page":"23","article-title":"Monotonic solutions to the frame problem in the situation calculus: an efficient method for worlds with fully specified actions","author":"Schubert","year":"1990"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB51","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","article-title":"Agent-oriented programming","volume":"60","author":"Shoham","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB52","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1287\/opre.41.2.280","article-title":"Structuring conditional relationships in influence diagrams","volume":"41","author":"Smith","year":"1993","journal-title":"Oper. Res."},{"key":"10.1016\/S0004-3702(97)00027-1_BIB53","author":"von Neumann","year":"1953"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB54","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0888-613X(94)90026-4","article-title":"A computational theory of decision networks","volume":"11","author":"Zhang","year":"1994","journal-title":"International J. Approximate Reasoning"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB55","article-title":"A foundation for the design and analysis of robotic systems and behaviours","author":"Zhang","year":"1994"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB56","series-title":"Proceedings 10th Biennial Conference of the Canadian Society for Computational Studies of Intelligence","first-page":"255","article-title":"Will the robot do the right thing?","author":"Zhang","year":"1994"},{"key":"10.1016\/S0004-3702(97)00027-1_BIB57","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0304-3975(94)00149-D","article-title":"Constraint nets: a semantic model for hybrid dynamic systems","volume":"138","author":"Zhang","year":"1995","journal-title":"Theoret. Comput. Sci."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000271?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000271?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T15:18:21Z","timestamp":1580915901000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370297000271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":57,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["S0004370297000271"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(97)00027-1","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}