![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Wolfgang Bibel
Person information
- affiliation: Darmstadt University of Technology, Germany
- award (2006): Herbrand Award
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [e7]Jens Otten, 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), Prague, Czech Republic, September 18, 2023. CEUR Workshop Proceedings 3613, CEUR-WS.org 2024 [contents] - [i4]Wolfgang Bibel:
A Conjecture for ATP Research. CoRR abs/2403.10334 (2024) - 2023
- [c48]Wolfgang Bibel:
Comparison of Proof Methods. AReCCa@TABLEAUX 2023: 119-132 - [c47]Michael Rawson
, Christoph Wernhard
, Zsolt Zombori
, Wolfgang Bibel
:
Lemmas: Generation, Selection, Application. TABLEAUX 2023: 153-174 - [i3]Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel:
Lemmas: Generation, Selection, Application. CoRR abs/2303.05854 (2023) - [i2]Christoph Wernhard, Wolfgang Bibel:
Investigations into Proof Structures. CoRR abs/2304.12827 (2023) - 2022
- [j44]Wolfgang Bibel:
Komputer kreiert Wissenschaft. Inform. Spektrum 45(6): 356-365 (2022) - 2021
- [c46]Christoph Wernhard
, Wolfgang Bibel
:
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures. CADE 2021: 58-75 - [i1]Christoph Wernhard, Wolfgang Bibel:
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version). CoRR abs/2104.13645 (2021) - 2020
- [j43]Wolfgang Bibel, Ulrich Furbach:
Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich. Künstliche Intell. 34(1): 109-116 (2020) - [j42]Wolfgang Bibel:
On the Development of AI in Germany. Künstliche Intell. 34(2): 251-258 (2020) - [c45]Wolfgang Bibel:
Laßt hundert Blumen blühen. GI-Jahrestagung 2020: 729-746
2010 – 2019
- 2018
- [c44]Wolfgang Bibel:
On a Scientific Discipline (Once) Named AI. IJCAI 2018: 5143-5149 - 2017
- [b8]Wolfgang Bibel:
Reflexionen vor Reflexen - Memoiren eines Forschers. Cuvillier 2017, ISBN 978-3-7369-9524-6, pp. 1-445 - [c43]Wolfgang Bibel:
A Vision for Automated Deduction Rooted in the Connection Method. TABLEAUX 2017: 3-21 - [p2]Jens Otten
, Wolfgang Bibel:
Advances in Connection-Based Automated Theorem Proving. Provably Correct Systems 2017: 211-241 - 2016
- [j41]Peter Baumgartner, Wolfgang Bibel, Richard Waldinger:
In Memory of Mark Stickel. J. Autom. Reason. 56(2): 95-98 (2016) - 2015
- [c42]Wolfgang Bibel:
Mind the Divide Surrounding Knowledge Representation. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 340-355 - 2014
- [j40]Wolfgang Bibel:
Artificial Intelligence in a historical perspective. AI Commun. 27(1): 87-102 (2014) - 2011
- [j39]Wolfgang Bibel:
KI ohne Geist. Künstliche Intell. 25(4): 299-302 (2011) - 2010
- [c41]Christoph Brandt, Jens Otten
, Christoph Kreitz, Wolfgang Bibel:
Specifying and Verifying Organizational Security Properties in First-Order Logic. Verification, Induction, Termination Analysis 2010: 38-53 - [p1]Wolfgang Bibel:
General Aspects of Intelligent Autonomous Systems. Intelligent Autonomous Systems 2010: 5-27
2000 – 2009
- 2009
- [j38]Wolfgang Bibel, Christoph Kreitz:
Connection method. Scholarpedia 4(1): 6816 (2009) - 2008
- [j37]Wolfgang Bibel:
Transition Logic Revisited. Log. J. IGPL 16(4): 317-334 (2008) - [j36]Wolfgang Bibel:
Über ein Fach ohne Namen und Struktur. Künstliche Intell. 22(2): 66-67 (2008) - [j35]Wolfgang Bibel:
Richtigstellungen und Antworten zum Diskussionsbeitrag. Künstliche Intell. 22(4): 60 (2008) - [j34]Wolfgang Bibel:
Sind wir so schlau, wie wir denken? Künstliche Intell. 22(4): 64 (2008) - 2007
- [c40]Wolfgang Bibel:
Early History and Perspectives of Automated Deduction. KI 2007: 2-18 - 2006
- [j33]Wolfgang Bibel, Josef Schneeberger:
Visionen künstlicher Intelligenz. Künstliche Intell. 20(4): 5-9 (2006) - [j32]Wolfgang Bibel:
The Beginnings of AI in Germany. Künstliche Intell. 20(4): 48-54 (2006) - [c39]Wolfgang Bibel:
Research Perspectives for Logic and Deduction. Reasoning, Action and Interaction in AI Theories and Systems 2006: 25-43 - [c38]Wolfgang Bibel:
Towards the AI Summer. KI 2006: 443-444 - 2005
- [c37]Wolfgang Bibel:
Time for Thinking Big in AI. Mechanizing Mathematical Reasoning 2005: 120-131 - 2004
- [j31]L. Wolfgang Bibel:
AI and the Conquest of Complexity in Law. Artif. Intell. Law 12(3): 159-180 (2004) - 2003
- [b7]Wolfgang Bibel:
Lehren vom Leben - Essays über Mensch und Gesellschaft. DUV 2003, ISBN 978-3-8244-4519-6, pp. I-VIII, 1-339 - [j30]Jens Otten
, Wolfgang Bibel:
leanCoP: lean connection-based theorem proving. J. Symb. Comput. 36(1-2): 139-161 (2003) - 2002
- [j29]Wolfgang Bibel:
Ein Vierteljahrhundert Künstliche Intelligenz in Deutschland. Künstliche Intell. 16(1): 43 (2002) - [j28]Wolfgang Bibel:
Bedeutung / Ursprünge der Intellektik. Künstliche Intell. 16(1): 51 (2002) - [j27]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): 353-368 (2002) - 2001
- [c36]Dilip Kumar Pratihar, Wolfgang Bibel:
Path Planning for Cooperating Robots Using a GA-Fuzzy Approach. Advances in Plan-Based Control of Robotic Agents 2001: 193-210 - 2000
- [j26]Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel:
Foreword to the Special Issue on Schemas. J. Symb. Comput. 30(1): 1-3 (2000)
1990 – 1999
- 1998
- [j25]Wolfgang Bibel:
Let's Plan it Deductively! Artif. Intell. 103(1-2): 183-208 (1998) - [j24]Yunfa Hu, Wolfgang Bibel:
Reduction of cycle unification of type Cpg+r. J. Comput. Sci. Technol. 13(1): 18-24 (1998) - [j23]Wolfgang Bibel:
DFG-Schwerpunktprogramm "Deduktion". Künstliche Intell. 12(4): 38-40 (1998) - [e6]Wolfgang Bibel, Herbert Fiedler, Werner Grass, Peter Gorny, Günter Hotz, Immo O. Kerner, Rüdiger Reischuk, Friedrich Roithmayr:
Ausgezeichnete Informatikdissertationen 1996. Vieweg+Teubner Verlag 1998, ISBN 978-3-519-02646-4 [contents] - 1997
- [j22]Wolfgang Bibel, Elmar Eder:
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. J. ACM 44(2): 320-344 (1997) - [c35]Wolfgang Bibel:
Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction. GI Jahrestagung 1997: 29-40 - [c34]Wolfgang Bibel:
Let's Plan It Deductively! IJCAI 1997: 1549-1562 - [c33]Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten
, Stephen Schmitt, G. Stolpmann:
A Multi-level Approach to Program Synthesis. LOPSTR 1997: 1-27 - 1996
- [c32]Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt:
Problem-Oriented Applications of Automated Theorem Proving. DISCO 1996: 1-21 - 1995
- [c31]Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath:
Issues in Theorem Proving Based on the Connection Method. TABLEAUX 1995: 1-16 - 1994
- [j21]Wolfgang Bibel, Jörg H. Siekmann:
Informatik und Intellektik als zukünftiges Zwiegespann. Künstliche Intell. 8(1): 16-22 (1994) - [c30]Wolfgang Bibel, Michael Thielscher:
Deductive Plan Generation. AII/ALT 1994: 2-5 - [c29]Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath:
KoMeT. CADE 1994: 783-787 - 1993
- [b6]Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub:
Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Artificial Intelligence, Vieweg 1993, ISBN 978-3-528-05374-1, pp. 1-387 - [b5]Wolfgang Bibel:
Deduction - automated logic. Academic Press 1993, ISBN 978-0-12-095835-1, pp. 1-253 - [j20]Wolfgang Bibel:
Können Computer logisch denken? Reflektionen über die IJCAI-93 in Chambéry. Künstliche Intell. 7(4): 49 (1993) - 1992
- [b4]Wolfgang Bibel:
Deduktion - Automatisierung und Logik. Handbuch der Informatik 6.2, Oldenbourg 1992, ISBN 978-3-486-20785-9, pp. 1-269 - [j19]Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel:
SETHEO: A High-Performance Theorem Prover. J. Autom. Reason. 8(2): 183-212 (1992) - [j18]Wolfgang Bibel:
DFG-Schwerpunkprogramm Deduktion. Künstliche Intell. 6(3): 71-74 (1992) - [j17]Wolfgang Bibel, Ulrich Furbach:
Logik, KI und Intellektik. Künstliche Intell. 6(3): 91-94 (1992) - [c28]Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz:
Cycle Unification. CADE 1992: 94-108 - 1991
- [j16]Wolfgang Bibel:
Die Fehl-Sprüche sozialorientierter Autoren. Künstliche Intell. 5(2): 110 (1991) - [c27]Wolfgang Bibel:
Perspectives on Automated Deduction. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 77-104 - 1990
- [j15]Wolfgang Bibel:
Short Proofs of the Pigeonhole Formulas Based on the Connection Method. J. Autom. Reason. 6(3): 287-297 (1990) - [c26]Wolfgang Bibel:
Perspectives on Automated Deduction (Abstract). CADE 1990: 426
1980 – 1989
- 1989
- [j14]Wolfgang Bibel:
The Technological Change of Reality: Opportunities and Dangers. AI Soc. 3(2): 117-132 (1989) - [c25]Runping Qi, Wolfgang Bibel:
A Framework for the Parallel Evaluation of Recursive Queries in Deductive Databases. DASFAA 1989: 301-309 - [c24]Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig:
Plan Generation by Linear Proofs: On Semantics. GWAI 1989: 49-62 - 1988
- [j13]Wolfgang Bibel:
Constraint Satisfaction from a Deductive Viewpoint. Artif. Intell. 35(3): 401-413 (1988) - 1987
- [b3]Wolfgang Bibel:
Fundamentals of artificial intelligence - an advanced course. Springer study edition, Springer 1987, ISBN 0387182659, pp. I-V, 1-313 - [b2]Wolfgang Bibel:
Automated theorem proving, 2nd Edition. Artificial intelligence, Vieweg 1987, ISBN 3528185201, pp. I-XIV, 1-288 - [j12]Wolfgang Bibel:
ECCAI and the European Malaise. AI Commun. 0(1): 5-7 (1987) - [c23]Wolfgang Bibel:
Advanced Topics in Automated Deduction. Advanced Topics in Artificial Intelligence 1987: 41-59 - [c22]Wolfgang Bibel:
Parallel Inference Machines (Panel). IJCAI 1987: 1162 - 1986
- [j11]Wolfgang Bibel:
A Deductive Solution for Plan Generation. New Gener. Comput. 4(2): 115-132 (1986) - [c21]Wolfgang Bibel, Franz J. Kurfess
, K. Aspetsberger, Peter Hintenaus, Johann Schumann:
Parallel Inference Machines. Future Parallel Computers 1986: 185-226 - [e5]Wolfgang Bibel, Philippe Jorrand:
Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985. Lecture Notes in Computer Science 232, Springer 1986, ISBN 3-540-16782-X [contents] - [e4]Wolfgang Bibel, Klaus P. Jantke:
Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985. Lecture Notes in Computer Science 215, Springer 1986, ISBN 3-540-16444-8 [contents] - 1985
- [j10]Wolfgang Bibel, Bruno Buchberger:
Towards a connection machine for logical inference. Future Gener. Comput. Syst. 1(3): 177-188 (1985) - [j9]Wolfgang Bibel, K. Aspetsberger:
A Bibliography on Parallel Inference Machines. J. Symb. Comput. 1(1): 115-118 (1985) - [j8]Wolfgang Bibel:
Automated Inferencing. J. Symb. Comput. 1(3): 245-260 (1985) - [c20]Wolfgang Bibel:
Methods of Automated Reasoning. Advanced Course: Fundamentals of Artificial Intelligence 1985: 171-217 - [c19]Wolfgang Bibel:
Predicative programming revisited. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 25-40 - [c18]Wolfgang Bibel, Jean-Marie Nicolas:
The Role of Logic for Data and Knowledge Bases: A Brief Summary. Foundations of Knowledge Base Management (Xania) 1985: 3-22 - [c17]Wolfgang Bibel:
A Deductive Solution for Plan Generation. Foundations of Knowledge Base Management (Xania) 1985: 453-473 - [c16]Wolfgang Bibel:
Wissensbasierte Software-Entwicklung. Wissensbasierte Systeme 1985: 17-41 - [e3]Wolfgang Bibel, Boris Petkoff:
Artificial Intelligence: Methodology, Systems, Applications - Proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1984, Varna, Bulgaria, September 17-20, 1984. North-Holland 1985, ISBN 0-444-87743-6 [contents] - 1984
- [j7]Wolfgang Bibel:
Logic and algebraic computation. SIGSAM Bull. 18(2): 26 (1984) - [c15]Wolfgang Bibel:
Artificial Intelligence in Europe. AIMSA 1984: 3-10 - [c14]Wolfgang Bibel:
Inferenzmethoden. KIFS 1984: 1-47 - 1983
- [j6]Wolfgang Bibel:
Matings in Matrices. Commun. ACM 26(11): 844-852 (1983) - [c13]Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer:
Towards an Advanced Implementation of the Connection Method. IJCAI 1983: 920-922 - 1982
- [b1]Wolfgang Bibel:
Automated theorem proving. Vieweg 1982, ISBN 3528085207, pp. I-XIII, 1-292 - [j5]Wolfgang Bibel:
A Comparative Study of Several Proof Procedures. Artif. Intell. 18(3): 269-293 (1982) - [c12]K. M. Hörnig, Wolfgang Bibel:
Improvements of a Tautology-Testing Algorithm. CADE 1982: 326-341 - [c11]Wolfgang Bibel:
Deduktionsverfahren. KIFS 1982: 99-140 - [e2]Wolfgang Bibel, Jörg H. Siekmann:
Künstliche Intelligenz, Frühjahrsschule, Teisendorf, Deutschland, 15.-24. März 1982. Informatik-Fachberichte 59, Springer 1982, ISBN 3-540-11974-4 [contents] - 1981
- [j4]Wolfgang Bibel:
On Matrices with Connections. J. ACM 28(4): 633-645 (1981) - [c10]Wolfgang Bibel:
Mating in Matrices. GWAI 1981: 171-187 - [c9]Wolfgang Bibel:
On the Completeness of Connection Graph Resolution. GWAI 1981: 246-247 - 1980
- [j3]Wolfgang Bibel:
Syntax-Directed, Semantics-Supported Program Synthesis. Artif. Intell. 14(3): 243-261 (1980) - [c8]Wolfgang Bibel:
A Theoretical Basis for the Systematic Proof Method. MFCS 1980: 154-167 - [e1]Wolfgang Bibel, Robert A. Kowalski:
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Lecture Notes in Computer Science 87, Springer 1980, ISBN 3-540-10009-1 [contents]
1970 – 1979
- 1979
- [j2]Wolfgang Bibel:
Tautology Testing with a Generalized Matrix Reduction Method. Theor. Comput. Sci. 8: 31-44 (1979) - [c7]Wolfgang Bibel:
On Syntax-Directed, Semantics-Supported Program Synthesis. IJCAI 1979: 59-62 - 1978
- [c6]Wolfgang Bibel:
On Strategies for the Systhesis of Algorithms. AISB/GI (ECAI) 1978: 22-27 - [c5]Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber:
Strategies for the synthesis of algorithms. Fachtagung über Programmiersprachen 1978: 97-109 - 1977
- [c4]Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco:
Artificial Intelligence in Western Europe. IJCAI 1977: 955-969 - [c3]Wolfgang Bibel:
A syntactic connection between proof procedures and refutation prcedures. Theoretical Computer Science 1977: 215-225 - 1975
- [c2]Wolfgang Bibel:
Prädikatives Programmieren. Automata Theory and Formal Languages 1975: 274-283 - 1974
- [j1]Wolfgang Bibel:
An approach to a systematic theorem proving procedure in first-order logic. Computing 12(1): 43-55 (1974) - [c1]Wolfgang Bibel:
Effizienzvergleiche von Beweisprozeduren. GI Jahrestagung 1974: 153-160
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint