dblp.uni-trier.dewww.uni-trier.de

Wolfgang Bibel Vis

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

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