Coherent Composition of Distributed Knowledge-Bases Through Abduction.

Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe

Browse the full LPAR paper archive.