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 ; 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 ; Grieser, G. (2001):
Maschinelles Lernen und Automatische Reflexion.
In: Thema Forschung, pp. S. 96-101. [Article]

Bibel, Wolfgang (2001):
Stellungnahme zum Lehrplan Mathematik.
122, In: Elternbrief : Eltern informieren Eltern, pp. 6-7. Hess. Elternverein, [Article]

Bibel, Wolfgang (2000):
AI's greatest trends and controversies.
15, In: IEEE intelligent systems, pp. 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 ; Flener, P. ; Lau, K.-K. (2000):
Foreword.
30, In: Journal of symbolic computation, pp. 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 ; Brüning, ; Otten, ; Rath, ; 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 ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998):
A multi-level approach to program synthesis.
In: International Workshop on Logic Program Synthesis and Transformation <7, 1998, Louvain>: Proceedings. Hrsg.: N. Fuchs. S. 1-27, 1463, Berlin (u.a.): Springer, 1998, Berlin (u.a.), Springer, [Conference or Workshop Item]

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

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

Kolbe, Thomas ; Walther, Christoph
Bibel, Wolfgang (ed.) (1998):
Proof Analysis, Generalization and Reuse.
10, In: Automated deduction: a basis for applications. Bd.2, pp. 189-219, Dordrecht, Kluwer Acad. Publ, DOI: 10.1007/978-94-017-0435-9,
[Book Section]

Giesl, Jürgen ; Walther, Christoph ; Brauburger, J.
Bibel, Wolfgang (ed.) (1998):
Termination Analysis for Functional Programs.
10, In: Automated deduction: a basis for applications. Bd. 3, pp. 135-164, Dordrecht, Kluwer Acad. Publ, DOI: 10.1007/978-94-017-0437-3,
[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 ; 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 ; Korn, ; Kreitz, ; Schmitt, (1996):
Problem-oriented applications of automated theorem proving.
1128, 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 ; Brüning, ; Ugly, ; Korn, ; Rath, (1995):
Issues in theorem proving based on the connection method.
In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 1-16, 918, New York: Springer, 1995, New York, Springer, [Conference or Workshop Item]

This list was generated on Sat Dec 4 01:27:41 2021 CET.