TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 28.

Bibel, Wolfgang (2002):
Bedeutung und Ursprünge der Intellektik.
In: KI, Künstliche Intelligenz, p. 51, [Article]

Bibel, Wolfgang (2002):
Ein Vierteljahrhundert Künstliche Intelligenz in Deutschland - Rückblick und Zukunftsperspektiven.
In: KI, Künstliche Intelligenz, p. 43, [Article]

Bibel, Wolfgang (2002):
Intellektik.
In: 30 Jahre Informatik an deutschen Hochschulen. - Darmstadt : Techn. Univ., Fachbereich Informatik, 2002. - S. 92-93, Darmstadt, Techn. Univ., [Book Section]

Pratihar, Dilip Kumar and Bibel, Wolfgang (2002):
Path planning for cooperating robots using a GA-fuzzy approach.
In: Advances in plan based control of robotic agents : international seminar .../ Michael Beetz ...ed.- Berlin [u.a.]: Springer, 2002.- (Lecture notes in computer science ; 2466: Lecture notes in artificial intelligence).- ISBN 3-540-00168-9.- S. 193-210, Berlin [u.a.], Springer, [Conference or Workshop Item]

Bibel, Wolfgang (2001):
Alles klar? Logisch! (Leserbrief zu Artikeln von J.R. Searle).
In: Die Zeit, pp. S. 20, [Article]

Bibel, Wolfgang and Grieser, G. (2001):
Maschinelles Lernen und Automatische Reflexion.
In: Thema Forschung, pp. S. 96-101, [Article]

Bibel, Wolfgang (2001):
Stellungnahme zum Lehrplan Mathematik.
In: Hessischer Elternverein: Elternbrief, Nr. 12pp. S. 6-7, [Article]

Bibel, Wolfgang (2000):
AI's greatest trends and controversies.
In: IEEE intelligent systems, 15pp. 8-9, [Article]

Bibel, Wolfgang (2000):
Fachgebiet Intellektik.
In: Informationen zu den Studiengängen Informatik an der TUD. - Darmstadt: Techn. Univ., FB Informatik, 2000. S. 39-42, Darmstadt, Techn. Univ., [Book Section]

Bibel, Wolfgang and Flener, P. and Lau, K.-K. (2000):
Foreword.
In: Journal of symbolic computation, 30pp. 1-3, [Article]

Bibel, Wolfgang (ed.) (1998):
Automated deduction: a basis for applications. Vol. 1: Foundations, calculi and methods.
Dordrecht: Kluwer Acad. Publ., 1998,
Dordrecht, Kluwer Acad. Publ, [Book]

Bibel, Wolfgang (ed.) (1998):
Automated deduction: a basis for applications. Vol. 2: Systems and implementation techniques.
Dordrecht: Kluwer Acad. Publ., 1998,
Dordrecht, Kluwer Acad. Publ, [Book]

Bibel, Wolfgang (ed.) (1998):
Automated deduction: a basis for applications. Vol. 3: Applications.
Dordrecht: Kluwer Acad. Publ., 1998,
Dordrecht, Kluwer Acad. Publ, [Book]

Bibel, Wolfgang and Brüning, and Otten, and Rath, and Schaub, Karlheinz (1998):
Compressions and extensions.
In: Automated deduction: a basis for applications. Hrsg.: W. Bibel (u.a.) S. 238-245, Dordrecht: Kluwer Acad. Publ., 1998,
Dordrecht, Kluwer Acad. Publ, [Book Section]

Bibel, Wolfgang (1998):
DFG Schwerpunktprogramm 'Deduktion'.
In: Künstliche Intelligenz: KI. 1998, 4, S. 38-40, [Article]

Bibel, Wolfgang (1998):
Let's plan it deductively!
In: Artificial intelligence. 103 (1998), 1-2, S. 183-208, [Article]

Bibel, Wolfgang and Korn, and Kreitz, and Kurucz, and Otten, and Schmitt, and Stolpmann, (1998):
A multi-level approach to program synthesis.
1463In: International Workshop on Logic Program Synthesis and Transformation <7, 1998, Louvain>: Proceedings. Hrsg.: N. Fuchs. S. 1-27, Berlin (u.a.): Springer, 1998,
Berlin (u.a.), Springer, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner Bibel, Wolfgang and Schmitt, Peter (eds.) (1998):
Analytic Tableaux.
In: Automated Deduction: A Basis for Applications, Kluwer, pp. 11--41, [Book Section]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Menzel, Wolfram and Reif, Wolfgang and Schellhorn, Gerhard and Schmitt, Peter Bibel, Wolfgang and Schmitt, Peter (eds.) (1998):
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications, Kluwer, pp. 97--116, [Book Section]

Kolbe, Thomas and Walther, Christoph Bibel, Wolfgang (ed.) (1998):
Proof Analysis, Generalization and Reuse.
In: Automated deduction: a basis for applications, Dordrecht, Kluwer Acad. Publ, pp. 189-219, [Book Section]

Giesl, Jürgen and Walther, Christoph and Brauburger, J. Bibel, Wolfgang (ed.) (1998):
Termination Analysis for Functional Programs.
In: Automated deduction: a basis for applications. Bd. 3, Dordrecht, Kluwer Acad. Publ, pp. 135-164, [Book Section]

Bibel, Wolfgang (1997):
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.
In: Journal of the ACM. 44 (1997), S. 320-344, [Article]

Bibel, Wolfgang (1997):
Deduction as a cross-sectional technology: The DFG focus programme on deduction.
In: Informatik'97: Informatik aktuell. Hrsg.: M. Jarke (u.a.) S. 29-40, Berlin, Heidelberg (u.a.): Springer, 1997,
Berlin, Heidelberg (u.a.), Springer, [Book Section]

Bibel, Wolfgang (1997):
Let's plan it deductively!
In: International Joint Conference on Artificial Intelligence <1997>: Proceedings. Hrsg.: M. Pollack. - San Mateo, CA: Morgan Kaufmann, 1997. S. 1549-1562, San Mateo, CA, Morgan Kaufmann, [Conference or Workshop Item]

Bibel, Wolfgang and Thielscher, (1996):
Non-classical automated deduction.
In: Trends in theoretical informatics. Hrsg.: R. Albrecht (u.a.) - München: Oldenbourg, 1996. S. 39-59, München, Oldenbourg, [Book Section]

Bibel, Wolfgang and Korn, and Kreitz, and Schmitt, (1996):
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems. Hrsg.: J. Calmet (u.a.) . Berlin (u.a.): Springer, 1996, Berlin (u.a.), Springer, [Book Section]

Bibel, Wolfgang (1995):
Dimensionen der Inferenz: die andere Basis wissensbasierter Systeme.
In: Methoden der Künstlichen Intelligenz für Grafikanwendungen. Hrsg.: F. DiPrimio. - Bonn, Paris: Addison-Wesley, 1995. S. 3-22, Bonn, Paris: Addison-Wesley, 1995,
Bonn, Paris, Addison-Wesley, [Book Section]

Bibel, Wolfgang and Brüning, and Ugly, and Korn, and Rath, (1995):
Issues in theorem proving based on the connection method.
918In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 1-16, New York: Springer, 1995,
New York, Springer, [Conference or Workshop Item]

This list was generated on Tue Jun 30 01:07:58 2020 CEST.