Bibel, Wolfgang (2002)
Bedeutung und Ursprünge der Intellektik.
In: KI, Künstliche Intelligenz
Article

Bibel, Wolfgang (2002)
Ein Vierteljahrhundert Künstliche Intelligenz in Deutschland - Rückblick und Zukunftsperspektiven.
In: KI, Künstliche Intelligenz
Article

Bibel, Wolfgang (2002)
Intellektik.
In: 30 Jahre Informatik an deutschen Hochschulen. - Darmstadt : Techn. Univ., Fachbereich Informatik, 2002. - S. 92-93
Book Section

Pratihar, Dilip Kumar ; Bibel, Wolfgang (2002)
Path planning for cooperating robots using a GA-fuzzy approach.
Conference or Workshop Item

Bibel, Wolfgang (2001)
Alles klar? Logisch! (Leserbrief zu Artikeln von J.R. Searle).
In: Die Zeit
Article

Bibel, Wolfgang ; Grieser, G. (2001)
Maschinelles Lernen und Automatische Reflexion.
In: Thema Forschung
Article

Bibel, Wolfgang (2001)
Stellungnahme zum Lehrplan Mathematik.
In: Elternbrief : Eltern informieren Eltern, 122
Article

Bibel, Wolfgang (2000)
AI's greatest trends and controversies.
In: IEEE intelligent systems, 15
Article

Bibel, Wolfgang (2000)
Fachgebiet Intellektik.
In: Informationen zu den Studiengängen Informatik an der TUD. - Darmstadt: Techn. Univ., FB Informatik, 2000. S. 39-42
Book Section

Bibel, Wolfgang ; Flener, P. ; Lau, K.-K. (2000)
Foreword.
In: Journal of symbolic computation, 30
Article

ed.: Bibel, Wolfgang (1998)
Automated deduction: a basis for applications. Vol. 1: Foundations, calculi and methods.
Book

ed.: Bibel, Wolfgang (1998)
Automated deduction: a basis for applications. Vol. 2: Systems and implementation techniques.
Book

ed.: Bibel, Wolfgang (1998)
Automated deduction: a basis for applications. Vol. 3: Applications.
Book

Bibel, Wolfgang ; Brüning, ; Otten, ; Rath, ; Schaub, Karlheinz (1998)
Compressions and extensions.
In: Automated deduction: a basis for applications. Hrsg.: W. Bibel (u.a.) S. 238-245, Edition: Dordrecht: Kluwer Acad. Publ., 1998
Book Section

Bibel, Wolfgang (1998)
DFG Schwerpunktprogramm 'Deduktion'.
In: Künstliche Intelligenz: KI. 1998, 4, S. 38-40
Article

Bibel, Wolfgang (1998)
Let's plan it deductively!
In: Artificial intelligence. 103 (1998), 1-2, S. 183-208
Article

Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998)
A multi-level approach to program synthesis.
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner
eds.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Analytic Tableaux.
In: Automated Deduction: A Basis for Applications
Book Section

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Menzel, Wolfram ; Reif, Wolfgang ; Schellhorn, Gerhard ; Schmitt, Peter
eds.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications
Book Section

Kolbe, Thomas ; Walther, Christoph
ed.: Bibel, Wolfgang (1998)
Proof Analysis, Generalization and Reuse.
In: Automated deduction: a basis for applications. Bd.2
doi: 10.1007/978-94-017-0435-9
Book Section

Giesl, Jürgen ; Walther, Christoph ; Brauburger, J.
ed.: Bibel, Wolfgang (1998)
Termination Analysis for Functional Programs.
In: Automated deduction: a basis for applications. Bd. 3
doi: 10.1007/978-94-017-0437-3
Book Section

Bibel, Wolfgang (1997)
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.
In: Journal of the ACM. 44 (1997), S. 320-344
Article

Bibel, Wolfgang (1997)
Deduction as a cross-sectional technology: The DFG focus programme on deduction.
In: Informatik'97: Informatik aktuell. Hrsg.: M. Jarke (u.a.) S. 29-40, Edition: Berlin, Heidelberg (u.a.): Springer, 1997
Book Section

Bibel, Wolfgang (1997)
Let's plan it deductively!
Conference or Workshop Item

Bibel, Wolfgang ; Thielscher, (1996)
Non-classical automated deduction.
In: Trends in theoretical informatics. Hrsg.: R. Albrecht (u.a.) - München: Oldenbourg, 1996. S. 39-59
Book Section

Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996)
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems. Hrsg.: J. Calmet (u.a.) . Berlin (u.a.): Springer, 1996
Book Section

Bibel, Wolfgang (1995)
Dimensionen der Inferenz: die andere Basis wissensbasierter Systeme.
In: Methoden der Künstlichen Intelligenz für Grafikanwendungen. Hrsg.: F. DiPrimio. - Bonn, Paris: Addison-Wesley, 1995. S. 3-22, Edition: Bonn, Paris: Addison-Wesley, 1995
Book Section

Bibel, Wolfgang ; Brüning, ; Ugly, ; Korn, ; Rath, (1995)
Issues in theorem proving based on the connection method.
Conference or Workshop Item