@Book{ dixleisat03, editor = {J\"{u}rgen Dix and Joao Leite and Ken Satoh}, title = {{C}omputational {L}ogic and {M}ulti {A}gency}, publisher = {Baltzer Science Publishers}, series = {{S}pecial Issue of the Annals in Mathematics and Artificial Intelligence}, volume = {}, number = {}, year = {2004} }