Title: Logics in Artificial Intelligence
Subjects: Artificial intelligence, Logic, symbolic and mathematical, Database management, Information retrieval, Information organization, Artificial Intelligence (incl. Robotics), Computer science, Logic design, Information storage and retrieval systems, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Techniques