Computational Logic in Multi-Agent Systems - Dix, Jürgen; Governatori, Guido; Jamroga, Wojtek; Kanade, Takeo; Leite, João (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Artificial Intelligence