Observation-Based Logic of Knowledge, Belief, Desire and Intention
暂无分享,去创建一个
Mehmet A. Orgun | Abdul Sattar | Kaile Su | Xiangyu Luo | Weiya Yue | M. Orgun | A. Sattar | Kaile Su | W. Yue | Xiangyu Luo
[1] Guido Governatori,et al. Observation-based Model for BDI-Agents , 2005, AAAI.
[2] Joseph Y. Halpern,et al. The complexity of reasoning about knowledge and time , 1986, STOC '86.
[3] Koen V. Hindriks,et al. Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.
[4] Alessio Lomuscio,et al. Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
[5] Thomas A. Henzinger,et al. Alternating-time temporal logic , 2002, JACM.
[6] Rohit Parikh,et al. An Elementary Proof of the Completness of PDL , 1981, Theor. Comput. Sci..
[7] Kaile Su,et al. Symbolic model checking the knowledge of the dining cryptographers , 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
[8] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[9] Anand S. Rao,et al. Decision Procedures for BDI Logics , 1998, J. Log. Comput..
[10] Andreas Podelski,et al. ACSAR: Software Model Checking with Transfinite Refinement , 2007, SPIN.
[11] Joseph Y. Halpern,et al. A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols , 1992, JACM.
[12] Alessandro Cimatti,et al. Symbolic Model Checking for Multi-Agent Systems , 2007 .
[13] Michael Wooldridge,et al. Model Checking Knowledge and Time , 2002, SPIN.
[14] Anand S. Rao,et al. A Model-Theoretic Approach to the Verification of Situated Reasoning Systems , 1993, IJCAI.
[15] Yoav Shoham. Agent-Oriented Programming , 1993, Artif. Intell..
[16] Anand S. Rao,et al. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.
[17] Michael Wooldridge,et al. Computationally grounded theories of agency , 2000, Proceedings Fourth International Conference on MultiAgent Systems.
[18] Klaus Schild. On the Relationship Between BDI Logics and Standard Logics of Concurrency , 2004, Autonomous Agents and Multi-Agent Systems.
[19] Wil M. P. van der Aalst,et al. Applications and Theory of Petri Nets 2003 , 2003, Lecture Notes in Computer Science.
[20] Michael Wooldridge,et al. Model checking agentspeak , 2003, AAMAS '03.
[21] Luc Devroye,et al. Distances and Finger Search in Random Binary Search Trees , 2004, SIAM J. Comput..
[22] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[23] Joseph Y. Halpern,et al. Complete Axiomatizations for Reasoning about Knowledge and Time , 2002, SIAM J. Comput..
[24] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .
[25] Hector J. Levesque,et al. Intention is Choice with Commitment , 1990, Artif. Intell..
[26] Michael Wooldridge,et al. Tractable multiagent planning for epistemic goals , 2002, AAMAS '02.
[27] Rino Falcone,et al. Trust, Reputation, and Security: Theories and Practice , 2003, Lecture Notes in Computer Science.
[28] Walter Van de Velde,et al. Agents Breaking Away , 1996, Lecture Notes in Computer Science.
[29] Kaile Su,et al. Model Checking Temporal Logics of Knowledge in Distributed Systems , 2004, AAAI.