fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Wrightson / Fronhöfer

Parallelization in Inference Systems

International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings

Medium: Buch
ISBN: 978-3-540-55425-7
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 22.04.1992
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

This volume contains the proceedings of an international
workshop on parallelism in inference systems held in Germany
in December 1990. The topicof the workshop is still rather
young and several papers in the book are overview articles
intended to provide a first orientation toward some of the
more intensively investigated subtopics.
The main part of the book is a compilation of research
papers on parallelization in special domains ofinference
such as rewriting, automatic reasoning, logic programming,
andconnectionist inference. Appended to the book is a
collection of short project summaries received in response
to a worldwide email call.
The book is intended primarily for researchers working on
inference systems who are interested in parallelizing their
systems.

Produkteigenschaften

  • Artikelnummer: 9783540554257
  • Medium: Buch
  • ISBN: 978-3-540-55425-7
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 22.04.1992
  • Sprache(n): Englisch
  • Auflage: 1992
  • Serie: Lecture Notes in Artificial Intelligence
  • Produktform: Kartoniert
  • Gewicht: 1200 g
  • Seiten: 378
  • Format (B x H x T): 155 x 235 x 21 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

Potentiality of parallelism in logic.- Parallel theorem provers An overview.- Parallel unification: Theory and implementations.- Connectionist inference systems.- Implementing parallel rewriting.- Experiments with Roo, a parallel automated deduction system.- A process algebra over the Herbrand Universe: Application to parallelism in automated deduction.- Using the Reform inference system for parallel Prolog.- Random competition: A simple, but efficient method for parallelizing inference systems.- Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification.- Constraint satisfaction via partially parallel propagation steps.- A parallel theorem prover with heuristic work distribution.- Non-WAM models of logic programming and their support by novel parallel hardware.- The adam abstract dataflow machine.- Parallel computation model for parallel prolog.- Application of connectionist models to fuzzy inference systems.- CHCL — A connectionist inference system.- Project Summaries.