The independent choice logic for modelling multiple agents under uncertainty

Albus, 1981 Apt, 1991, Acyclic programs, New Generation Comput., 9, 335, 10.1007/BF03037168 Bacchus, 1990 Bacchus, 1996, From statistical knowledge bases to degrees of belief, Artificial Intelligence, 87, 75, 10.1016/S0004-3702(96)00003-3 Boutilier, 1995, Exploiting structure in policy construction, 1104 Boutilier, 1995, Nondeterministic actions and the frame problem Boutilier, 1996, Context-specific independence in Bayesian networks, 115 Boutilier, 1996, Computing optimal policies for partially observable decision processes using compact representations, 1168 Breese, 1992, Construction of belief and decision networks, Comput. Intell., 8, 624, 10.1111/j.1467-8640.1992.tb00382.x Brooks, 1986, A robust layered control system for a mobile robot, IEEE J. Robotics Automation, 2, 14, 10.1109/JRA.1986.1087032 Clark, 1978, Negation as failure, 293 Dean, 1989, A model for reasoning about persistence and causation, Comput. Intell., 5, 142, 10.1111/j.1467-8640.1989.tb00324.x Dean, 1991 Draper, 1994, Probabilistic planning with information gathering and contingent execution, 31 Fagin, 1994 Forbes, 1995, The BATmobile: towards a Bayesian automated taxi, 1878 Fudenberg, 1992 Gelfond, 1988, The stable model semantics for logic programming, 1070 Haddawy, 1994, Representing Plans under Uncertainty: A Logic of Time, Chance, and Action, Vol. 770 Halpern, 1990, An analysis of first-order logics of probability, Artificial Intelligence, 46, 311, 10.1016/0004-3702(90)90019-V Halpern, 1993, Knowledge, probability and adversaries, J. ACM, 40, 917, 10.1145/153724.153770 Howard, 1990, From influence to relevance to knowledge, 3 Howard, 1981, Influence diagrams, 720 Kanazawa, 1991, A logic and time nets for probabilistic inference, 360 Koller, 1992, The complexity of two-person zero-sum games in extensive form, Games and Economic Behavior, 4, 528, 10.1016/0899-8256(92)90035-Q Koller, 1995, Generating and solving imperfect information games, 1185 Kowalski, 1979, Logic for Problem Solving Levesque, 1996, GOLOG: a logic programming language for dynamic domains, J. Logic Programming Luenberger, 1979 McCarthy, 1986, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence, 28, 89, 10.1016/0004-3702(86)90032-9 McCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, Vol. 4, 463 Myerson, 1991 Nilsson, 1991, Logic and artificial intelligence, Artificial Intelligence, 47, 31, 10.1016/0004-3702(91)90049-P 1990 Pearl, 1988 Poole, 1993, Probabilistic Horn abduction and Bayesian networks, Artificial Intelligence, 64, 81, 10.1016/0004-3702(93)90061-F Poole, 1997, Abducing through negation as failure: stable models within the independent choice logic Poole, 1995, Exploiting the rule structure for decision making within the independent choice logic, 454 Poole, 1995, Logic programming for robot control, 150 Poole, 1996, A framework for decision-theoretic planning I: combining the situation calculus, conditional plans, probability and utility, 436 Poole, 1997, Probabilistic partial evaluation: exploiting rule structure in probabilistic inference Poole, 1997 Przymusinski, 1991, Three-valued nonmonotonic formalisms and semantics of logic programs, Artificial Intelligence, 49, 309, 10.1016/0004-3702(91)90013-A Puterman, 1990, Markov decision processes, Vol. 2, 331 Reiter, 1991, The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression, 359 Rivest, 1987, Learning decision lists, Machine Learning, 2, 229, 10.1007/BF00058680 Rosenschein, 1995, A situated view of representation and control, Artificial Intelligence, 73, 149, 10.1016/0004-3702(94)00056-7 Russell, 1995, Provably bounded-optimal agents, J. Artif. Intell. Res., 2, 575, 10.1613/jair.133 L.J. Savage, The Foundation of Statistics (Dover, New York, 2nd ed., 19720. Schubert, 1990, Monotonic solutions to the frame problem in the situation calculus: an efficient method for worlds with fully specified actions, 23 Shoham, 1993, Agent-oriented programming, Artificial Intelligence, 60, 51, 10.1016/0004-3702(93)90034-9 Smith, 1993, Structuring conditional relationships in influence diagrams, Oper. Res., 41, 280, 10.1287/opre.41.2.280 von Neumann, 1953 Zhang, 1994, A computational theory of decision networks, International J. Approximate Reasoning, 11, 83, 10.1016/0888-613X(94)90026-4 Zhang, 1994, A foundation for the design and analysis of robotic systems and behaviours Zhang, 1994, Will the robot do the right thing?, 255 Zhang, 1995, Constraint nets: a semantic model for hybrid dynamic systems, Theoret. Comput. Sci., 138, 211, 10.1016/0304-3975(94)00149-D