Jörg H. Siekmann (siekmann)

Contributi a Philosophie.ch

Bibliography

Baader, Franz and Siekmann, Jörg H. 1994. “Unification Theory.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 41–126. Oxford: Oxford University Press.
Melis, Erica and Siekmann, Jörg H. 1999. “Knowledge-Based Proof Planning.” Artificial Intelligence 115(1): 65–105.
Siekmann, Jörg H., ed. 1986. CADE-8.Proceedings of the 8th International Conference on Automated Deduction. Lecture Notes in Computer Science n. 230. Berlin: Springer.
Siekmann, Jörg H. 2014. “Computational Logic.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 15–30. Amsterdam: Elsevier Science Publishers B.V.
Siekmann, Jörg H. and Fehrer, Detlef. 1998. “Introduction (to Part II: Representation).” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 119–124. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
Siekmann, Jörg H. and Gabbay, Dov M., eds. 2014. Handbook of the History of Logic. Volume 9: Computational Logic. Amsterdam: Elsevier Science Publishers B.V.
Wirth, Claus-Peter, Siekmann, Jörg H., Benzmüller, Christoph and Autexier, Serge. 2009. “Jacques Herbrand: Life, Logic, and Automated Deduction.” in Handbook of the History of Logic. Volume 5: Logic from Russell to Church, edited by Dov M. Gabbay and John Woods, pp. 195–254. Amsterdam: North-Holland Publishing Co.