Distributed First Order Logic

Autor: Ghidini, Chiara, Serafini, Luciano
Zdroj: In Artificial Intelligence December 2017 253:1-39
Databáze: ScienceDirect