COMPLETE DISTRIBUTED CONSEQUENCE FINDING WITH MESSAGE PASSING Topics: Distributed Problem Solving; Logic Programming; Multi-Agent Systems In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 134-143, 2011 , Rome, Italy