Author:
Donini Francesco M.,Massacci Fabio,Nardi Daniele,Rosati Riccardo
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. G. Amati, L. Carlucci Aiello, D. Gabbay, and F. Pirri. A proof theoretical approach to default reasoning I: Tableaux for default logic. J. of Logic and Computation, 1995.
2. F. Baader and B. Hollunder. Embedding defaults into terminological knowledge representation formalisms. JAR, 14:149–180, 1995.
3. L. Catach. TABLEAUX, a general theorem prover for modal logics. JAR, 7:489–510, 1991.
4. F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt, and A. Schaerf. Adding epistemic operators to concept languages. In Proc. of KR-92, pages 342–353. 1992.
5. F. M. Donini, D. Nardi, and R. Rosati. Ground nonmonotonic modal logics for knowledge representation. In Proc. of WOCFAI-95, pages 133–144. Angkor, 1995.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献