| 2023 | TABLEAUX | Lemmas: Generation, Selection, Application. | Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel |
| 2021 | CADE | Learning from Łukasiewicz and Meredith: Investigations into Proof Structures. | Christoph Wernhard, Wolfgang Bibel |
| 2020 | GI | Lat hundert Blumen blhen. | Wolfgang Bibel |
| 2018 | IJCAI | On a Scientific Discipline (Once) Named AI. | Wolfgang Bibel |
| 2017 | TABLEAUX | A Vision for Automated Deduction Rooted in the Connection Method. | Wolfgang Bibel |
| 2007 | KI | Early History and Perspectives of Automated Deduction. | Wolfgang Bibel |
| 2006 | KI | Towards the AI Summer. | Wolfgang Bibel |
| 1997 | GI | Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction. | Wolfgang Bibel |
| 1997 | IJCAI | Let's Plan It Deductively! | Wolfgang Bibel |
| 1997 | LOPSTR | A Multi-level Approach to Program Synthesis. | Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann |
| 1995 | TABLEAUX | Issues in Theorem Proving Based on the Connection Method. | Wolfgang Bibel, Stefan Brning, Uwe Egly, Daniel S. Korn, Thomas Rath |
| 1994 | ALT | Deductive Plan Generation. | Wolfgang Bibel, Michael Thielscher |
| 1994 | CADE | KoMeT. | Wolfgang Bibel, Stefan Brning, Uwe Egly, Thomas Rath |
| 1992 | CADE | Cycle Unification. | Wolfgang Bibel, Steffen Hlldobler, Jrg Wrtz |
| 1990 | CADE | Perspectives on Automated Deduction (Abstract). | Wolfgang Bibel |
| 1989 | DASFAA | A Framework for the Parallel Evaluation of Recursive Queries in Deductive Databases. | Runping Qi, Wolfgang Bibel |
| 1989 | KI | Plan Generation by Linear Proofs: On Semantics. | Wolfgang Bibel, Luis Farias del Cerro, Bertram Fronhfer, Andreas Herzig |
| 1987 | IJCAI | Parallel Inference Machines (Panel). | Wolfgang Bibel |
| 1985 | WI | Wissensbasierte Software-Entwicklung. | Wolfgang Bibel |
| 1984 | AIMSA | Artificial Intelligence in Europe. | Wolfgang Bibel |
| 1984 | KI | Inferenzmethoden. | Wolfgang Bibel |
| 1983 | IJCAI | Towards an Advanced Implementation of the Connection Method. | Wolfgang Bibel, Elmar Eder, Bertram Fronhfer |
| 1982 | CADE | Improvements of a Tautology-Testing Algorithm. | K. M. Hrnig, Wolfgang Bibel |
| 1982 | KI | Deduktionsverfahren. | Wolfgang Bibel |
| 1981 | KI | Mating in Matrices. | Wolfgang Bibel |
| 1981 | KI | On the Completeness of Connection Graph Resolution. | Wolfgang Bibel |
| 1980 | MFCS | A Theoretical Basis for the Systematic Proof Method. | Wolfgang Bibel |
| 1979 | IJCAI | On Syntax-Directed, Semantics-Supported Program Synthesis. | Wolfgang Bibel |
| 1978 | ECAI | On Strategies for the Systhesis of Algorithms. | Wolfgang Bibel |
| 1977 | IJCAI | Artificial Intelligence in Western Europe. | Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Grard P. Huet, Hans-Hellmut Nagel, M. Somalivco |
| 1974 | GI | Effizienzvergleiche von Beweisprozeduren. | Wolfgang Bibel |