Author:
Giordano Laura,Martelli Alberto,Schwind Camilla
Subject
Applied Mathematics,Logic
Reference37 articles.
1. M. Alberti, D. Daolio, P. Torroni, M. Gavanelli, E. Lamma, P. Mello, Specification and verification of agent interaction protocols in a logic-based system, in: SAC'04, 2004, pp. 72–78
2. Planning for temporally extended goals;Bacchus;Ann. Math. AI,1998
3. Model checking multiagent systems;Benerecetti;J. Logic Comput.,1998
4. R. Bordini, M. Fisher, C. Pardavila, M. Wooldridge, Model checking AgentSpeak, in: AAMAS 2003, 2003, pp. 409–416
5. R. Bordini, M. Fisher, W. Visser, M. Wooldridge, State-space reduction techniques in agent verification, in: AAMAS 2004, 2004, pp. 894–901
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献