Author:
Publication: Artificial Intelligence
Common Sense, The Turing Test, and The Quest for Real AI, Hector Levesque, The MIT Press (2017), 142
Distributed First Order Logic