Coherent Composition of Distributed Knowledge-Bases Through Abduction

Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe. Coherent Composition of Distributed Knowledge-Bases Through Abduction. In Robert Nieuwenhuis, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Volume 2250 of Lecture Notes in Computer Science, pages 624-638, Springer, 2001. [doi]

Authors

Ofer Arieli

This author has not been identified. Look up 'Ofer Arieli' in Google

Bert Van Nuffelen

This author has not been identified. Look up 'Bert Van Nuffelen' in Google

Marc Denecker

This author has not been identified. Look up 'Marc Denecker' in Google

Maurice Bruynooghe

This author has not been identified. It may be one of the following persons: Look up 'Maurice Bruynooghe' in Google