Publication:3391906

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68T27: Logic in artificial intelligence

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68T40: Artificial intelligence for robotics

68Txx: Artificial intelligence