Title: Computational Logic in Multi-Agent Systems
Subjects: Computer science, Artificial intelligence, Software engineering, Information Systems Applications (incl. Internet), Artificial Intelligence (incl. Robotics), Logic design, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs