Author:
Trivela Despoina,Stoilos Giorgos,Chortaras Alexandros,Stamou Giorgos
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Hardware and Architecture,Human-Computer Interaction,Information Systems,Software
Reference46 articles.
1. Artale A, Calvanese D, Kontchakov R, Zakharyaschev M (2009) The DL-Lite family and relations. J Artif Intell Res 36:1–69
2. Baader F, McGuinness DL, Nardi D, Patel-Schneider PF (2002) The description logic handbook: theory, implementation and applications. Cambridge University Press, Cambridge
3. Bachmair L, Ganzinger H (1998) Strict basic superposition. In: Proceedings of automated deduction, Springer, pp 160–174
4. Bachmair L, Ganzinger H (2001) Resolution theorem proving. Handbook of automated reasoning. Elsevier, USA, pp 19–99
5. Bachmair L, Ganzinger H, Lynch C, Snyder W (1995) Basic paramodulation. Inf Comput 121(2):172–192
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献