Logic-Based Agent Verification
โ
Michael Fisher; Munindar Singh; Diana Spears; Mike Wooldridge
๐
Article
๐
2007
๐
Elsevier Science
๐
English
โ 82 KB
## Logic-Based Agent Verification The multi-agent paradigm has become increasingly prevalent in computer science. Such popularity is due to its ability to capture social, economic, and other relevant interactions within a task. To meet the increasing demand for multi-agent systems, substantial prog