Wolfgang Bibel

Publication Activity (10 Years)

Years Active: 1974-2024
Publications (10 Years): 14

Top Topics

Artificial Intelligence

Cognitive Abilities

Case Based Reasoning

Memory Footprint

Top Venues

Künstliche Intell.

Inform. Spektrum

Publications

Wolfgang Bibel
A Conjecture for ATP Research. CoRR (2024)
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
Lemmas: Generation, Selection, Application. TABLEAUX (2023)
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
Lemmas: Generation, Selection, Application. CoRR (2023)
Wolfgang Bibel
Comparison of Proof Methods. AReCCa@TABLEAUX (2023)
Christoph Wernhard, Wolfgang Bibel
Investigations into Proof Structures. CoRR (2023)
Wolfgang Bibel
Komputer kreiert Wissenschaft. Inform. Spektrum 45 (6) (2022)
Christoph Wernhard, Wolfgang Bibel
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version). CoRR (2021)
Christoph Wernhard, Wolfgang Bibel
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures. CADE (2021)
Wolfgang Bibel, Ulrich Furbach
Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich. Künstliche Intell. 34 (1) (2020)
Wolfgang Bibel
Laßt hundert Blumen blühen. GI-Jahrestagung (2020)
Wolfgang Bibel
On the Development of AI in Germany. Künstliche Intell. 34 (2) (2020)
Wolfgang Bibel
On a Scientific Discipline (Once) Named AI. IJCAI (2018)
Wolfgang Bibel
A Vision for Automated Deduction Rooted in the Connection Method. TABLEAUX (2017)
Peter Baumgartner, Wolfgang Bibel, Richard Waldinger
In Memory of Mark Stickel. J. Autom. Reason. 56 (2) (2016)
Wolfgang Bibel
Mind the Divide Surrounding Knowledge Representation. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Wolfgang Bibel
Artificial Intelligence in a historical perspective. AI Commun. 27 (1) (2014)
Wolfgang Bibel
KI ohne Geist. Künstliche Intell. 25 (4) (2011)
Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel
Specifying and Verifying Organizational Security Properties in First-Order Logic. Verification, Induction, Termination Analysis (2010)
Wolfgang Bibel, Christoph Kreitz
Connection method. Scholarpedia 4 (1) (2009)
Wolfgang Bibel
Transition Logic Revisited. Log. J. IGPL 16 (4) (2008)
Wolfgang Bibel
Richtigstellungen und Antworten zum Diskussionsbeitrag. Künstliche Intell. 22 (4) (2008)
Wolfgang Bibel
Über ein Fach ohne Namen und Struktur. Künstliche Intell. 22 (2) (2008)
Wolfgang Bibel
Sind wir so schlau, wie wir denken? Künstliche Intell. 22 (4) (2008)
Wolfgang Bibel
Early History and Perspectives of Automated Deduction. KI (2007)
Wolfgang Bibel
The Beginnings of AI in Germany. Künstliche Intell. 20 (4) (2006)
Wolfgang Bibel, Josef Schneeberger
Visionen künstlicher Intelligenz. Künstliche Intell. 20 (4) (2006)
Wolfgang Bibel
Towards the AI Summer. KI (2006)
Wolfgang Bibel
Research Perspectives for Logic and Deduction. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Wolfgang Bibel
Time for Thinking Big in AI. Mechanizing Mathematical Reasoning (2005)
Jens Otten, Wolfgang Bibel
leanCoP: lean connection-based theorem proving. J. Symb. Comput. 36 (1-2) (2003)
Pallab Dasgupta, P. P. Chakrabarti, Arnab Dey, Sujoy Ghose, Wolfgang Bibel
Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques. IEEE Trans. Knowl. Data Eng. 14 (2) (2002)
Wolfgang Bibel
Bedeutung / Ursprünge der Intellektik. Künstliche Intell. 16 (1) (2002)
Wolfgang Bibel
Ein Vierteljahrhundert Künstliche Intelligenz in Deutschland. Künstliche Intell. 16 (1) (2002)
Dilip Kumar Pratihar, Wolfgang Bibel
Path Planning for Cooperating Robots Using a GA-Fuzzy Approach. Advances in Plan-Based Control of Robotic Agents (2001)
Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel
Foreword to the Special Issue on Schemas. J. Symb. Comput. 30 (1) (2000)
Wolfgang Bibel
DFG-Schwerpunktprogramm "Deduktion". Künstliche Intell. 12 (4) (1998)
Yunfa Hu, Wolfgang Bibel
Reduction of cycle unification of type Cpg+r. J. Comput. Sci. Technol. 13 (1) (1998)
Wolfgang Bibel
Let's Plan it Deductively! Artif. Intell. 103 (1-2) (1998)
Wolfgang Bibel, Elmar Eder
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. J. ACM 44 (2) (1997)
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
A Multi-level Approach to Program Synthesis. LOPSTR (1997)
Wolfgang Bibel
Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction. GI Jahrestagung (1997)
Wolfgang Bibel
Let's Plan It Deductively! IJCAI (1997)
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt
Problem-Oriented Applications of Automated Theorem Proving. DISCO (1996)
Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath
Issues in Theorem Proving Based on the Connection Method. TABLEAUX (1995)
Wolfgang Bibel, Michael Thielscher
Deductive Plan Generation. AII/ALT (1994)
Wolfgang Bibel, Jörg H. Siekmann
Informatik und Intellektik als zukünftiges Zwiegespann. Künstliche Intell. 8 (1) (1994)
Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath
KoMeT. CADE (1994)
Wolfgang Bibel
Können Computer logisch denken? Reflektionen über die IJCAI-93 in Chambéry. Künstliche Intell. 7 (4) (1993)
Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
Cycle Unification. CADE (1992)
Wolfgang Bibel, Ulrich Furbach
Logik, KI und Intellektik. Künstliche Intell. 6 (3) (1992)
Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel
SETHEO: A High-Performance Theorem Prover. J. Autom. Reason. 8 (2) (1992)
Wolfgang Bibel
DFG-Schwerpunkprogramm Deduktion. Künstliche Intell. 6 (3) (1992)
Wolfgang Bibel
Perspectives on Automated Deduction. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Wolfgang Bibel
Die Fehl-Sprüche sozialorientierter Autoren. Künstliche Intell. 5 (2) (1991)
Wolfgang Bibel
Perspectives on Automated Deduction (Abstract). CADE (1990)
Wolfgang Bibel
Short Proofs of the Pigeonhole Formulas Based on the Connection Method. J. Autom. Reason. 6 (3) (1990)
Wolfgang Bibel
The Technological Change of Reality: Opportunities and Dangers. AI Soc. 3 (2) (1989)
Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
Plan Generation by Linear Proofs: On Semantics. GWAI (1989)
Runping Qi, Wolfgang Bibel
A Framework for the Parallel Evaluation of Recursive Queries in Deductive Databases. DASFAA (1989)
Wolfgang Bibel
Constraint Satisfaction from a Deductive Viewpoint. Artif. Intell. 35 (3) (1988)
Wolfgang Bibel
Advanced Topics in Automated Deduction. Advanced Topics in Artificial Intelligence (1987)
Wolfgang Bibel
Parallel Inference Machines (Panel). IJCAI (1987)
Wolfgang Bibel
ECCAI and the European Malaise. AI Commun. (1) (1987)
Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, Peter Hintenaus, Johann Schumann
Parallel Inference Machines. Future Parallel Computers (1986)
Wolfgang Bibel
A Deductive Solution for Plan Generation. New Gener. Comput. 4 (2) (1986)
Wolfgang Bibel, Bruno Buchberger
Towards a connection machine for logical inference. Future Gener. Comput. Syst. 1 (3) (1985)
Wolfgang Bibel
Automated Inferencing. J. Symb. Comput. 1 (3) (1985)
Wolfgang Bibel
A Deductive Solution for Plan Generation. Foundations of Knowledge Base Management (Xania) (1985)
Wolfgang Bibel, K. Aspetsberger
A Bibliography on Parallel Inference Machines. J. Symb. Comput. 1 (1) (1985)
Wolfgang Bibel
Predicative programming revisited. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Wolfgang Bibel, Jean-Marie Nicolas
The Role of Logic for Data and Knowledge Bases: A Brief Summary. Foundations of Knowledge Base Management (Xania) (1985)
Wolfgang Bibel
Wissensbasierte Software-Entwicklung. Wissensbasierte Systeme (1985)
Wolfgang Bibel
Methods of Automated Reasoning. Advanced Course: Fundamentals of Artificial Intelligence (1985)
Wolfgang Bibel
Logic and algebraic computation. SIGSAM Bull. 18 (2) (1984)
Wolfgang Bibel
Inferenzmethoden. KIFS (1984)
Wolfgang Bibel
Artificial Intelligence in Europe. AIMSA (1984)
Wolfgang Bibel
Matings in Matrices. Commun. ACM 26 (11) (1983)
Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer
Towards an Advanced Implementation of the Connection Method. IJCAI (1983)
Wolfgang Bibel
Deduktionsverfahren. KIFS (1982)
Wolfgang Bibel
A Comparative Study of Several Proof Procedures. Artif. Intell. 18 (3) (1982)
K. M. Hörnig, Wolfgang Bibel
Improvements of a Tautology-Testing Algorithm. CADE (1982)
Wolfgang Bibel
On the Completeness of Connection Graph Resolution. GWAI (1981)
Wolfgang Bibel
On Matrices with Connections. J. ACM 28 (4) (1981)
Wolfgang Bibel
Mating in Matrices. GWAI (1981)
Wolfgang Bibel
Syntax-Directed, Semantics-Supported Program Synthesis. Artif. Intell. 14 (3) (1980)
Wolfgang Bibel
A Theoretical Basis for the Systematic Proof Method. MFCS (1980)
Wolfgang Bibel
On Syntax-Directed, Semantics-Supported Program Synthesis. IJCAI (1979)
Wolfgang Bibel
Tautology Testing with a Generalized Matrix Reduction Method. Theor. Comput. Sci. 8 (1979)
Wolfgang Bibel
On Strategies for the Systhesis of Algorithms. AISB/GI (ECAI) (1978)
Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber
Strategies for the synthesis of algorithms. Fachtagung über Programmiersprachen (1978)
Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco
Artificial Intelligence in Western Europe. IJCAI (1977)
Wolfgang Bibel
A syntactic connection between proof procedures and refutation prcedures. Theoretical Computer Science (1977)
Wolfgang Bibel
Prädikatives Programmieren. Automata Theory and Formal Languages (1975)
Wolfgang Bibel
Effizienzvergleiche von Beweisprozeduren. GI Jahrestagung (1974)
Wolfgang Bibel
An approach to a systematic theorem proving procedure in first-order logic. Computing 12 (1) (1974)