Author:
Papacchini Fabio,Schmidt Renate A.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Baader, F.: Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In: IJCAI 2003, pp. 319–324. Morgan Kaufmann (2003)
2. Lecture Notes in Computer Science;P. Baumgartner,1996
3. Lecture Notes in Artificial Intelligence;F. Bry,1998
4. Bry, F., Yahya, A.: Positive unit hyperresolution tableaux and their application to minimal model generation. J. Automated Reasoning 25(1), 35–82 (2000)
5. Clarke, E.M., Schlingloff, B.: Model checking. In: Handbook of Automated Reasoning, pp. 1635–1790. Elsevier (2001)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献