A complete first-order temporal BDI logic for forest multi-agent systems

✍ Scribed by Lijun Wu; Kaile Su; Abdul Sattar; Qingliang Chen; Jinshu Su; Wei Wu

• Book ID: 113771843
• Publisher: Elsevier Science
• Year: 2012
• Tongue: English
• Weight: 259 KB
• Volume: 27
• Category: Article
• ISSN: 0950-7051
• DOI: 10.1016/j.knosys.2011.11.006