Title: Logics in artificial intelligence
Subjects: Congresses, Symbolic and mathematical Logic, Artificial intelligence, Logic design, Information systems, Computer science, Software engineering, Algebra, Data processing, Logic, symbolic and mathematical