Wolfgang Bibel Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Christoph Kreitz: Connection method. Scholarpedia 4(1): 6816 (2009)
2008
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Über ein Fach ohne Namen und Struktur. KI 22(2): 66-67 (2008)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Richtigstellungen und Antworten zum Diskussionsbeitrag. KI 22(4): 60 (2008)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Sind wir so schlau, wie wir denken? KI 22(4): 64 (2008)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Transition Logic Revisited. Logic Journal of the IGPL 16(4): 317-334 (2008)
2007
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Early History and Perspectives of Automated Deduction. KI 2007: 2-18
2006
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Towards the AI Summer. KI 2006: 443-444
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Research Perspectives for Logic and Deduction. Reasoning, Action and Interaction in AI Theories and Systems 2006: 25-43
2005
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Time for Thinking Big in AI. Mechanizing Mathematical Reasoning 2005: 120-131
2003
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Otten, Wolfgang Bibel: leanCoP: lean connection-based theorem proving. J. Symb. Comput. 36(1-2): 139-161 (2003)
2002
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPallab 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)
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Ein Vierteljahrhundert Künstliche Intelligenz in Deutschland. KI 16(1): 43 (2002)
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Bedeutung / Ursprünge der Intellektik. KI 16(1): 51 (2002)
2001
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDilip 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
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Flener, Kung-Kiu Lau, Wolfgang Bibel: Foreword to the Special Issue on Schemas. J. Symb. Comput. 30(1): 1-3 (2000)
1998
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Let's Plan it Deductively! Artif. Intell. 103(1-2): 183-208 (1998)
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: DFG-Schwerpunktprogramm ``Deduktion''. KI 12(4): 38-40 (1998)
1997
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction. GI Jahrestagung 1997: 29-40
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Let's Plan It Deductively! IJCAI 1997: 1549-1562
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Elmar Eder: Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. J. ACM 44(2): 320-344 (1997)
1996
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt: Problem-Oriented Applications of Automated Theorem Proving. DISCO 1996: 1-21
1995
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Michael Thielscher: Deductive Plan Generation. AII/ALT 1994: 2-5
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath: KoMeT. CADE 1994: 783-787
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Jörg H. Siekmann: Informatik und Intellektik als zukünftiges Zwiegespann. KI 8(1): 16-22 (1994)
1993
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Können Computer logisch denken? Reflektionen über die IJCAI-93 in Chambéry. KI 7(4): 49 (1993)
1992
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Steffen Hölldobler, Jörg Würtz: Cycle Unification. CADE 1992: 94-108
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel: SETHEO: A High-Performance Theorem Prover. J. Autom. Reasoning 8(2): 183-212 (1992)
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: DFG-Schwerpunkprogramm Deduktion. KI 6(3): 71-74 (1992)
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Ulrich Furbach: Logik, KI und Intellektik. KI 6(3): 91-94 (1992)
1991
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Perspectives on Automated Deduction. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 77-104
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Die Fehl-Sprüche sozialorientierter Autoren. KI 5(2): 110 (1991)
1990
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Perspectives on Automated Deduction (Abstract). CADE 1990: 426
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Short Proofs of the Pigeonhole Formulas Based on the Connection Method. J. Autom. Reasoning 6(3): 287-297 (1990)
1989
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRunping Qi, Wolfgang Bibel: A Framework for the Parallel Evaluation of Recursive Queries in Deductive Databases. DASFAA 1989: 301-309
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig: Plan Generation by Linear Proofs: On Semantics. GWAI 1989: 49-62
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: The Technological Change of Reality: Opportunities and Dangers. AI Soc. 3(2): 117-132 (1989)
1988
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Constraint Satisfaction from a Deductive Viewpoint. Artif. Intell. 35(3): 401-413 (1988)
1987
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Advanced Topics in Automated Deduction. Advanced Topics in Artificial Intelligence 1987: 41-59
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Parallel Inference Machines (Panel). IJCAI 1987: 1162
1986
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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 Springer 1986
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Philippe Jorrand: Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985 Springer 1986
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, P. Hintenaus, Johann Schumann: Parallel Inference Machines. Future Parallel Computers 1986: 185-226
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: A Deductive Solution for Plan Generation. New Generation Comput. 4(2): 115-132 (1986)
1985
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Methods of Automated Reasoning. Advanced Course: Fundamentals of Artificial Intelligence 1985: 171-217
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: A Deductive Solution for Plan Generation. Foundations of Knowledge Base Management (Xania) 1985: 453-473
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Predicative programming revisited. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 25-40
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Wissensbasierte Software-Entwicklung. Wissensbasierte Systeme 1985: 17-41
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, K. Aspetsberger: A Bibliography on Parallel Inference Machines. J. Symb. Comput. 1(1): 115-118 (1985)
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Automated Inferencing. J. Symb. Comput. 1(3): 245-260 (1985)
1984
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Artificial Intelligence in Europe. AIMSA 1984: 3-10
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Inferenzmethoden. KIFS 1984: 1-47
1983
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Elmar Eder, Bertram Fronhöfer: Towards an Advanced Implementation of the Connection Method. IJCAI 1983: 920-922
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Matings in Matrices. Commun. ACM 26(11): 844-852 (1983)
1982
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Jörg H. Siekmann: Künstliche Intelligenz, Frühjahrsschule, Teisendorf, 15.-24. März 1982 Springer 1982
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. M. Hörnig, Wolfgang Bibel: Improvements of a Tautology-Testing Algorithm. CADE 1982: 326-341
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Deduktionsverfahren. KIFS 1982: 99-140
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: A Comparative Study of Several Proof Procedures. Artif. Intell. 18(3): 269-293 (1982)
1981
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Mating in Matrices. GWAI 1981: 171-187
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: On the Completeness of Connection Graph Resolution. GWAI 1981: 246-247
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: On Matrices with Connections. J. ACM 28(4): 633-645 (1981)
1980
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Robert A. Kowalski: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings Springer 1980
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: A Theoretical Basis for the Systematic Proof Method. MFCS 1980: 154-167
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Syntax-Directed, Semantics-Supported Program Synthesis. Artif. Intell. 14(3): 243-261 (1980)
1979
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Tautology Testing with a Generalized Matrix Reduction Method. Theor. Comput. Sci. 8: 31-44 (1979)
1978
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: On Strategies for the Systhesis of Algorithms. AISB/GI (ECAI) 1978: 22-27
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber: Strategies for the synthesis of algorithms. Fachtagung über Programmiersprachen 1978: 97-109
1977
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco: Artificial Intelligence in Western Europe. IJCAI 1977: 955-969
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: A syntactic connection between proof procedures and refutation prcedures. Theoretical Computer Science 1977: 215-225
1975
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Prädikatives Programmieren. Automata Theory and Formal Languages 1975: 274-283
1974
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: Effizienzvergleiche von Beweisprozeduren. GI Jahrestagung 1974: 153-160
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel: An approach to a systematic theorem proving procedure in first-order logic. Computing 12(1): 43-55 (1974)

Coauthor Index

1K. Aspetsberger [24] [31]
2Stefan Bayerl [46]
3Stefan Brüning [50] [52]
4Luis Fariñas del Cerro [38]
5P. P. Chakrabarti (Partha Pratim Chakrabarti) [64]
6Pallab Dasgupta [64]
7Arnab Dey [64]
8Elmar Eder [20] [54]
9Uwe Egly [50] [52]
10Pierre Flener [60]
11Bertram Fronhöfer [20] [38]
12Ulrich Furbach [6] [44]
13Sujoy Ghose [64]
14Andreas Herzig [38]
15P. Hintenaus [31]
16Steffen Hölldobler [47]
17K. M. Hörnig [17]
18Gérard P. Huet [5]
19Klaus P. Jantke [33]
20Philippe Jorrand [32]
21Daniel S. Korn [52] [53] [55]
22Robert A. Kowalski [11]
23Christoph Kreitz [53] [55] [74]
24Franz J. Kurfess [31]
25F. Kurucz [55]
26Kung-Kiu Lau [60]
27Reinhold Letz [46]
28Hans-Hellmut Nagel [5]
29Jean-Marie Nicolas [28]
30Jens Otten [55] [65]
31Jacques Pitrat [5]
32Dilip Kumar Pratihar [61]
33Runping Qi [39]
34Thomas Rath [50] [52]
35Erik Sandewall [5]
36Stephen Schmitt [53] [55]
37Joachim F. Schreiber [6]
38Johann Schumann [31] [46]
39Jörg H. Siekmann [18] [49]
40M. Somalivco [5]
41G. Stolpmann [55]
42Michael Thielscher [51]
43Jörg Würtz [47]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)