Wolfgang Bibel – författare

Visar alla böcker från författaren Wolfgang Bibel. Handla med fri frakt och snabb leverans.

44 produkter

Kategorier

44 produkter

Del 8 - Applied Logic Series
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
AvWolfgang Bibel,P.H. Schmitt
Inbunden, Engelska, 1998
2 215 kr
Skickas inom 10-15 vardagar
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.
Del 9 - Applied Logic Series
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
AvWolfgang Bibel,P.H. Schmitt
Inbunden, Engelska, 1998
2 215 kr
Skickas inom 10-15 vardagar
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi cally is needed, for example, to direct and control the reasoning, to speculate or generalize strategic lemmas, and sometimes simply because the conjec ture to be proved does not hold. In software verification, for example, correct versions of specifications and programs typically are obtained only after a number of failed proof attempts and subsequent error corrections. Different interactive theorem provers may actually look quite different: They may support different logics (first-or higher-order, logics of programs, type theory etc.), may be generic or special-purpose tools, or may be tar geted to different applications. Nevertheless, they share common concepts and paradigms (e.g. architectural design, tactics, tactical reasoning etc.). The aim of this chapter is to describe the common concepts, design principles, and basic requirements of interactive theorem provers, and to explore the band width of variations. Having a 'person in the loop', strongly influences the design of the proof tool: proofs must remain comprehensible, - proof rules must be high-level and human-oriented, - persistent proof presentation and visualization becomes very important.
Del 10 - Applied Logic Series
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
AvWolfgang Bibel,P.H. Schmitt
Inbunden, Engelska, 1998
1 712 kr
Skickas inom 10-15 vardagar
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Kluwer Academic Publishers
1998
4 212 kr
Skickas inom 10-15 vardagar
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 co-operation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume set 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.The text should be of interest to researchers and developers in software engineering, formal methods, certification, verification, validation, specification of complex systems and software, expert systems and natural language processing.
Del 31 - Mathematical Research
Mathematical Methods of Specification and Synthesis of Software Systems ‘85
Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985
AvWolfgang Bibel,Klaus P. Jantke
Inbunden, Engelska, 1986
2 025 kr
Skickas inom 5-8 vardagar
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".
Mathematical Methods of Specification and Synthesis of Software Systems '85
Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985
AvKlaus P. Jantke,Wolfgang Bibel
E-bok
PDF, Engelska, 1987
1 775 kr
Läs direkt efter köp
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".
Lehren vom Leben
Essays über Mensch und Gesellschaft
AvWolfgang Bibel
E-bok
PDF, Tyska, 2013
712 kr
Läs direkt efter köp
Wissensrepräsentation und Inferenz
Eine grundlegende Einführung
AvTorsten Schaub,Steffen Holldoblerm. fl.
E-bok
PDF, Tyska, 2013
487 kr
Läs direkt efter köp
Grundlagen zur Neuroinformatik und Neurobiologie
The Computational Brain in deutscher Sprache
AvPatricia S. Churchland,Terrence J. Sejnowskim. fl.
Häftad, Tyska, 2012
818 kr
Skickas inom 10-15 vardagar
The Computational Brain, das aussergewohnliche Buch uber vergleichende Forschung in den Bereichen von menschlichem Gehirn und neuesten Moglichkeiten der Computertechnologie, liegt hiermit erstmals in deutscher Sprache vor. Geschrieben von einem fuhrenden Forscherteam in den USA, ist es eine Fundgrube fur alle, die wissen wollen, was der Stand der Wissenschaft auf diesem Gebiet ist. Die Autoren fuhren die Bereiche der Neuroinformatik und Neurobiologie mit gut ausgesuchten Beispielen und der gebotenen Hintergrundinformation gekonnt zusammen. Das Buch wird somit nicht nur dem Fachwissenschaftler sondern auch dem interdisziplinaren Interesse des Informatikers und des Biologen auf eine hervorragende Weise gerecht. Ubersetzt wurde das Buch von Prof. Dr. Steffen Holldobler und Dipl.-Biol. Claudia Holldobler, einem Informatiker und einer Biologin. Rezension in Spektrum der Wissenschaft nr. 10, S. 122 f. im Oktober 1997 (...) Die 1992 erschienene amerikanische Originalausgabe des vorliegenden Werkes ist so erfolgreich, dass man bereits von einem Klassiker reden kann. (...) (...) ...ist das Buch sehr zu empfehlen.In Verbindung von Neurobiologie und Neuroinformatik konkurrenzlos, vermittelt es einiges von der Faszination theoretischer Hirnforschung, die auch in Deutschland zunehmend mehr Wissenschaftler in ihren Bann schlagt. Rezension erschienen in: Computer Spektrum 3/1997, S. 2 (...)Das Buch wird somit nicht nur dem Fachwissenschaftler, sondern auch den interdisziplinaren Interesse des Informatikers und des Biologen auf eine hervorragende Weise gerecht(...)
Fuzzy-Systems in Computer Science
AvRudolf Kruse,Jörg Gebhardtm. fl.
Häftad, Tyska, 2012
565 kr
Skickas inom 10-15 vardagar
This book contains a selection of revised papers and state-of-the-art overviews on current trends and future perspectives of fuzzy systems. A major aim is to address theoretical as well as application-oriented issues and to contribute to the foundation of concepts, methods, and tools in this field. The book is written by researchers who attended the workshop "Fuzzy Systems '93 - Management of Uncertain Information" (Braunschweig, Germany, October 21-22, 1993), organized by the German Society of Computer Science (GI), the German Computer Science Academy (DIA), and the University of Braunschweig.Dieses Buch enthalt ausgewahlte und auf neuesten Stand gebrachte Fachaufsatze und "State of the Art"-Ubersichtsartikel in englischer Sprache. Sie geben einen Uberblick uber aktuelle Trends sowie Zukunftsperspektiven der Fuzzy-Systeme. Besonderer Wert wird darauf gelegt, dass das Buch in einem ausgewogenen Verhaltnis von Theorie und Praxis zur Fundierung von Konzepten, Methoden und Werkzeugen beitragt.Hervorgegangen ist das Werk aus einem von der Gesellschaft fur Informatik (GI), der Deutschen Informatik Akademie (DIA) und der TU Braunschweig gemeinsam veranstalteten GI-Workshop "Fuzzy-Systeme '93 - Management unsicherer Informationen" (Braunschweig, 21.-22.10.1993). Die Aufsatze wurden uberarbeitet und um Uberblicksartikel erganzt, geschrieben von H. J. Zimmermann, H. Hellendorn, D. Nauck, C. Freksa, S. Gottwald und K. D. Meyer-Gramann.
Automated Theorem Proving
AvWolfgang Bibel
E-bok
PDF, Tyska, 2013
602 kr
Läs direkt efter köp
Automated Theorem Proving
AvWolfgang Bibel
E-bok
PDF, Engelska, 2013
1 416 kr
Läs direkt efter köp
Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi ble advances in computer technology let it appear as a real possibility.
SAP R/3® Guide to EDI and Interfaces
Cut your Implementation Cost with IDocs®, ALE® and RFC®
AvAxel Angeli,Ulrich Streitm. fl.
Häftad, Engelska, 2014
551 kr
Skickas inom 10-15 vardagar
Where Has the Money Gone? 1.1 Communication ............................................................................................................... 2 More than 80% of the time of an EDI project is lost in waiting for answers, trying to understand proposals and retrieving data nobody actually needs. 1.2 Psychology of Communication ...................................................................................... 3 Bringing developers together accelerates every project. Especially when both parties are so much dependent on each other as in an EDI project, the partners need to communicate without pause. 1.3 Phantom SAP Standards and a Calculation ................................................................. 4 SAP RI3 delivers a serious of predefined EDI programs. Many project administrators see them as standards which should not be manipulated or modified. The truth is, that these IDoc processing functions are recommendations and example routines, which can be replaced be own routines in customizing. 1.4 Strategy ............................................................................................................................ 5 Do not loose your time in plans. Have prototypes developed and take them as a basis. 1.5 Who Is On Duty? .............................................................................................................. 5 Writing interface programs is much like translating languages. The same rule apply. 1.6 Marcus T. Cicero .............................................................................................................. 6 Some may have learned it in school: the basic rules of rhetoric according to Cicero. You will know the answers, when your program is at its end. Why don't you ask the questions in the beginning?Ask the right question, then you will know. Wltat Are SAP RI3 'Docs? 2.1 What Are IDocs? .............................................................................................................. 8 IDocs are structured ASCII files (or a virtual equivalent). They are the file format used by SAP R/3 to exchange data with foreign systems.
Ausgezeichnete Informatikdissertationen 1996
Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß
AvFriedrich Roithmayr,K. Rudiger Reischukm. fl.
E-bok
PDF, Tyska, 2013
537 kr
Läs direkt efter köp
Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdisser tation 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 Wissen schaften und Literatur Mainzein Kolloquium, das den Kandidaten Gelegenheit bot, ihre Resultate im Kreis der Mitbewerber vorzustellen und zu verteidigen. Der Ausschuß war von dem hohen Niveau der eingereichten Arbeiten und der Präsentation sehr positiv beeindruckt. Die Teilnehmer begrüßten die Veran staltung des Kolloquiums sehr, nahmen an der Diskussion teil und schätzten die Möglichkeit, mit den Teilnehmern aus anderen Hochschulen ins Gespräch zu kommen. Zu dem Erfolg des Kolloquiums trug auch die großzügige Gast freundschaft der Akademie bei, der hier dafür auch gedankt sei. 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.
Artificial Intelligence — Eine Einführung
AvHarald Trost,Robert Trapplm. fl.
E-bok
PDF, Tyska, 2019
447 kr
Läs direkt efter köp
Ausgezeichnete Informatikdissertationen 1996
Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß
AvWolfgang Bibel,H. Fiedlerm. fl.
Häftad, Tyska, 1998
513 kr
Skickas inom 10-15 vardagar
Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdisser tation 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 Wissen schaften und Literatur Mainzein Kolloquium, das den Kandidaten Gelegenheit bot, ihre Resultate im Kreis der Mitbewerber vorzustellen und zu verteidigen. Der Ausschuß war von dem hohen Niveau der eingereichten Arbeiten und der Präsentation sehr positiv beeindruckt. Die Teilnehmer begrüßten die Veran staltung des Kolloquiums sehr, nahmen an der Diskussion teil und schätzten die Möglichkeit, mit den Teilnehmern aus anderen Hochschulen ins Gespräch zu kommen. Zu dem Erfolg des Kolloquiums trug auch die großzügige Gast freundschaft der Akademie bei, der hier dafür auch gedankt sei. 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.
Artificial Intelligence — Eine Einführung
AvJohannes Retti,Wolfgang Bibelm. fl.
Häftad, Tyska, 1986
511 kr
Skickas inom 5-8 vardagar
Wissensbasierte Systeme
Architektur, Entwicklung, Echtzeitanwendungen - Eine praxisgerechte Einführung
AvDoris Altenkrüger,Winfried Büttnerm. fl.
Häftad, Tyska, 1992
565 kr
Skickas inom 10-15 vardagar
Wissensbasierte Systeme bilden ein Teilgebiet der Künstlichen Intelligenz (KI) und umfassen schwerpunktmäßig Expertensysteme, aber z.B. auch Natürlichsprachliche und Bildverstehende Systeme. Wissensbasierte Systeme verfügen über komplexe Formalismen zur Repräsentation und umfangreiche Techniken zur Verarbeitung von Wissen.Das Buch richtet sich sowohl an Studenten wie auch an Praktiker. Es gibt einen kompetenten Überblick von den Grundlagen bis hin zu den Anwendungen. Die verschiedenen Komponenten bei der Arbeit mit Wissensbasierten Systemen (Wissensbasis, Inferenzmaschine, Akquisition, Erklärung und Dialog) werden in ihrem Zusammenwirken verständlich dargestellt. Insbesondere wird dem Gesichtspunkt der Echtzeitfähigkeit Wissensbasierter Systeme Aufmerksamkeit geschenkt.
Wissensrepräsentation und Inferenz
Eine grundlegende Einführung
AvWolfgang Bibel,Steffen Hölldoblerm. fl.
Häftad, Tyska, 1993
617 kr
Skickas inom 10-15 vardagar
Das Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der Intellektik, d.h. des Gebietes der Künstlichen Intelligenz und der Kognitionswissenschaft. Es behandelt einerseits die Fragen nach einer formalen Beschreibung von Wissen jeglicher Art, besonders unter dem Aspekt einer maschinellen Verarbeitung in modernen Computern. Andererseits versucht es, das Alltagsschließen des Menschen so zu formalisieren, daß logische Schlüsse auch von Maschinen ausgeführt werden könnten. Das Buch gibt eine ausführliche Einführung in dieses umfangreiche Gebiet. Dem Studenten dient es im Rahmen einer solchen Vorlesung oder zum Selbststudium als umfassende Unterlage, und der Praktiker zieht einen großen Gewinn aus der Lektüre dieses modernen Stoffes, der in dieser Breite bisher nicht verfügbar war. Darüber hinaus leistet das Buch einen wichtigen Beitrag zur Forschung dadurch, daß viele Ansätze auf diesem Gebiet in ihren inneren Bezügen in ihrer Bedeutung klarer erkennbar werden und so eine solide Basis für die zukünftige Forschungsarbeit geschaffen ist. Der Leser ist nach der Lektüre dieses Werkes in der Lage, sich mit Details der Wissenspräsentation und Inferenz auseinanderzusetzen.
Neuronale Netze
Grundlagen und Anwendungen
AvAndreas Scherer,Wolfgang Bibel
Häftad, Tyska, 1997
511 kr
Skickas inom 5-8 vardagar
Neuronale Netze sind in den letzten Jahren Gegenstand intensiver Forschungen gewesen. Dieses Buch verbindet die Darstellung neuester Ergebnisse aus dem Bereich der Lernverfahren mit anwendungsbezogenen Aspekten. Es werden methodische Prinzipien der Erstellung von Softwaresystemen, die auf konnektionistischen Verfahren basieren, herausgearbeitet. Fallbeispiele aus unterschiedlichen Anwendungsdomanen zeigen die vielfaltigen Einsatzmoglichkeiten fur Neuronale Netze.
Einführung in Evolutionäre Algorithmen
Optimierung nach dem Vorbild der Evolution
AvVolker Nissen,Wolfgang Bibel
Häftad, Tyska, 1997
461 kr
Skickas inom 5-8 vardagar
Fuzzy-Clusteranalyse
Verfahren für die Bilderkennung, Klassifizierung und Datenanalyse
AvFrank Höppner,Frank Klawonnm. fl.
Häftad, Tyska, 1997
463 kr
Skickas inom 10-15 vardagar
Dieses Buch ist das Standardwerk zu einem neuen Bereich der angewandten Fuzzy-Technologie, der Fuzzy-Clusteranalyse. Diese beinhaltet Verfahren der Mustererkennung zur Gruppierung und Strukturierung von Daten. Dabei werden im Gegensatz zu klassischen Clustering-Techniken die Daten nicht eindeutig zu Klassen zugeordnet, sondern Zugehorigkeitsgrade bestimmt, so dass die Fuzzy-Verfahren robust gegenuber gestorten oder verrauschten Daten sind und fliessende Klassenubergange handhaben konnen. Dieses Werk gibt eine methodische Einfuhrung in die zahlreichen Fuzzy-Clustering-Algorithmen mit ihren Anwendungen in den Bereichen Datenanalyse, Erzeugung von Regeln fur Fuzzy-Regler, Klassifikations- und Approximationsprobleme sowie eine ausfuhrliche Darstellung des Shell-Clustering zur Erkennung von geometrischen Konturen in Bildern.
Multiobjective Heuristic Search
An Introduction to intelligent Search Methods for Multicriteria Optimization
AvPallab Dasgupta,P. P. Chakrabartim. fl.
Häftad, Engelska, 1999
563 kr
Skickas inom 5-8 vardagar
A large number of problems require the optimization of multiple criteria. These crite ria are often non-commensurate and sometimes conflicting in nature making the task of optimization more difficult. In such problems, the task of creating a combined opti mization function is often not easy. Moreover, the decision procedure can be affected by the sensitivity of the solution space, and the trade-off is often non-linear. In real life we traditionally handle such problems by suggesting not one, but several non-dominated solutions. Finding a set of non-dominated solutions is also useful in multistaged opti mization problems, where the solution of one stage of optimization is passed on to the next stage. One classic example is that of circuit design, where high-level synthesis, logic synthesis and layout synthesis comprise important stages of optimization of the circuit. Passing a set of non-dominated partial solutions from one stage to the next typically ensures better global optimization. This book presents a new approach to multi-criteria optimization based on heuristic search techniques. Classical multicriteria optimization techniques rely on single criteria optimization algorithms, and hence we are either required to optimize one criterion at a time (under constraints on the others), or we are asked for a single scalar combined optimization function. On the other hand, the multiobjective search approach maps each optimization criterion onto a distinct dimension of a vector valued cost structure.
Scalable Search in Computer Chess
Algorithmic Enhancements and Experiments at High Search Depths
AvErnst A. Heinz,Wolfgang Bibel
Häftad, Engelska, 1999
1 122 kr
Skickas inom 5-8 vardagar
This book presents the results of our past two-and-a-half years of research aimed at increasing the scalability and performance of game-tree search in computer chess. We elaborate on our respective works in the areas of (I) selective forward pruning, (II) the efficient application of game-theoretical knowledge, and (III) the behaviour of the search at increasing depths. The broad range of topics covered by the three distinct parts of the book seek to provide interesting material for everybody interested in the field of "Compu tational Intelligence", regardless of their individual focus (researcher, student, or other). The text does not require readers to know about chess and computer game-playing beforehand. The initial chapter entitled "Computer-Chess Primer" introduces all the necessary basics and fundamentals thereof. The remaining chapters, however, go far beyond those topics. They show how to make sophisticated game-tree searchers still more scalable at ever higher depths. Throughout the whole book, our high-speed and master-strength chess program DARKTHOUGHT serves as a realistic test vehicle to conduct numerous experiments at unprecedented search depths. The extensive experimental evalu ations provide convincing empirical evidence for the practical usefulness of the techniques presented by us. These results will certainly be of special interest to researchers and programmers of computer strategy-games alike (chess, checkers, Go, and Othello in particular). Last but not least, I like to mention that I am most grateful to the series editors for offering me the opportunity to publish my book under their auspices.
Information Mining
Methoden, Algorithmen und Anwendungen intelligenter Datenanalyse
AvThomas A. Runkler,Wolfgang Bibel
Häftad, Tyska, 2000
565 kr
Skickas inom 10-15 vardagar
Das Buch behandelt die wichtigsten Methoden zur Erkennung und Extraktion von "Wissen" aus numerischen und nichtnumerischen Datenbanken in Technik und Wirtschaft. Hierzu gehören Algorithmen zur Vorverarbeitung, Aufbereitung, Visualisierung und Analyse von Daten. Neben linearen statistischen Methoden werden moderne Verfahren aus den Gebieten Clusteranalyse, Fuzzy-Logik, Neuroinformatik, maschinelles Lernen, Entscheidungsbäume und Agentensysteme vorgestellt. Die praktische Umsetzung der Datenanalyse wird anhand realer Anwendungsprojekte aus der Prozeßtechnik, Netzwerktechnik, Bildverarbeitung und Marketing erläutert. Der Leser lernt die Motivation und Grundlagen der unterschiedlichen Datenanalysemethoden kennen und wird in die Lage versetzt, diese in eigenen Projekten erfolgreich einzusetzen.
Automated Theorem Proving
AvWolfgang Bibel
Häftad, Tyska, 1982
581 kr
Skickas inom 10-15 vardagar
Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
AvDavid A. Plaisted,Yunshan Zhum. fl.
Häftad, Engelska, 1999
549 kr
Skickas inom 10-15 vardagar
This is the second and slightly revised edition of this book. A few errors have been fixed, and some references to related work have been added. I thank the readers for their comments on the first edition. We analyze the search efficiency of a number of common refutational theorem proving strategies on propositional and near-propositional prob lems. Search efficiency is concerned with the total number of proofs and partial proofs generated, rather than with the sizes of the proofs. We show that most common strategies produce search spaces of expo nential size even on simple sets of clauses, or else are not sensitive to the goal. However, clause linking, which uses a reduction to proposi tional calculus, has behavior that is more favorable in some respects, a property that it shares with methods that cache subgoals. A strat egy which is of interest for term-rewriting based theorem proving is the A-ordering strategy, and we discuss it in some detail. We show some advantages of A-ordering over other strategies, which may help to explain its efficiency in practice. We also point out some of its com binatorial inefficiencies, especially in relation to goal-sensitivity and irrelevant clauses. In addition, SLD-resolution, which is of importance for Prolog implementation, has combinatorial inefficiencies; this may suggest basing Prolog implementations on a different theorem proving strategy. We also develop techniques for studying the asymptotic complexity of first-order theorem provers. This permits an analytic comparison of the worst-case performances of various theorem proving methods.
Sehen und die Verarbeitung visueller Information
Eine Einführung
AvHanspeter A. Mallot,Wolfgang Bibel
Häftad, Tyska, 2000
463 kr
Skickas inom 10-15 vardagar
Sehen ist die Ermittlung von Informationen aus Bildern. Welche Informationsquellen dabei genutzt werden und wie die Auswertung im Einzelnen vorgenommen werden kann, ist Gegenstand dieses einführenden Lehrbuches. Es behandelt die sogenannte Kompetenztheorie des Sehens für die elementaren Wahrnehmungen, wie Kontrast, Farbe, Tiefe und Bewegung. Als visuell gesteuerte Verhaltensleistungen werden Augenbewegungen und die Navigation behandelt. Technisches Sehen (Computer vision) und die Wahrnehmungsmechanismen des Menschen werden wo immer möglich gemeinsam und vergleichend dargestellt. Die verwendeten mathematischen Verfahren werden im Text eingeführt und erläutert; ein Glossar wesentlicher Begriffe erleichtert das Verständnis.
Automated Theorem Proving
AvWolfgang Bibel
Häftad, Engelska, 1987
1 124 kr
Skickas inom 10-15 vardagar
Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi ble advances in computer technology let it appear as a real possibility.
5th Conference on Automated Deduction
Les Arcs, France, July 8-11, 1980
AvWolfgang Bibel,R. Kowalski
Häftad, Engelska, 1980
549 kr
Skickas inom 10-15 vardagar

Wolfgang Bibel – författare

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Mathematical Methods of Specification and Synthesis of Software Systems ‘85

Mathematical Methods of Specification and Synthesis of Software Systems '85

Lehren vom Leben

Wissensrepräsentation und Inferenz

Grundlagen zur Neuroinformatik und Neurobiologie

Fuzzy-Systems in Computer Science

Automated Theorem Proving

Automated Theorem Proving

SAP R/3® Guide to EDI and Interfaces

Ausgezeichnete Informatikdissertationen 1996

Artificial Intelligence — Eine Einführung

Ausgezeichnete Informatikdissertationen 1996

Artificial Intelligence — Eine Einführung

Wissensbasierte Systeme

Wissensrepräsentation und Inferenz

Neuronale Netze

Einführung in Evolutionäre Algorithmen

Fuzzy-Clusteranalyse

Multiobjective Heuristic Search

Scalable Search in Computer Chess

Information Mining

Automated Theorem Proving

Efficiency of Theorem Proving Strategies

Sehen und die Verarbeitung visueller Information

Automated Theorem Proving

5th Conference on Automated Deduction