PLASMA: Combining Predicate Logic and Probability for Information Fusion and Decision Support

presented at AAAI Spring Symposium on Challenges to Decision Support in a Changing World, 2005

[1]  Pierre-Henri Wuillemin,et al.  Object Oriented Bayesian Networks A Framework for Topdown Specification of Large Bayesian Networks a , 2000 .

[2]  E. Bonabeau,et al.  Self-organization in social insects. , 1997, Trends in ecology & evolution.

[3]  Richard Murch,et al.  Autonomic Computing , 2004 .

[4]  Marvin S. Cohen,et al.  Metarecognition in Time-Stressed Decision Making: Recognizing, Critiquing, and Correcting , 1996, Hum. Factors.

[5]  Christopher A. Rouff,et al.  A Tool for Requirements-Based Programming , 2005 .

[6]  Kathryn B. Laskey,et al.  Network Fragments: Representing Knowledge for Constructing Probabilistic Models , 1997, UAI.

[7]  Balaram Das.  Representing Uncertainties Using Bayesian Networks , 1999 .

[8]  Taisuke Sato.  Modeling Scienti c Theories as PRISM Programs , 2007 .

[9]  K. Rose,et al.  Panel Session , 2005, ICDM.

[10]  D. Bamber.  How Probability Theory Can Help Us Design Rule-Based Systems , 1998 .

[11]  W. J. Kubitz,et al.  Biting the silver bullet: toward a brighter future for system development , 1992 .

[12]  E. Jaynes.  Probability theory : the logic of science , 2003 .

[13]  Kathryn B. Laskey,et al.  Limited Rationality in Action: Decision Support for Military Situation Assessment , 2000, Minds and Machines.

[14]  Walter Truszkowski,et al.  NASA's Swarm Missions: The Challenge of Building Autonomous Software , 2004, IT Prof..

[15]  Walter Truszkowski,et al.  Some autonomic properties of two legacy multi-agent systems - LOGOS and ACT , 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

[16]  David Harel,et al.  On visual formalisms , 1988, CACM.

[17]  Joseph Y. Halpern,et al.  From Statistical Knowledge Bases to Degrees of Belief , 1996, Artif. Intell..

[18]  Jared Freeman,et al.  Metarecognition in Time-Stressed Decision Making: Recognizing, Critiquing, and Correcting , 1996, Hum. Factors.

[19]  David Heckerman,et al.  Probabilistic Models for Relational Data , 2004 .

[20]  M.G. Hinchey,et al.  Autonomous and autonomic systems: a paradigm for future space exploration missions , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[21]  Robert P. Goldman,et al.  From knowledge bases to decision models , 1992, The Knowledge Engineering Review.

[22]  Fabrice Kordon,et al.  Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System , 2000, FAABS.

[23]  Harold W. Lawson.  Rebirth of the computer industry , 2002, CACM.

[24]  Kevin Lano,et al.  Specification in B: An Introduction Using the B Toolkit , 1996 .

[25]  Roy Sterritt,et al.  Why computer-based systems should be autonomic , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[26]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[27]  Bill Stoddart,et al.  An operational semantics for ZCCS , 1997, First IEEE International Conference on Formal Engineering Methods.

[28]  Christopher A. Rouff,et al.  Formal requirements-based programming for complex systems , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[29]  Jim Gray,et al.  What Next? A Few Remaining Problems in Information Technology , 1998, ACM SIGMOD Conference.

[30]  Christopher A. Rouff,et al.  Towards an automated development methodology for dependable systems with application to sensor networks , 2005, PCCC 2005. 24th IEEE International Performance, Computing, and Communications Conference, 2005..

[31]  Kathryn B. Laskey.  MEBN: A Logic for Open-World Probabilistic Reasoning , 2006 .

[32]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[33]  Avi Pfeffer,et al.  Object-Oriented Bayesian Networks , 1997, UAI.