Baidu
map

Distributed First Order Logic

Ghidini, C; Serafini, L

Ghidini, C (reprint author), Fdn Bruno Kessler, I-38100 Trento, Italy.

ARTIFICIAL INTELLIGENCE, 2017; 253 ( ): 1

Abstract

Distributed First Order Logic (DFOL) has been introduced more than ten years ago with the purpose of formalising distributed knowledge-based systems, ......

Full Text Link


Baidu
map
Baidu
map
Baidu
map