%0 Conference Paper %1 conf/lpar/ArieliNDB01 %A Arieli, Ofer %A Nuffelen, Bert Van %A Denecker, Marc %A Bruynooghe, Maurice %B LPAR %D 2001 %E Nieuwenhuis, Robert %E Voronkov, Andrei %I Springer %K dblp %P 624-638 %T Coherent Composition of Distributed Knowledge-Bases Through Abduction. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2001.html#ArieliNDB01 %V 2250 %@ 3-540-42957-3

@inproceedings{conf/lpar/ArieliNDB01, added-at = {2024-02-05T00:00:00.000+0100}, author = {Arieli, Ofer and Nuffelen, Bert Van and Denecker, Marc and Bruynooghe, Maurice}, biburl = {https://www.bibsonomy.org/bibtex/250bbc766471e3483c86c023d120ef5da/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2001}, editor = {Nieuwenhuis, Robert and Voronkov, Andrei}, ee = {https://doi.org/10.1007/3-540-45653-8_43}, interhash = {ff6ae37e21e774f033e5507f13baae7a}, intrahash = {50bbc766471e3483c86c023d120ef5da}, isbn = {3-540-42957-3}, keywords = {dblp}, pages = {624-638}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:00.000+0200}, title = {Coherent Composition of Distributed Knowledge-Bases Through Abduction.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2001.html#ArieliNDB01}, volume = 2250, year = 2001 }