Author:
Lucio Paqui,Orejas Fernando,Pasarella Edelmira,Pino Elvira
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Aĺvez, J., Lucio, P., Orejas, F.: Constructive negation by bottom-up computation of literal answers. In: Proc. 20004 ACM Symp. on Applied Computing, pp. 1468–1475 (2004)
2. Lecture Notes in Computer Science;J.A. Bergstra,1981
3. Carnielli, W.A.: Sistematization of finite many-valued logics through the method of tableaux. J. of Symbolic Logic 52(2), 473–493 (1987)
4. Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293–322. Plenum Press, New York (1978)
5. Drabent, W.: What is a failure? An approach to constructive negation. Acta Informática 32, 27–59 (1995)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献