Switch to: References

Add citations

You must login to add citations.
  1. Agent strands in the action language n C +.Robert Craven & Marek Sergot - 2008 - Journal of Applied Logic 6 (2):172-191.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A communication algorithm for teamwork in multi-agent environments.Egon van Baars & Rineke Verbrugge - 2009 - Journal of Applied Non-Classical Logics 19 (4):431-461.
    Using a knowledge-based approach, we derive a protocol, MACOM1, for the sequence transmission problem from one agent to a group of agents. The protocol is correct for communication media where deletion and reordering errors may occur. Furthermore, it is shown that after k rounds the agents in the group attain depth k general knowledge about the members of the group and the values of the messages. Then, we adjust this algorithm for multi-agent communication for the process of teamwork. MACOM1 solves (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams.Franco Raimondi & Alessio Lomuscio - 2007 - Journal of Applied Logic 5 (2):235-251.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Bounded model checking real-time multi-agent systems with clock differences: theory and implementation.Alessio Lomuscio, Bożena Woźna & Andrzej Zbrzezny - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 95--112.
    Download  
     
    Export citation  
     
    Bookmark