 | 2009 |
|---|
| 74 |       | Wolfgang Bibel,
Christoph Kreitz:
Connection method.
Scholarpedia 4(1): 6816 (2009) |
| 2008 |
|---|
| 73 | | Wolfgang Bibel:
Über ein Fach ohne Namen und Struktur.
KI 22(2): 66-67 (2008) |
| 72 | | Wolfgang Bibel:
Richtigstellungen und Antworten zum Diskussionsbeitrag.
KI 22(4): 60 (2008) |
| 71 | | Wolfgang Bibel:
Sind wir so schlau, wie wir denken?
KI 22(4): 64 (2008) |
| 70 | | Wolfgang Bibel:
Transition Logic Revisited.
Logic Journal of the IGPL 16(4): 317-334 (2008) |
| 2007 |
|---|
| 69 | | Wolfgang Bibel:
Early History and Perspectives of Automated Deduction.
KI 2007: 2-18 |
| 2006 |
|---|
| 68 | | Wolfgang Bibel:
Towards the AI Summer.
KI 2006: 443-444 |
| 67 | | Wolfgang Bibel:
Research Perspectives for Logic and Deduction.
Reasoning, Action and Interaction in AI Theories and Systems 2006: 25-43 |
| 2005 |
|---|
| 66 | | Wolfgang Bibel:
Time for Thinking Big in AI.
Mechanizing Mathematical Reasoning 2005: 120-131 |
| 2003 |
|---|
| 65 | | Jens Otten,
Wolfgang Bibel:
leanCoP: lean connection-based theorem proving.
J. Symb. Comput. 36(1-2): 139-161 (2003) |
| 2002 |
|---|
| 64 | | 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) |
| 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 |
|---|
| 61 | | 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 |
|---|
| 60 | | Pierre Flener,
Kung-Kiu Lau,
Wolfgang Bibel:
Foreword to the Special Issue on Schemas.
J. Symb. Comput. 30(1): 1-3 (2000) |
| 1998 |
|---|
| 59 | | Wolfgang 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 |
| 55 | | 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 |
| 54 | | Wolfgang Bibel,
Elmar Eder:
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.
J. ACM 44(2): 320-344 (1997) |
| 1996 |
|---|
| 53 | | Wolfgang 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 |
| 50 | | Wolfgang 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 |
|---|
| 47 | | Wolfgang 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 |
|---|
| 41 | | Wolfgang 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 |
|---|
| 39 | | Runping 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 |
| 17 | | K. 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 |
| 12 | | Wolfgang 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 |
| 10 | | Wolfgang 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 |
| 1 | | Wolfgang Bibel:
An approach to a systematic theorem proving procedure in first-order logic.
Computing 12(1): 43-55 (1974) |
