Author:
Bonatti P. A.,Olivetti N.
Publisher
Springer Berlin Heidelberg
Reference47 articles.
1. G. Amati, L. Carlucci Aiello, D. Gabbay, F. Pirri. A proof theoretical approach to default reasoning I: tableaux for default logic. Journal of Logic and Computation, 6(2):205–231, 1996.
2. C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian. Implementing stable semantics by linear programming. In [38].
3. A. Bochman. On the relation between default and modal consequence relations. In Proc. of KR'94, 63–74, Morgan Kaufmann, 1994.
4. LNAI 1071;P.A. Bonatti,1996
5. P.A. Bonatti. Autoepistemic logic programming. Journal of Automated Reasoning, 13:35–67, 1994.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献