Author: Joachim Laubsch
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292
Book Description
GWAI-84
Author: Joachim Laubsch
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292
Book Description
GWAI-90 14th German Workshop on Artificial Intelligence
Author: Heinz Marburger
Publisher: Springer
ISBN: 9783540531326
Category : Computers
Languages : en
Pages : 348
Book Description
Auf der "GWAI-90 - 14th German Workshop on Artificial Intelligence" wurden auch in diesem Jahr im Vortragsprogramm und in fünf speziellen Workshops aktuelle KI-Forschungsergebnisse präsentiert sowie in zwei Tutorien Grundlagen von KI-Teilgebieten dargestellt. Der vorliegende Band enthält die Texte der 34 Vorträge und der zwei eingeladenen Hauptvorträge. Die angesprochenen Themenbereiche der KI sind: Wissensrepräsentation, Mensch-Computer-Interaktion, Expertensysteme, Kognition, Deduktion, Natürlichsprachliche Systeme, Maschinelles Lernen, Bildverstehen und KI-Programmiersprachen. Sowohl die Verteilung der Beiträge in diesem Band als auch die der eingereichten Beiträge auf die KI-Gebiete deutet auf eine Konzentration der Forschungsaktivitäten auf Natürlichsprachliche Systeme und Wissensrepräsentation hin.
Publisher: Springer
ISBN: 9783540531326
Category : Computers
Languages : en
Pages : 348
Book Description
Auf der "GWAI-90 - 14th German Workshop on Artificial Intelligence" wurden auch in diesem Jahr im Vortragsprogramm und in fünf speziellen Workshops aktuelle KI-Forschungsergebnisse präsentiert sowie in zwei Tutorien Grundlagen von KI-Teilgebieten dargestellt. Der vorliegende Band enthält die Texte der 34 Vorträge und der zwei eingeladenen Hauptvorträge. Die angesprochenen Themenbereiche der KI sind: Wissensrepräsentation, Mensch-Computer-Interaktion, Expertensysteme, Kognition, Deduktion, Natürlichsprachliche Systeme, Maschinelles Lernen, Bildverstehen und KI-Programmiersprachen. Sowohl die Verteilung der Beiträge in diesem Band als auch die der eingereichten Beiträge auf die KI-Gebiete deutet auf eine Konzentration der Forschungsaktivitäten auf Natürlichsprachliche Systeme und Wissensrepräsentation hin.
GWAI-87 11th German Workshop on Artificial Intelligence
Author: Katharina Morik
Publisher: Springer Science & Business Media
ISBN: 3642730051
Category : Computers
Languages : en
Pages : 416
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642730051
Category : Computers
Languages : en
Pages : 416
Book Description
Recent Trends in Data Type Specification
Author: Hans-Jörg Kreowski
Publisher: Springer Science & Business Media
ISBN: 3662096919
Category : Computers
Languages : en
Pages : 262
Book Description
Publisher: Springer Science & Business Media
ISBN: 3662096919
Category : Computers
Languages : en
Pages : 262
Book Description
Begründungsverwaltung
Author: Herbert Stoyan
Publisher: Springer Science & Business Media
ISBN: 3642733859
Category : Computers
Languages : en
Pages : 161
Book Description
Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, da€ eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlu€regeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.
Publisher: Springer Science & Business Media
ISBN: 3642733859
Category : Computers
Languages : en
Pages : 161
Book Description
Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, da€ eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlu€regeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems
Author: Fevzi Belli
Publisher: Springer Science & Business Media
ISBN: 3642456286
Category : Computers
Languages : en
Pages : 401
Book Description
Dieser Band enthält die 38 Beiträge der 3. GI/ITG/GMA-Fachtagung über "Fehlertolerierende Rechensysteme". Unter den 10 aus dem Ausland eingegangenen Beiträgen sind 4 eingeladene Vorträge. Insgesamt dokumentiert dieser Tagungsband die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten drei Jahren vor allem in Europa. Sämtliche Beiträge sind neue Forschungs- oder Entwicklungsergebnisse, die vom Programmausschuß der Tagung aus 70 eingereichten Beiträgen ausgewählt wurden.
Publisher: Springer Science & Business Media
ISBN: 3642456286
Category : Computers
Languages : en
Pages : 401
Book Description
Dieser Band enthält die 38 Beiträge der 3. GI/ITG/GMA-Fachtagung über "Fehlertolerierende Rechensysteme". Unter den 10 aus dem Ausland eingegangenen Beiträgen sind 4 eingeladene Vorträge. Insgesamt dokumentiert dieser Tagungsband die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten drei Jahren vor allem in Europa. Sämtliche Beiträge sind neue Forschungs- oder Entwicklungsergebnisse, die vom Programmausschuß der Tagung aus 70 eingereichten Beiträgen ausgewählt wurden.
Expert Systems in Production Engineering
Author: Georg Menges
Publisher: Springer Science & Business Media
ISBN: 3642831265
Category : Computers
Languages : en
Pages : 251
Book Description
The present volume contains edited versions of the communications presented at an International Workshop on "Expert Systems in Production Engineering", held in Spa, Belgium, in 1986. Introductory papers on Artificial Intelligence and Expert Systems are complemented by case studies of Expert Systems in practice, primarily, in the area of Mechanical Engineering and discussions of the possibilities and the limitations of Expert Systems.
Publisher: Springer Science & Business Media
ISBN: 3642831265
Category : Computers
Languages : en
Pages : 251
Book Description
The present volume contains edited versions of the communications presented at an International Workshop on "Expert Systems in Production Engineering", held in Spa, Belgium, in 1986. Introductory papers on Artificial Intelligence and Expert Systems are complemented by case studies of Expert Systems in practice, primarily, in the area of Mechanical Engineering and discussions of the possibilities and the limitations of Expert Systems.
Cybernetics and Systems ’86
Author: R. Trappl
Publisher: Springer Science & Business Media
ISBN: 9400946341
Category : Computers
Languages : en
Pages : 912
Book Description
This volume contains all papers presented at the Eighth European Meeting on Cybernetics and Systems Research. 169 draft papers were submitted for evaluation. In the process of careful refereeing, 33 papers were rejected and the remaining authors were invited to submit final papers. Out of these, 119 were accepted for presentation at the conference and publication in this volume. These papers were prepared by 173 scientists, authors and co-authors, from 22 European and non-European countries, with different cultural, social, and economic structures. Everybody tried hard to make this conference and its proceedings a true representation of state-of-the-art research worldwide: The members of the Programme Committee and the Chairmen of the Symposia were selected among the ~internationally leading scientists. Great care was taken not to make this conference a "European" or even "Austrian" one. We are happy and proud to hear that these "European Meetings" (the name is a purely traditional one) are recognized as the internationally leading conferences in cybernetics and systems research. Important scientists from allover the world carefully prepare their papers, containing their most recent research findings, and then enjoy the discussions with their co 11 eagues.
Publisher: Springer Science & Business Media
ISBN: 9400946341
Category : Computers
Languages : en
Pages : 912
Book Description
This volume contains all papers presented at the Eighth European Meeting on Cybernetics and Systems Research. 169 draft papers were submitted for evaluation. In the process of careful refereeing, 33 papers were rejected and the remaining authors were invited to submit final papers. Out of these, 119 were accepted for presentation at the conference and publication in this volume. These papers were prepared by 173 scientists, authors and co-authors, from 22 European and non-European countries, with different cultural, social, and economic structures. Everybody tried hard to make this conference and its proceedings a true representation of state-of-the-art research worldwide: The members of the Programme Committee and the Chairmen of the Symposia were selected among the ~internationally leading scientists. Great care was taken not to make this conference a "European" or even "Austrian" one. We are happy and proud to hear that these "European Meetings" (the name is a purely traditional one) are recognized as the internationally leading conferences in cybernetics and systems research. Important scientists from allover the world carefully prepare their papers, containing their most recent research findings, and then enjoy the discussions with their co 11 eagues.
Natural Language Generation
Author: G.A. Kempen
Publisher: Springer Science & Business Media
ISBN: 9400936451
Category : Computers
Languages : en
Pages : 460
Book Description
Proceedings of the NATO Advanced Research Workshop, Nijmegen, The Netherlands, August 19-23, 1986
Publisher: Springer Science & Business Media
ISBN: 9400936451
Category : Computers
Languages : en
Pages : 460
Book Description
Proceedings of the NATO Advanced Research Workshop, Nijmegen, The Netherlands, August 19-23, 1986
Vibration and Wear in High Speed Rotating Machinery
Author: Júlio M. Montalvão e Silva
Publisher: Springer Science & Business Media
ISBN: 940091914X
Category : Technology & Engineering
Languages : en
Pages : 830
Book Description
Proceedings of the NATO Advanced Study Institute on Vibration and Wear Damage in High Speed Rotating Machinery, Tróia, Sebútal, April 10-22, 1989
Publisher: Springer Science & Business Media
ISBN: 940091914X
Category : Technology & Engineering
Languages : en
Pages : 830
Book Description
Proceedings of the NATO Advanced Study Institute on Vibration and Wear Damage in High Speed Rotating Machinery, Tróia, Sebútal, April 10-22, 1989