Title: Logics in AI
Subjects: Artificial intelligence, Congresses, Data processing, Logic programming, Nonclassical mathematical logic, Semantics, Symbolic and mathematical Logic, Logic, symbolic and mathematical