Computational Logic in Multi-Agent Systems - Hutchison, David; Kanade, Takeo; Dastani, Mehdi; Governatori, Guido; van der Torre, Leon (Springer Berlin Heidelberg, 2012)
Keywords: Information Technology -- Artificial Intelligence