Wolfgang Bibel | Academic Influence

Wolfgang Bibel's AcademicInfluence.com Rankings

Wolfgang Bibel

Computer Science

#1135

World Rank

#1175

Historical Rank

Database

#8138

World Rank

#8486

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Wolfgang Bibel's Degrees

PhD Computer Science University of Stuttgart

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Wolfgang Bibel Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Leonhard Wolfgang Bibel is a German computer scientist, mathematician and Professor emeritus at the Department of Computer Science of the Technische Universität Darmstadt. He was one of the founders of the research area of artificial intelligence in Germany and Europe and has been named as one of the ten most important researchers in German artificial intelligence history by the Gesellschaft für Informatik. Bibel established the necessary institutions, conferences and scientific journals and promoted the necessary research programs to establish the field of artificial intelligence.

(See a Problem?)

Wolfgang Bibel's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Automated Theorem Proving (1987) (364)
On Matrices with Connections (1981) (208)
Automated deduction : a basis for applications (1998) (205)
leanCoP: lean connection-based theorem proving (2003) (113)
SETHEO: A high-performance theorem prover (1992) (105)
The Representation of Knowledge (1989) (90)
Matings in matrices (1983) (86)
Syntax-Directed, Semantics-Supported Program Synthesis (1979) (74)
Deduction - automated logic (1993) (72)
Constraint Satisfaction from a Deductive Viewpoint (1988) (65)
Let's Plan It Deductively! (1997) (52)
Artificial Intelligence in Europe (1984) (47)
A Comparative Study of Several Proof Procedures (1980) (38)
Fundamentals of artificial intelligence (1986) (38)
A deductive solution for plan generation (1986) (37)
Converging Technologies and the Natural, Social and Cultural World Special Interest Group Report for the European Commission via an Expert Group on Foresighting the New Technology Wave (2004) (37)
Methods and calculi for deduction (1993) (35)
Tautology Testing with a Generalized Matrix Reduction Method (1979) (34)
Plan Generation by Linear Proofs: On Semantics (1989) (31)
Computationally Improved Versions of Herbrand's Theorem (1982) (26)
A Multi-level Approach to Program Synthesis (1997) (26)
Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques (2002) (25)
An approach to a systematic theorem proving procedure in first-order logic (1974) (25)
Advanced Topics in Automated Deduction (1987) (20)
AI's greatest trends and controversies (2000) (19)
Perspectives on Automated Deduction (1991) (19)
Bottom-up enhancements of deductive systems (1987) (18)
Automated Deduction - A Basis for Applications : Volume II: Systems and Implementation Techniques (1998) (18)
Cycle Unification (1992) (17)
Artificial Intelligence in a historical perspective (2014) (17)
Towards a connection machine for logical inference (1985) (16)
Early History and Perspectives of Automated Deduction (2007) (16)
Special issue automatic programming-foreword of the guest editors (1993) (15)
Parallel Inference Machines (1986) (14)
Proceedings of the 5th Conference on Automated Deduction (1980) (12)
Advances in Connection-Based Automated Theorem Proving (2017) (12)
Fundamentals of artificial intelligence - an advanced course (1986) (12)
Strategies for the synthesis of algorithms (1978) (11)
Predicative programming (2009) (11)
Methods of Automated Reasoning (1986) (11)
Problem-Oriented Applications of Automated Theorem Proving (1996) (10)
A syntactic connection between proof procedures and refutation prcedures (1977) (10)
Improvements of a Tautology-Testing Algorithm (1982) (10)
A Bibliography on Parallel Inference Machines (1985) (9)
Path Planning for Cooperating Robots Using a GA-Fuzzy Approach (2001) (9)
Mathematical Methods of Specification and Synthesis of Software Systems '85 (1985) (9)
Mating in Matrices (1981) (9)
A Theoretical Basis for the Systematic Proof Method (1980) (9)
Cycle Uniication (1992) (8)
Short proofs of the pigeonhole formulas based on the connection method (1990) (8)
Research Perspectives for Logic and Deduction (2006) (8)
Prädikatives Programmieren (1975) (8)
From Schütte’s Formal Systems to Modern Automated Deduction (2020) (8)
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution (1997) (8)
General Aspects of Intelligent Autonomous Systems (2010) (8)
Issues in Theorem Proving Based on the Connection Method (1995) (8)
The Beginnings of AI in Germany (2006) (7)
On the Completeness of Connection Graph Resolution (1981) (7)
Knowledge Representation from a Deductive Point of View (1983) (7)
Specifying and Verifying Organizational Security Properties in First-Order Logic (2010) (7)
Automated theorem proving, 2nd Edition (1987) (6)
Towards an adequate theorem prover based on the connection method (1995) (5)
The role of logic for data and knowledge bases: a brief survey (1989) (5)
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version) (2021) (5)
A Vision for Automated Deduction Rooted in the Connection Method (2017) (5)
Artifical intelligence : methodology, systems, applications : proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '84) Varna, Bulgaria, 17-20 September 1984 (1985) (4)
Towards an Advanced Implementation of the Connection Method (1983) (4)
Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich (2019) (4)
On a Scientific Discipline (Once) Named AI (2018) (4)
Automated Inferencing (1985) (4)
Compressions and extensions (1998) (4)
Proceedings of the International Spring School on Mathematical method of specification and synthesis of software systems '85 (1986) (4)
LOGICAL PROGRAM SYNTHESIS (1982) (3)
Foreword to the Special Issue on Schemas (2000) (3)
Transition Logic Revisited (2008) (3)
Predicative programming revisited (1986) (3)
Automated deduction: a basis for applications. Vol. 1: Foundations, calculi and methods (1998) (3)
Information Technology 1 (2005) (2)
On the Comparative Complexity of Resolution and the Connection Method (1988) (2)
On the Development of AI in Germany (2020) (2)
Deductive Reasoning Systems (2001) (2)
Special Issue on Schemas (2000) (2)
In Memory of Mark Stickel (2016) (2)
Deductive Plan Generation (1994) (2)
Natural and formal logic (1982) (1)
Connection method (2009) (1)
Parallel Inference Machines (Panel) (1987) (1)
Lemmas: Generation, Selection, Application (2023) (1)
Automated deduction: a basis for applications. Vol. 3: Applications (1998) (1)
The Role of Logic for Data and Knowledge Bases: A Brief Summary (1985) (1)
ECCAI and the European Malaise (1987) (1)
Perspectives on Automated Deduction (Abstract) (1990) (1)
Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985 (1985) (1)
The technological change of reality: Opportunities and dangers (1989) (1)
Non-classical automated deduction (1996) (1)
An overview of formalisms, issues, languages and systems for the representation of knowledge (1984) (0)
List of referees (2009) (0)
A Framework for the Parallel Evaluation of Recursive Queries in Deductive Databases (1989) (0)
Artificial Intelligence in Western Europe (1977) (0)
Coming Up Next Does KDD Uncover New Insights ? (2000) (0)
Panel on parallel inference machines (1987) (0)
1 A Note from the Organizers (2008) (0)
Knowledge Systems for Food (2005) (0)
On the Development of AI in Germany (2020) (0)
Dagstuhl Seminar on Deduction a Reduction Ordering for Higher-order Terms Combination of Constraint Solving Techniques: an Algebraic Point of View Integrating Automated Deduction and Symbolic Computation Techniques Type Inferencing for First Order Logic with Polymorphic Order-sorted Types Decomposit (1995) (0)
Control of Search in AI Planning (2008) (0)
Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction (1997) (0)
Towards the AI Summer (2006) (0)
Connection method From Scholarpedia (0)
Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich (2019) (0)
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 (1980) (0)
Applications and extensions (1987) (0)
Reduction of cycle unification of type Cpg+r (1998) (0)
Mind the Divide Surrounding Knowledge Representation (2014) (0)
In Memory of Mark Stickel (2015) (0)
The Connection Method in First-Order Logic (1982) (0)
Reminiscences of Kurt Schütte (2020) (0)
Deduction (Dagstuhl Seminar 9310) (2021) (0)
The Connection Method in Propositional Logic (1987) (0)
Logic and algebraic computation (1984) (0)
Variants and Improvements (1982) (0)
Investigations into Proof Structures (2023) (0)
Time for Thinking Big in AI (2005) (0)
Perspectives on automated deduction (invited talk) (1990) (0)
On Strategies for the Systhesis of Algorithms (1978) (0)
Letter to the Editor (0)
Deduction (Dagstuhl Seminar 9512) (2021) (0)

This paper list is powered by the following services:

Other Resources About Wolfgang Bibel

en.wikipedia.org

What Schools Are Affiliated With Wolfgang Bibel?

Wolfgang Bibel is affiliated with the following schools:

Image Attributions

Image Source for Wolfgang Bibel