![]() | 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) |