Author:
Schlicht Anne,Stuckenschmidt Heiner
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Bachmair, L., Ganzinger, H., Lynch, C., Snyder, W.: Basic paramodulation. Inf. Comput. 121(2), 172–192 (1995)
2. Lecture Notes in Computer Science;M.P. Bonacina,1997
3. Bonacina, M.P.: A taxonomy of parallel strategies for deduction. Annals of Mathematics and Artificial Intelligence 29(1–4), 223–257 (2001) (Published in February 2001)
4. Bonacina, M.P., Hsiang, J.: Parallelization of deduction strategies: An analytical study. J. Autom. Reasoning 13(1), 1–33 (1994)
5. Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics 1, 153–184 (2003)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献