Jürgen Dix, Michael Fisher, Peter Novák Computational Logic in Multi-Agent Systems - Germany Springer 2010 ISBN: 978-3-642-16867-3 Subjects--Topical Terms: Computational Logic in Multi-Agent SystemsComputer Science