Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference21 articles.
1. Akama, S., “Constructive predicate logic with strong negation and model theory,” Notre Dame Journal of Formal Logic, 29(1), pp. 18-27, 1988.
2. Donini, F.M., “Complexity of reasoning,” in Description Logic Handbook, pp. 96-136, 2003.
3. Halpern, J. Y. and Moses, Y., “A guide to completeness and complexity for model logics of knowledge and belief,” Artificial Intelligence, 54(3), pp. 319-379, April 1992.
4. Herre, H., Jaspars, J. and Wagner, G., “Partial logics with two kinds of negation as a foundation for knowledge-based reasoning,” in What is Negation (Gabbay, D.M. and Wansing, H. eds.), pp. 121-159, Kluwer Academic Publishers, 1999.
5. Hollunder, B., Nutt, W. and Schmidt-Scha, “Subsumption algorithms for concept description languages,” in Proc. of ECAI-90, 9th European Conf. on Artificial Intelligence, pp. 348-353, 1990.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献