Donald W. Loveland (loveland)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Loveland, Donald W. 1991. “Near-Horn Prolog and Beyond.” Journal of Automated Reasoning 7: 1–26.
Loveland, Donald W., ed. 1992. Proceedings of the 6th Conference on Automated Deduction. Lecture Notes in Computer Science. Berlin: Springer.
Loveland, Donald W., Hodel, Richard E. and Sterrett, Susan G. 2014. Three Views of Logic: Mathematics, Philosophy, and Computer Science. Princeton, New Jersey: Princeton University Press.
Loveland, Donald W. and Nadathur, Gopalan. 1998. “Proof Procedures for Logic Programming.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 163–234. Oxford: Oxford University Press.
Reed, David W., Loveland, Donald W. and Smith, Bruce T. 1992. “The Near-Horn Approach to Disjunctive Logic Programming.” in ELP’91. Proceedings of the 2nd International Workshop on Extensions of Logic Programming, edited by Lars-Henrik Eriksson, Lars Hallnäs, and Peter Schröder-Heister. Berlin: Springer.