2002

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

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

Bibel, Wolfgang (2002)
Intellektik.
In: 30 Jahre Informatik an deutschen Hochschulen: Festschrift
Buchkapitel, Bibliographie

Pratihar, Dilip Kumar ; Bibel, Wolfgang (2002)
Path planning for cooperating robots using a GA-fuzzy approach.
Konferenzveröffentlichung, Bibliographie

2001

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

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

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

2000

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

Bibel, Wolfgang (2000)
Fachgebiet Intellektik.
In: Informationen zu den Studiengängen Informatik an der TUD
Buchkapitel, Bibliographie

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

1998

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

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

Hrsg.: Bibel, Wolfgang (1998)
Automated deduction: a basis for applications. Vol. 3: Applications.
Buch, Bibliographie

Bibel, Wolfgang ; Brüning, Stefan ; Otten, Jens ; Rath, Thomas ; Schaub, Torsten
Hrsg.: Bibel, Wolfgang (1998)
Compressions and extensions.
In: Automated deduction: a basis for applications. Vol. 1
Buchkapitel, Bibliographie

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

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

Henhapl, Wolfgang ; Anderl, Reiner ; Buchmann, Alejandro ; Bibel, Wolfgang ; Lux, Gregor ; Philipp, Martin ; Roßnagel, A. ; Sandner, Enno ; Schroeder, Ulrik (1998)
Perspektiven für MUSE: Fachübergreifende Modellierungsmethodik.
Report, Bibliographie

Schroeder, Ulrik ; Bibel, Wolfgang ; Buchmann, Alejandro (1998)
Perspektiven für MUSE: Konsistenzsicherung.
Report, Bibliographie

Henhapl, Wolfgang ; Anderl, Reiner ; Bibel, Wolfgang ; Lux, Gregor ; Philipp, Martin ; Sandner, Enno (1998)
Perspektiven für MUSE: das Metamodell.
Report, Bibliographie

Bibel, Wolfgang ; Korn, D. ; Kreitz, C. ; Kurucz, F. ; Otten, J. ; Schmitt, S. ; Stolpmann, G.
Hrsg.: Fuchs, Norbert E. (1998)
A multi-level approach to program synthesis.
7th International Workshop on Logic Program Synthesis and Transformation (LOPSTR ’97). Leuven, Belgium (10.07.1998-12.07.1998)
doi: 10.1007/3-540-49674-2_1
Konferenzveröffentlichung, Bibliographie

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

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

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

Giesl, Jürgen ; Walther, Christoph ; Brauburger, J.
Hrsg.: Bibel, Wolfgang (1998)
Termination Analysis for Functional Programs.
In: Automated deduction: a basis for applications. Volume III Applications
doi: 10.1007/978-94-017-0437-3
Buchkapitel, Bibliographie

1997

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
Artikel, Bibliographie

Bibel, Wolfgang (1997)
Deduction as a cross-sectional technology: The DFG focus programme on deduction.
In: Informatik'97: Informatik aktuell, Auflage: Berlin, Heidelberg (u.a.): Springer, 1997
Buchkapitel, Bibliographie

Bibel, Wolfgang (1997)
Let's plan it deductively!
Konferenzveröffentlichung, Bibliographie

1996

Bibel, Wolfgang ; Thielscher, (1996)
Non-classical automated deduction.
In: Trends in theoretical informatics
Buchkapitel, Bibliographie

Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996)
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems
Buchkapitel, Bibliographie

1995

Bibel, Wolfgang (1995)
Dimensionen der Inferenz: die andere Basis wissensbasierter Systeme.
In: Methoden der Künstlichen Intelligenz für Grafikanwendungen, Auflage: Bonn, Paris: Addison-Wesley, 1995
Buchkapitel, Bibliographie

Bibel, Wolfgang ; Brüning, Stefan ; Egly, U. ; Korn, D. ; Rath, Thomas
Hrsg.: Baumgartner, P. (1995)
Issues in theorem proving based on the connection method.
4th International Workshop, TABLEAUX-95. St. Goar, Germany (07.05. - 10.05.1995)
doi: 10.1007/3-540-59338-1_24
Konferenzveröffentlichung, Bibliographie