Howard A. Blair (blair-ha)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Apt, Krzysztof R. and Blair, Howard A. 1990. “Arithmetic Classification of Perfect Models of Stratified Logic Programs.” Fundamenta Informaticae 13: 1–17. Addenda in Vol. 14, pp. 339–441, 1991. .
Apt, Krzysztof R., Blair, Howard A. and Walker, Adrian. 1988. “Towards a Theory of Declarative Knowledge.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 89–148. San Francisco, California: Morgan Kaufmann Publishers.
Blair, Howard A. and Subramanian, V. S. 1987. “Paraconsistent Logic Programming.” Theoretical Computer Science 68: 127–158.