Agents dealing with time and uncertainty
暂无分享,去创建一个
[1] V. S. Subrahmanian,et al. Heterogeneous Active Agents, I: Semantics , 1999, Artif. Intell..
[2] Dov M. Gabbay,et al. METATEM: A Framework for Programming in Temporal Logic , 1989, REX Workshop.
[3] V. S. Subrahmanian,et al. Heterogeneous Active Agents , 1998 .
[4] Didier Dubois,et al. Towards Possibilistic Logic Programming , 1991, ICLP.
[5] R. K. Shyamasundar,et al. Introduction to algorithms , 1996 .
[6] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[7] Gai CarSO. A Logic for Reasoning about Probabilities * , 2004 .
[8] Jürgen Dix,et al. Temporal agent programs , 2001, Artif. Intell..
[9] Edmund H. Durfee,et al. A Logic of Knowledge and Belief for Recursive Modeling: A Preliminary Report , 1992, AAAI.
[10] Saharon Shelah,et al. Reasoning with Time and Chance , 1982, Inf. Control..
[11] J. Carbonell,et al. Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action , 1994 .
[12] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[13] George Boole,et al. The Laws of Thought , 2003 .
[14] Thomas L. Dean,et al. Probabilistic Temporal Reasoning , 1988, AAAI.
[15] Michael Fisher,et al. A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.
[16] Edmund H. Durfee,et al. A decision-theoretic approach to coordinating multiagent interactions , 1991, IJCAI 1991.
[17] Dov M. Gabbay,et al. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .
[18] Sarit Kraus,et al. Preliminary thoughts on an agent description language , 1991, Int. J. Intell. Syst..
[19] Keiji Kanazawa,et al. A Logic and Time Nets for Probabilistic Inference , 1991, AAAI.
[20] H. Prade,et al. Possibilistic logic , 1994 .
[21] Laks V. S. Lakshmanan,et al. ProbView: a flexible probabilistic database system , 1997, TODS.
[22] Jürgen Dix,et al. Probabilistic agent programs , 1999, TOCL.
[23] E. Sandewall. Features and fluents (vol. 1): the representation of knowledge about dynamical systems , 1995 .
[24] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[25] Erik Sandewall. Features and fluents : representation of knowledge about dynamical systems , 1994 .