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