Computational Logic in Multi-Agent Systems
Michael Fisher, Fariba Sadri, Michael Thielscher
Computational Logic in Multi-Agent Systems - New York Springer US 2009 - Lecture Notes in Computer Science .
978-3-642-02734-5
Computer Science
Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Theory of Computation; Data Structures, Cryptology and Information Theory; Mathematics of Computing; Models and Principles
Computational Logic in Multi-Agent Systems - New York Springer US 2009 - Lecture Notes in Computer Science .
978-3-642-02734-5
Computer Science
Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Theory of Computation; Data Structures, Cryptology and Information Theory; Mathematics of Computing; Models and Principles