Artificial Intelligence, Automated Reasoning, and Symbolic ComputationJacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge · First published 2006Open the Tome
Distributed constraint problem solving and reasoning in multi-agent systemsWeixiong Zhang, Volker Sorge, International Joint Conference on Artifi · First published 2004Open the Tome
