User defined monitoring strategies for BDI agent programs
暂无分享,去创建一个
[1] Anand S. Rao,et al. Decision Procedures for BDI Logics , 1998, J. Log. Comput..
[2] Rafael H. Bordini,et al. Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.
[3] Abdul Sattar,et al. Reasoning about Success and Failure in Intentional Agents , 2005, PRIMA.
[4] Álvaro F. Moreira,et al. Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L) , 2004, Annals of Mathematics and Artificial Intelligence.
[5] Álvaro F. Moreira,et al. Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication , 2003, DALT.
[6] Michael Luck,et al. Engineering AgentSpeak(L): A Formal Computational Model , 1998, J. Log. Comput..
[7] Michael E. Bratman,et al. Intention, Plans, and Practical Reason , 1991 .
[8] A. S. Roa,et al. AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .
[9] Abdul Sattar,et al. Reasoning with the Outcomes of Plan Execution in Intentional Agents , 2005, Australian Conference on Artificial Intelligence.
[10] Michael Wooldridge,et al. Model checking agentspeak , 2003, AAMAS '03.