
Computational Logic in Multi-Agent Systems
Subjects
Mathematical Logic and Formal LanguagesSoftware engineeringLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersArtificial intelligenceArtificial Intelligence (incl. Robotics)