WorldCat Identities

Bibel, W. 1938-

Overview
Works: 116 works in 378 publications in 4 languages and 3,413 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Creator, Honoree, Other, Contributor
Classifications: QA76.9.A96, 511.3
Publication Timeline
.
Most widely held works by W Bibel
Fundamentals of artificial intelligence : an advanced course by W Bibel( Book )

35 editions published between 1986 and 1987 in 4 languages and held by 541 WorldCat member libraries worldwide

This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were written in tutorial form; the book thus provides an extremely valuable guide to the fundamental aspects of AI. In the first part, Delgrande and Mylopoulos discuss the concept of knowledge and its representation. The second part is devoted to the processing of knowledge. The contribution by Huet shows that both computation and inference or deduction are just different aspects of the same phenomenon. The chapter written by Stickel gives a thorough and knowledgeable introduction to the most important aspects of deduction by some form of resolution. The kind of reasoning that is involved in inductive inference problem solving (or programming) from examples, and in learning, is covered by Biermann. The tutorial by Bibel covers the more important forms of knowledge processing that might play a significant role in common sense reasoning. The third part of the book focuses on logic programming and functional programming. Jorrand presents the language FP2, where term rewriting forms the basis for the semantics of both functional and parallel programming. In the last chapter, Shapiro gives an overview of the current state of concurrent PROLOG
Automated theorem proving by W Bibel( Book )

21 editions published between 1982 and 1987 in 3 languages and held by 383 WorldCat member libraries worldwide

Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 by W Bibel( Book )

27 editions published in 1986 in English and German and held by 377 WorldCat member libraries worldwide

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 by W Bibel( Book )

26 editions published in 1980 in 3 languages and held by 291 WorldCat member libraries worldwide

Artificial intelligence : methodology, systems, applications : proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '84) Varna, Bulgaria, 17-20 September 1984 by Systems, Applications International Conference on Artificial Intelligence: Methodology( Book )

21 editions published between 1985 and 1986 in English and held by 253 WorldCat member libraries worldwide

Deduction : automated logic by W Bibel( Book )

9 editions published in 1993 in English and held by 151 WorldCat member libraries worldwide

Automated deduction : a basis for applications by W Bibel( Book )

29 editions published between 1998 and 2010 in English and held by 119 WorldCat member libraries worldwide

The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction. The three volumes are intended to document and advance a development in the field of automated deduction that can now be observed all over the world. Rather than restricting the interest to purely academic research, the focus now is on the investigation of problems derived from realistic applications. In fact industrial applications are already pursued on a trial basis. In consequence the emphasis of the volumes is not on the presentation of the theoretical foundations of logical deduction as such, as in a handbook; rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction. This reflects the strong conviction that automated deduction is on the verge of being fully included in the evolution of technology. Volume I focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. Volume II presents techniques of implementation and details about system building. Volume III deals with applications of deductive techniques mainly, but not exclusively, to mathematics and the verification of software. Each chapter was read by two referees, one an international expert from abroad and the other a knowledgeable participant in the national project. It has been accepted for inclusion on the basis of these review reports. Audience: Researchers and developers in software engineering, formal methods, certification, verification, validation, specification of complex systems and software, expert systems, natural language processing
Intellectics and computational logic : papers in honor of Wolfgang Bibel by Steffen Hölldobler( Book )

7 editions published between 2000 and 2011 in English and held by 83 WorldCat member libraries worldwide

"Audience: Researchers working in the areas of Intellectics and Computational Logic, who are convinced that an intelligent behavior of machines should be based on a rigid formal treatment of knowledge representation and reasoning."--Jacket
Deduktion : Automatisierung der Logik by W Bibel( Book )

2 editions published in 1992 in German and held by 82 WorldCat member libraries worldwide

Künstliche Intelligenz : Frühjahrsschule, Teisendorf, 15.-24. März 1982 by W Bibel( Book )

13 editions published in 1982 in German and held by 77 WorldCat member libraries worldwide

Wissensrepräsentation und Inferenz : eine grundlegende Einführung by W Bibel( Book )

5 editions published in 1993 in German and held by 66 WorldCat member libraries worldwide

Studien- und Forschungsführer künstliche Intelligenz by W Bibel( Book )

6 editions published between 1983 and 1987 in German and held by 59 WorldCat member libraries worldwide

Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überblick über die in der Bundesrepublik Deutschland und in Österreich bestehenden Ausbildungsmöglichkeiten im Hochschulbereich und die Forschungsaktivitäten und -förderungsprogramme im öffentlichen und industriellen Bereich. Das Gebiet der Künstlichen Intelligenz (engl. Artificial Intelligence) hat in den USA, England und anderen Ländern bereits einen festen Platz in den Lehrplänen und in der Forschung gefunden und erlebt derzeit auch hierzulande einen enormen akademischen Aufschwung. Nicht zuletzt wegen der vielfältigen Anwendungsmöglichkeiten steht dieses Gebiet heute weltweit im Zentrum des Interesses und wird von einigen Ländern mit Aufwendungen in Milliardenhöhe gefördert. Die Künstliche Intelligenz hat sich in Deutschland erst sehr spät und gegen einigen Widerstand entwickeln können. Inzwischen gibt es jedoch Vorlesungen und Seminare an vielen deutschen Universitäten, einzelne Universitäten bieten sogar eine dem Ausland vergleichbare KI-Ausbildung an, die in die Informatik-Studienpläne integriert ist; einen eigenen KI-Studiengang gibt es allerdings bisher in Deutschland noch nicht. Die Informationen dieser Broschüre wurden von den Herausgebern im Namen des Fachausschusses 1.2 "Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik zusammengestellt
Wissensbasierte Echtzeitplanung by Jurgen Dorn( Book )

2 editions published in 1989 in German and held by 43 WorldCat member libraries worldwide

Automated deduction : a basis for applications by W Bibel( Book )

13 editions published between 1998 and 2011 in English and held by 31 WorldCat member libraries worldwide

The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction. The three volumes are intended to document and advance a development in the field of automated deduction that can now be observed all over the world. Rather than restricting the interest to purely academic research, the focus now is on the investigation of problems derived from realistic applications. In fact industrial applications are already pursued on a trial basis. In consequence the emphasis of the volumes is not on the presentation of the theoretical foundations of logical deduction as such, as in a handbook; rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction. This reflects the strong conviction that automated deduction is on the verge of being fully included in the evolution of technology. Volume I focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. Volume II presents techniques of implementation and details about system building. Volume III deals with applications of deductive techniques mainly, but not exclusively, to mathematics and the verification of software. Each chapter was read by two referees, one an international expert from abroad and the other a knowledgeable participant in the national project. It has been accepted for inclusion on the basis of these review reports. Audience: Researchers and developers in software engineering, formal methods, certification, verification, validation, specification of complex systems and software, expert systems, natural language processing
Automatisierung von Terminierungsbeweisen by Christoph Walther( Book )

2 editions published in 1991 in German and held by 28 WorldCat member libraries worldwide

Lehren vom Leben : Essays über Mensch und Gesellschaft by W Bibel( Book )

4 editions published in 2003 in German and held by 25 WorldCat member libraries worldwide

Dieses Buch bietet eine gut verständliche und umfassende Lebenshilfe auf hohem Niveau. Es unterstützt den Leser in seinen Rollen im privaten, beruflichen oder öffentlichen Bereich beim Entwurf eines ganzheitlichen Weltbildes, das im Einklang mit dem heutigen Stand der Wissenschaft steht. Wolfgang Bibel zeigt, wie sich mit Weisheit und moderner Technologie eine gerechtere, tolerantere, rationalere Welt verwirklichen läßt. Weisheit kann heute bis zu einem gewissen Grad in Wissenssystemen festgehalten werden, damit breit verfügbar gemacht und an Hand einer wissenschaftlich fundierten und technologisch realisierten Methodik zur Lösung individueller und gesellschaftlicher Probleme eingesetzt werden. Die Essays behandeln privates Erfahrungswissen und wissenschaftliche Erkenntnisse aus den Themenbereichen Körper, Geist, Seele, zwischenmenschliche Beziehungen, gesellschaftliche, wirtschaftliche und politische Strukturen sowie Wissenschaft, Religion und Kunst. Der Autor ist Professor für Informatik und Intellektik an der Technischen Universität Darmstadt sowie ehrenhalber an der University of British Columbia, Vancouver. Er gehört zu den Begründern des Gebietes der Künstlichen Intelligenz in Deutschland und hat für seine wissenschaftlichen Leistungen mehrere internationale Auszeichnungen erhalten
Schnittelimination in einem Teilsystem der einfachen Typenlogik by W Bibel( Book )

4 editions published in 1968 in German and held by 22 WorldCat member libraries worldwide

Fifth conference on automated deduction Les Arcs, France, July 8-11, 1980 by Conference on Automated Deduction( )

1 edition published in 1980 in Undetermined and held by 19 WorldCat member libraries worldwide

Deduction : 24.02. - 28.02.97 (9709) by W Bibel( Book )

7 editions published between 1993 and 1997 in English and held by 11 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.67 for Artificial ... to 0.93 for Schnitteli ...)

Fundamentals of artificial intelligence : an advanced course
Alternative Names
Bibel, W.

Bibel, W. 1938-

Bibel, Wolfgang

Bibel, Wolfgang 1938-

Wolfgang Bibel Computer scientist

Wolfgang Bibel deutscher Informatiker

Wolfgang Bibel Duits informaticus

Wolfgang Bibel tysk ingeniør og informatikar

Wolfgang Bibel tysk ingeniør og informatiker

Wolfgang Bibel tysk ingenjör och datavetare

Languages
English (184)

German (43)

Italian (1)

French (1)

Covers
Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 19855th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980Automated deduction : a basis for applicationsIntellectics and computational logic : papers in honor of Wolfgang BibelAutomated deduction : a basis for applicationsFifth conference on automated deduction Les Arcs, France, July 8-11, 1980