Author:
Aiello Luigia Carlucci,Nardi Daniele,Schaerf Marco
Publisher
Springer Science and Business Media LLC
Reference33 articles.
1. R.W. Weyhrauch, ?An example of FOL using meta-theory: Formalizing reasoning systems and introducing derived inference rules,? Proc. of CADE 82, edited by D.W. Loveland, LCNS 138, Springer Verlag: 1982, pp. 151?158.
2. R.W. Weyhrauch, ?Prolegomena to a theory of mechanized formal reasoning?, Artificial Intelligence, vol. 13(1), pp. 133?170, 1980.
3. L. Aiello, D. Nardi, and M. Schaerf, ?Yet another solution to the three wisemen puzzle,? Proc. of ISMIS 88, 1988, edited by Z. Ras and L. Saitta, pp. 398?407.
4. L. Aiello, D. Nardi, and M. Schaerf, ?Reasoning about knowledge and ignorance,? Proc. of FGCS 88, 1988, pp. 618?627.
5. L. Fariñas del Cerro, ?MOLOG: a system for modal logics,? New Generation Computing, 1986.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献