Title: Logics in Artificial Intelligence
Subjects: Mathematical Logic and Formal Languages, Computer Imaging, Vision, Pattern Recognition and Graphics, Programming Techniques, Information organization, Information storage and retrieval systems, Information retrieval, Logic design, Computer vision, Logics and Meanings of Programs, Computer science, Artificial intelligence, Artificial Intelligence (incl. Robotics), Congresses, Symbolic and mathematical Logic