A complete first-order temporal BDI logic for forest multi-agent systems
暂无分享,去创建一个
Wei Wu | Lijun Wu | Abdul Sattar | Kaile Su | Jinshu Su | Qingliang Chen | A. Sattar | Wei Wu | Kaile Su | Lijun Wu | Jinshu Su | Qingliang Chen
[1] Mieczyslaw Metzger,et al. Multi-Agent System for Hierarchical Control with Self-organising Database , 2007, KES-AMSTA.
[2] Kaile Su,et al. Symbolic model checking the knowledge of the dining cryptographers , 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
[3] Ron van der Meyden,et al. Axioms for Knowledge and Time in Distributed Systems with Perfect Recall , 1994, LICS.
[4] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[5] Alessio Lomuscio,et al. MCMAS: A Model Checker for the Verification of Multi-Agent Systems , 2009, CAV.
[6] Anand S. Rao,et al. Decision Procedures for BDI Logics , 1998, J. Log. Comput..
[7] W. van der Hoek,et al. Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.
[8] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[9] Jamal Bentahar,et al. CRM : An efficient trust and reputation model for agent computing , 2011 .
[10] Alessandro Cimatti,et al. Symbolic Model Checking for Multi-Agent Systems , 2007 .
[11] Michael Wooldridge,et al. Model Checking Knowledge and Time , 2002, SPIN.
[12] Alessio Lomuscio,et al. Quantified epistemic logics for reasoning about knowledge in multi-agent systems , 2009, Artif. Intell..
[13] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.
[14] René Mandiau,et al. Roles and Hierarchy in Multi-agent Organizations , 2005, CEEMAS.
[15] Jamal Bentahar,et al. On the verification of social commitments and time , 2011, AAMAS.
[16] Alessio Lomuscio,et al. First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment , 2009, Fundam. Informaticae.
[17] Guido Governatori,et al. Observation-based Model for BDI-Agents , 2005, AAAI.
[18] Hector J. Levesque,et al. Intention is Choice with Commitment , 1990, Artif. Intell..
[19] Michael Wooldridge,et al. Intelligent agents: theory and practice The Knowledge Engineering Review , 1995 .
[20] Lijun Wu,et al. A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems , 2010, Knowl. Based Syst..
[21] Elke Pulvermüller,et al. Developer-friendly verification of process-based systems , 2010, Knowl. Based Syst..
[22] Joseph Y. Halpern,et al. Complete Axiomatizations for Reasoning about Knowledge and Time , 2002, SIAM J. Comput..
[23] Jamal Bentahar,et al. Symbolic Model Checking Commitment Protocols Using Reduction , 2010, DALT.
[24] Nicholas R. Jennings,et al. Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..
[25] Jamal Bentahar,et al. Model checking communicative agent-based systems , 2007, Knowl. Based Syst..
[26] Michael Zakharyaschev,et al. Modal Logic , 1997, Oxford logic guides.
[27] Kaile Su,et al. Model Checking Temporal Logics of Knowledge in Distributed Systems , 2004, AAAI.
[28] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[29] Auke Jan Ijspeert,et al. MODEM: a multi-agent hierarchical structure to model the human motor control system , 2009, Biological Cybernetics.
[30] Anand S. Rao,et al. A Model-Theoretic Approach to the Verification of Situated Reasoning Systems , 1993, IJCAI.
[31] Alessio Lomuscio,et al. Automatic Verification of Knowledge and Time with NuSMV , 2007, IJCAI.
[32] Alessio Lomuscio,et al. Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems , 2010, KR.
[33] Yoram Moses,et al. Knowledge and the Logic of Local Propositions , 1998, TARK.
[34] Nicholas R. Jennings,et al. Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.
[35] Frank Wolter,et al. Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.