Author:
Blair Howard A.,Subrahmanian V. S.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Anand,R.,Subrahmanian,V.S.(1987) FLOG: A Logic programming system based on a six-valued logic, Proc. AAAI Intl. Symp. on Knowledge Engg., Madrid, Spain, April 1987.
2. Apt,K.,Blair,H,Walker,A.(1986) Towards a theory of declarative knowledge, to appear.
3. Arruda,A.I.(1979) A Survey of paraconsistent logic, in Mathematical Logic in Latin America, (eds. Arruda,A.I., Chuaqui,R.,Da Costa,N.C.A.) Proc. 4th Latin American Symp. on Math. Logic, Santiago, Dec. 1978, pps. 1–41, D.Reidel.
4. Barbuti,R., Martelli,M. (1986) Completeness of the SLDNF-resolution for a class of logic programs, Proc. Intl. Symp. on Logic Prog., London, Lecture Notes in Computer Science No.225, (ed.Shapiro,E.), pps 600–614.
5. Barbuti,R., Martelli,M. (1986) Completeness of SLDNF-resolution for structured programs, submitted for publication.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献