A verification framework for agent knowledge

• المؤلفون الرئيسيون: Dong, J.S., Feng, Y., Leung, H.-F.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: 2013
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/40074

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)