Wolfgang Bibel

According to our database, Wolfgang Bibel authored at least 102 papers between 1974 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Conjecture for ATP Research.

Wolfgang Bibel

CoRR, 2024

2023

Investigations into Proof Structures.

Christoph Wernhard, Wolfgang Bibel

CoRR, 2023

Lemmas: Generation, Selection, Application.

Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Comparison of Proof Methods.

Wolfgang Bibel

Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), 2023

2022

Komputer kreiert Wissenschaft.

Wolfgang Bibel

Inform. Spektrum, 2022

2021

Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version).

Christoph Wernhard, Wolfgang Bibel

CoRR, 2021

Learning from Łukasiewicz and Meredith: Investigations into Proof Structures.

Christoph Wernhard, Wolfgang Bibel

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich.

Wolfgang Bibel, Ulrich Furbach

Künstliche Intell., 2020

On the Development of AI in Germany.

Wolfgang Bibel

Künstliche Intell., 2020

Laßt hundert Blumen blühen.

Wolfgang Bibel

Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

2018

On a Scientific Discipline (Once) Named AI.

Wolfgang Bibel

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

A Vision for Automated Deduction Rooted in the Connection Method.

Wolfgang Bibel

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Advances in Connection-Based Automated Theorem Proving.

Jens Otten, Wolfgang Bibel

Proceedings of the Provably Correct Systems, 2017

Reflexionen vor Reflexen - Memoiren eines Forschers.

Wolfgang Bibel

Cuvillier, ISBN: 978-3-7369-9524-6, 2017

2016

In Memory of Mark Stickel.

Peter Baumgartner, Wolfgang Bibel, Richard Waldinger

J. Autom. Reason., 2016

2015

Mind the Divide Surrounding Knowledge Representation.

Wolfgang Bibel

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Artificial Intelligence in a historical perspective.

Wolfgang Bibel

AI Commun., 2014

2011

KI ohne Geist.

Wolfgang Bibel

Künstliche Intell., 2011

2010

General Aspects of Intelligent Autonomous Systems.

Wolfgang Bibel

Proceedings of the Intelligent Autonomous Systems: Foundations and Applications, 2010

Specifying and Verifying Organizational Security Properties in First-Order Logic.

Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel

Proceedings of the Verification, Induction, Termination Analysis, 2010

2009

Connection method.

Wolfgang Bibel, Christoph Kreitz

Scholarpedia, 2009

2008

Sind wir so schlau, wie wir denken?

Wolfgang Bibel

Künstliche Intell., 2008

Richtigstellungen und Antworten zum Diskussionsbeitrag.

Wolfgang Bibel

Künstliche Intell., 2008

Über ein Fach ohne Namen und Struktur.

Wolfgang Bibel

Künstliche Intell., 2008

Transition Logic Revisited.

Wolfgang Bibel

Log. J. IGPL, 2008

2007

Early History and Perspectives of Automated Deduction.

Wolfgang Bibel

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

2006

Visionen künstlicher Intelligenz.

Wolfgang Bibel, Josef Schneeberger

Künstliche Intell., 2006

The Beginnings of AI in Germany.

Wolfgang Bibel

Künstliche Intell., 2006

Towards the AI Summer.

Wolfgang Bibel

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Research Perspectives for Logic and Deduction.

Wolfgang Bibel

Proceedings of the Reasoning, 2006

2005

Time for Thinking Big in AI.

Wolfgang Bibel

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

AI and the Conquest of Complexity in Law.

L. Wolfgang Bibel

Artif. Intell. Law, 2004

2003

leanCoP: lean connection-based theorem proving.

Jens Otten, Wolfgang Bibel

J. Symb. Comput., 2003

Lehren vom Leben - Essays über Mensch und Gesellschaft.

Wolfgang Bibel

DUV, ISBN: 978-3-8244-4519-6, 2003

2002

Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques.

Pallab Dasgupta, P. P. Chakrabarti, Arnab Dey, Sujoy Ghose, Wolfgang Bibel

IEEE Trans. Knowl. Data Eng., 2002

Bedeutung / Ursprünge der Intellektik.

Wolfgang Bibel

Künstliche Intell., 2002

Ein Vierteljahrhundert Künstliche Intelligenz in Deutschland.

Wolfgang Bibel

Künstliche Intell., 2002

2001

Path Planning for Cooperating Robots Using a GA-Fuzzy Approach.

Dilip Kumar Pratihar, Wolfgang Bibel

Proceedings of the Advances in Plan-Based Control of Robotic Agents, 2001

2000

Foreword to the Special Issue on Schemas.

Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel

J. Symb. Comput., 2000

1998

DFG-Schwerpunktprogramm "Deduktion".

Wolfgang Bibel

Künstliche Intell., 1998

Reduction of cycle unification of type Cpg+r.

Yunfa Hu, Wolfgang Bibel

J. Comput. Sci. Technol., 1998

Let's Plan it Deductively!

Wolfgang Bibel

Artif. Intell., 1998

1997

Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.

Wolfgang Bibel, Elmar Eder

J. ACM, 1997

A Multi-level Approach to Program Synthesis.

Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction.

Wolfgang Bibel

Proceedings of the Informatik '97, 1997

1996

Problem-Oriented Applications of Automated Theorem Proving.

Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Issues in Theorem Proving Based on the Connection Method.

Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

Informatik und Intellektik als zukünftiges Zwiegespann.

Wolfgang Bibel, Jörg H. Siekmann

Künstliche Intell., 1994

KoMeT.

Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Deductive Plan Generation.

Wolfgang Bibel, Michael Thielscher

Proceedings of the Algorithmic Learning Theory, 1994

1993

Können Computer logisch denken? Reflektionen über die IJCAI-93 in Chambéry.

Wolfgang Bibel

Künstliche Intell., 1993

Deduction - automated logic.

Wolfgang Bibel

Academic Press, ISBN: 978-0-12-095835-1, 1993

Wissensrepräsentation und Inferenz - eine grundlegende Einführung.

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub

Artificial Intelligence, Vieweg, ISBN: 978-3-528-05374-1, 1993

1992

Logik, KI und Intellektik.

Wolfgang Bibel, Ulrich Furbach

Künstliche Intell., 1992

DFG-Schwerpunkprogramm Deduktion.

Wolfgang Bibel

Künstliche Intell., 1992

SETHEO: A High-Performance Theorem Prover.

Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel

J. Autom. Reason., 1992

Cycle Unification.

Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz

Proceedings of the Automated Deduction, 1992

Deduktion - Automatisierung und Logik.

Wolfgang Bibel

Handbuch der Informatik 6.2, Oldenbourg, ISBN: 978-3-486-20785-9, 1992

1991

Die Fehl-Sprüche sozialorientierter Autoren.

Wolfgang Bibel

Künstliche Intell., 1991

Perspectives on Automated Deduction.

Wolfgang Bibel

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1990

Short Proofs of the Pigeonhole Formulas Based on the Connection Method.

Wolfgang Bibel

J. Autom. Reason., 1990

Perspectives on Automated Deduction (Abstract).

Wolfgang Bibel

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

The Technological Change of Reality: Opportunities and Dangers.

Wolfgang Bibel

AI Soc., 1989

Plan Generation by Linear Proofs: On Semantics.

Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig

Proceedings of the GWAI-89, 1989

A Framework for the Parallel Evaluation of Recursive Queries in Deductive Databases.

Runping Qi, Wolfgang Bibel

Proceedings of the International Symposium on Database Systems for Advanced Applications, 1989

1988

Constraint Satisfaction from a Deductive Viewpoint.

Wolfgang Bibel

Artif. Intell., 1988

1987

ECCAI and the European Malaise.

Wolfgang Bibel

AI Commun., 1987

Parallel Inference Machines (Panel).

Wolfgang Bibel

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

Advanced Topics in Automated Deduction.

Wolfgang Bibel

Proceedings of the Advanced Topics in Artificial Intelligence, 2nd Advanced Course, 1987

Automated theorem proving, 2nd Edition.

Wolfgang Bibel

Artificial intelligence, Vieweg, ISBN: 3528185201, 1987

Fundamentals of artificial intelligence - an advanced course.

Wolfgang Bibel

Springer study edition, Springer, ISBN: 0387182659, 1987

1986

A Deductive Solution for Plan Generation.

Wolfgang Bibel

New Gener. Comput., 1986

Parallel Inference Machines.

Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, Peter Hintenaus, Johann Schumann

Proceedings of the Future Parallel Computers, 1986

1985

A Bibliography on Parallel Inference Machines.

Wolfgang Bibel, K. Aspetsberger

J. Symb. Comput., 1985

Automated Inferencing.

Wolfgang Bibel

J. Symb. Comput., 1985

Towards a connection machine for logical inference.

Wolfgang Bibel, Bruno Buchberger

Future Gener. Comput. Syst., 1985

Wissensbasierte Software-Entwicklung.

Wolfgang Bibel

Proceedings of the Wissensbasierte Systeme, 1985

The Role of Logic for Data and Knowledge Bases: A Brief Summary.

Wolfgang Bibel, Jean-Marie Nicolas

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

Predicative programming revisited.

Wolfgang Bibel

Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

Methods of Automated Reasoning.

Wolfgang Bibel

Proceedings of the Fundamentals of Artificial Intelligence: An Advanced Course, 1985

1984

Logic and algebraic computation.

Wolfgang Bibel

SIGSAM Bull., 1984

Inferenzmethoden.

Wolfgang Bibel

Proceedings of the Küstliche Intelligenz, 1984

Artificial Intelligence in Europe.

Wolfgang Bibel

Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984

1983

Matings in Matrices.

Wolfgang Bibel

Commun. ACM, 1983

Towards an Advanced Implementation of the Connection Method.

Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

A Comparative Study of Several Proof Procedures.

Wolfgang Bibel

Artif. Intell., 1982

Deduktionsverfahren.

Wolfgang Bibel

Proceedings of the Künstliche Intelligenz, 1982

Improvements of a Tautology-Testing Algorithm.

K. M. Hörnig, Wolfgang Bibel

Proceedings of the 6th Conference on Automated Deduction, 1982

Automated theorem proving.

Wolfgang Bibel

Vieweg, ISBN: 3528085207, 1982

1981

On Matrices with Connections.

Wolfgang Bibel

J. ACM, 1981

On the Completeness of Connection Graph Resolution.

Wolfgang Bibel

Proceedings of the GWAI-81, 1981

Mating in Matrices.

Wolfgang Bibel

Proceedings of the GWAI-81, 1981

1980

Syntax-Directed, Semantics-Supported Program Synthesis.

Wolfgang Bibel

Artif. Intell., 1980

A Theoretical Basis for the Systematic Proof Method.

Wolfgang Bibel

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

Tautology Testing with a Generalized Matrix Reduction Method.

Wolfgang Bibel

Theor. Comput. Sci., 1979

1978

Strategies for the synthesis of algorithms.

Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber

Proceedings of the Programmiersprachen, 1978

On Strategies for the Systhesis of Algorithms.

Wolfgang Bibel

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1977

A syntactic connection between proof procedures and refutation prcedures.

Wolfgang Bibel

Proceedings of the Theoretical Computer Science, 1977

Artificial Intelligence in Western Europe.

Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1975

Prädikatives Programmieren.

Wolfgang Bibel

Proceedings of the Automata Theory and Formal Languages, 1975

1974

An approach to a systematic theorem proving procedure in first-order logic.

Wolfgang Bibel

Computing, 1974

Effizienzvergleiche von Beweisprozeduren.

Wolfgang Bibel

Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974