WorldCat Identities

Bibel, W. 1938-

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

34 editions published between 1986 and 1987 in 4 languages and held by 546 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 )

20 editions published between 1982 and 1987 in 3 languages and held by 384 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

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 Andrei Voronkov( Book )

19 editions published between 1985 and 1986 in English and held by 249 WorldCat member libraries worldwide

"LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science"."--PUBLISHER'S WEBSITE
Deduction : automated logic by W Bibel( Book )

23 editions published between 1993 and 1997 in 3 languages and held by 171 WorldCat member libraries worldwide

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

28 editions published in 1998 in English and held by 118 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
Deduktion : Automatisierung der Logik by W Bibel( Book )

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

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 81 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
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 73 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 67 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 61 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( )

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

Ausgezeichnete Informatikdissertationen 1996 by W Bibel( Book )

2 editions published in 1998 in German and held by 8 WorldCat member libraries worldwide

Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preisträger" ihrer Hochschule ausgezeichnet. Der Ausschuß der GI, der den Preisträger aus der Reihe der vorgeschlagenen Kandidaten nominiert, veranstaltete in Räumen der Akademie der Wissenschaften und Literatur Mainz ein Kolloquium. Es fiel dem Ausschuß schwer, unter den nach dem Kolloquium in die engere Wahl genommenen Kandidaten den Preisträger zu bestimmen. Die Publikation der hier präsentierten Kurzfassungen gleicht die Ungerechtigkeit der Auswahl eines Kandidaten unter mehreren ebenbürtigen Kandidaten etwas aus
Automated deduction. a basis for applications : Foundations - calculi and methods( Book )

2 editions published in 1998 in English and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.65 for Artificial ... to 0.95 for Automated ...)

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 (160)

German (45)

Italian (1)

Covers
Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985Automated deduction : a basis for applicationsIntellectics and computational logic : papers in honor of Wolfgang BibelAutomated deduction : a basis for applicationsAutomated deduction. a basis for applications : Foundations - calculi and methods