Wolfgang Bibel (bibel)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Bibel, Wolfgang. 1980. “Syntax-Directed, Semantics-Supported Program Synthesis.” Artificial Intelligence 14(3): 243–261.
Bibel, Wolfgang. 1982a. Automated Theorem Proving. Wiesbaden: Vieweg.
Bibel, Wolfgang. 1982b. “A Comparative Study of Several Proof Procedures.” Artificial Intelligence 18(3): 269–293.
Bibel, Wolfgang. 1988. “Constraint Satisfaction from a Deductive Viewpoint.” Artificial Intelligence 35(3): 401–413.
Bibel, Wolfgang. 1998. “Let’s Plan it Deductively!” Artificial Intelligence 103(1–2): 183–208.
Bibel, Wolfgang, Brüning, Stefan, Otten, Jens, Rath, Thomas and Schaub, Torsten H. 1998. “Compressions and Extensions.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 133–181. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Bibel, Wolfgang and Eder, Elmar. 1993. “Methods and Calculi for Deduction.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 68–183. Oxford: Oxford University Press.
Bibel, Wolfgang, Hölldobler, Steffen and Neugebauer, Gerd. 1993. Deduction: Automated Logic. New York: Academic Press. Translated by Monika Lekuse with the assistance of Donald Sannella. .
Bibel, Wolfgang and Jorrand, Ph. 1986. Fundamentals of Artificial Intelligence: An Advanced Course. Berlin: Springer.
Bibel, Wolfgang and Schmidt, Peter H., eds. 1998a. Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.