1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... on Computational Logic -- Using Antimodels to Define Agents’ Strategy -- Multi-Agent FLUX for the Gold Mining...

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... in Computational Logic: Challenges andOutcomes of the SOCS Project...