Title: Logics in artificial intelligence
Subjects: Congresses, Symbolic and mathematical Logic, Artificial intelligence