WorldCat Identities

Bibel, W. 1938-

Overview
Works: 124 works in 276 publications in 2 languages and 2,753 library holdings
Genres: Conference proceedings 
Roles: Editor, Honoree, Creator
Classifications: QA76.9.A96, 511.3
Publication Timeline
Key
Publications about  W Bibel Publications about W Bibel
Publications by  W Bibel Publications by W Bibel
Most widely held works by W Bibel
Fundamentals of artificial intelligence : an advanced course by W Bibel ( Book )
30 editions published between 1986 and 1987 in 3 languages and held by 559 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
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 )
17 editions published in 1986 in English and held by 382 WorldCat member libraries worldwide
Automated theorem proving by W Bibel ( Book )
18 editions published between 1982 and 1987 in English and Undetermined and held by 359 WorldCat member libraries worldwide
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 by W Bibel ( Book )
15 editions published in 1980 in English and German and held by 345 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 )
8 editions published between 1985 and 1986 in English and held by 224 WorldCat member libraries worldwide
Deduction : automated logic by W Bibel ( Book )
7 editions published in 1993 in English and held by 141 WorldCat member libraries worldwide
Intellectics and computational logic : papers in honor of Wolfgang Bibel by Steffen Hölldobler ( Book )
5 editions published between 2000 and 2011 in English and held by 78 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
Automated deduction : a basis for applications ( Book )
8 editions published between 1998 and 2011 in English and held by 66 WorldCat member libraries worldwide
Deduktion : Automatisierung der Logik by W Bibel ( Book )
2 editions published in 1992 in German and held by 57 WorldCat member libraries worldwide
Wissensrepräsentation und Inferenz : eine grundlegende Einführung by W Bibel ( Book )
3 editions published in 1993 in German and held by 54 WorldCat member libraries worldwide
Studien- und Forschungsführer künstliche Intelligenz ( Book )
3 editions published between 1983 and 1987 in German and held by 52 WorldCat member libraries worldwide
Künstliche Intelligenz : Frühjahrsschule, Teisendorf, 15.-24. März 1982 ( Book )
5 editions published in 1982 in German and held by 45 WorldCat member libraries worldwide
Wissensbasierte Echtzeitplanung by Jurgen Dorn ( Book )
1 edition published in 1989 in German and held by 40 WorldCat member libraries worldwide
Automatisierung von Terminierungsbeweisen by Christoph Walther ( Book )
1 edition published in 1991 in German and held by 27 WorldCat member libraries worldwide
Automated deduction : a basis for applications by W Bibel ( Book )
5 editions published in 1998 in English and held by 26 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
Automated deduction : a basis for applications by W Bibel ( Book )
5 editions published in 1998 in English and held by 26 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
Lehren vom Leben : Essays über Mensch und Gesellschaft by W Bibel ( Book )
2 editions published in 2003 in German and held by 24 WorldCat member libraries worldwide
Schnittelimination in einem Teilsystem der einfachen Typenlogik by W Bibel ( Book )
4 editions published in 1968 in German and held by 21 WorldCat member libraries worldwide
Automated deduction : a basis for applications ( Book )
3 editions published in 1998 in English and held by 17 WorldCat member libraries worldwide
5th Conference on Automated Deduction, Les Arcs, France, 1980 by 1980, Les Arcs) Conference on Automated Deduction (5 ( Book )
3 editions published in 1980 in English and German and held by 14 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.35 for Deduktion ... to 0.93 for Intellecti ...)
Alternative Names
Bibel, W.
Bibel, W., 1938-
Bibel, Wolfgang
Bibel, Wolfgang, 1938-
Languages
English (118)
German (24)
Covers