Abstract
Distributed First Order Logic (DFOL) has been introduced more than ten years ago with the purpose of formalising distributed knowledge-based systems, ......
小提示:本篇文献需要登录阅读全文,点击跳转登录