Aktualisiert: 2023-07-02
> findR *
GWAI-91 15. Fachtagung für Künstliche Intelligenz
Schlüsselwort: logisches Programmieren
GWAI-91 15. Fachtagung für Künstliche Intelligenz
GWAI-91 15. Fachtagung für Künstliche Intelligenz
Parallelität und Transputer
Die Grundlagen der parallelen Programmierung werden in diesem Buch am Beispiel der Realisierung mit Hilfe von Transputern wie Occam und unter besonderer Berücksichtigung der Programmiersprache LINDA vermittelt. Dabei werden die Grundlagen allgemein behandelt, bevor auf die besonderen Realisierungsmöglichkeiten in exemplarischer Weise eingegangen wird. Ein Lehr- und Arbeitsbuch, das zum aktuellen Thema der Programmierung verteilter Systeme einen fundierten und praxisbezogenen Einstieg anbietet.
Aktualisiert: 2023-07-02
> findR *
Parallelität und Transputer
Die Grundlagen der parallelen Programmierung werden in diesem Buch am Beispiel der Realisierung mit Hilfe von Transputern wie Occam und unter besonderer Berücksichtigung der Programmiersprache LINDA vermittelt. Dabei werden die Grundlagen allgemein behandelt, bevor auf die besonderen Realisierungsmöglichkeiten in exemplarischer Weise eingegangen wird. Ein Lehr- und Arbeitsbuch, das zum aktuellen Thema der Programmierung verteilter Systeme einen fundierten und praxisbezogenen Einstieg anbietet.
Aktualisiert: 2023-07-02
> findR *
Methoden wissensbasierter Systeme
Von namhaften Professoren empfohlen: State-of-the-Art bietet das Buch zu diesem klassischen Bereich der Informatik. Die wesentlichen Methoden wissensbasierter Systeme werden verständlich und anschaulich dargestellt. Repräsentation und Verarbeitung sicheren und unsicheren Wissens in maschinellen Systemen stehen dabei im Mittelpunkt. Ein Online-Service mit ausführlichen Musterlösungen erleichtert das Lernen.
Aktualisiert: 2023-07-02
> findR *
Methoden wissensbasierter Systeme
Von namhaften Professoren empfohlen: State-of-the-Art bietet das Buch zu diesem klassischen Bereich der Informatik. Die wesentlichen Methoden wissensbasierter Systeme werden verständlich und anschaulich dargestellt. Repräsentation und Verarbeitung sicheren und unsicheren Wissens in maschinellen Systemen stehen dabei im Mittelpunkt. Ein Online-Service mit ausführlichen Musterlösungen erleichtert das Lernen.
Aktualisiert: 2023-07-02
> findR *
Methoden wissensbasierter Systeme
Von namhaften Professoren empfohlen: State-of-the-Art bietet das Buch zu diesem klassischen Bereich der Informatik. Die wesentlichen Methoden wissensbasierter Systeme werden verständlich und anschaulich dargestellt. Repräsentation und Verarbeitung sicheren und unsicheren Wissens in maschinellen Systemen stehen dabei im Mittelpunkt. Ein Online-Service mit ausführlichen Musterlösungen erleichtert das Lernen.
Aktualisiert: 2023-07-02
> findR *
3. Österreichische Artificial-Intelligence-Tagung
3. Österreichische Artificial-Intelligence-Tagung
3. Österreichische Artificial-Intelligence-Tagung
Inkonsistenzen in deduktiven Datenbanken
Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemäßes Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozeßdatenbanken, die ihre Eingabe über Sensoren erhalten, werden die Daten im Normalfall durch menschliche Benutzer eingegeben. Es ist daher notwendig, einen schwächeren Begriff der Konsistenz einzuführen. Die in der gegebenen Miniwelt beobachteten Gesetzmäßigkeiten werden mittels Konsistenzbedingungen - im allgemeinen geschlossene prädikatenlogische Formeln - modelliert. Eine Datenbasis wird dann als konsistent bezeichnet, wenn die Konsistenzbedingungen erfüllt sind. Die klassische Reaktion auf das Auftreten einer Inkonsistenz, das Rücksetzen der Transaktion, ist keine zufriedenstellende Lösung. Das Buch unterbreitet deshalb einen Vorschlag, wie der Benutzer mit detaillierter Information über die Konsistenzverletzung versorgt werden kann. Hierzu werden neben dem eigentlichen Konsistenztest weitere Komponenten vorgestellt, die eine eingehende Analyse der Inkonsistenz erlauben. Das Ergebnis der Analyse wird dann weiter dazu benutzt, automatische Konsistenzreparaturen zu generieren. Neben den hierzu erforderlichen theoretischen Grundlagen wird eine prototypische Implementierung beschrieben.
Aktualisiert: 2023-07-02
> findR *
Inkonsistenzen in deduktiven Datenbanken
Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemäßes Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozeßdatenbanken, die ihre Eingabe über Sensoren erhalten, werden die Daten im Normalfall durch menschliche Benutzer eingegeben. Es ist daher notwendig, einen schwächeren Begriff der Konsistenz einzuführen. Die in der gegebenen Miniwelt beobachteten Gesetzmäßigkeiten werden mittels Konsistenzbedingungen - im allgemeinen geschlossene prädikatenlogische Formeln - modelliert. Eine Datenbasis wird dann als konsistent bezeichnet, wenn die Konsistenzbedingungen erfüllt sind. Die klassische Reaktion auf das Auftreten einer Inkonsistenz, das Rücksetzen der Transaktion, ist keine zufriedenstellende Lösung. Das Buch unterbreitet deshalb einen Vorschlag, wie der Benutzer mit detaillierter Information über die Konsistenzverletzung versorgt werden kann. Hierzu werden neben dem eigentlichen Konsistenztest weitere Komponenten vorgestellt, die eine eingehende Analyse der Inkonsistenz erlauben. Das Ergebnis der Analyse wird dann weiter dazu benutzt, automatische Konsistenzreparaturen zu generieren. Neben den hierzu erforderlichen theoretischen Grundlagen wird eine prototypische Implementierung beschrieben.
Aktualisiert: 2023-07-02
> findR *
Inkonsistenzen in deduktiven Datenbanken
Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemäßes Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozeßdatenbanken, die ihre Eingabe über Sensoren erhalten, werden die Daten im Normalfall durch menschliche Benutzer eingegeben. Es ist daher notwendig, einen schwächeren Begriff der Konsistenz einzuführen. Die in der gegebenen Miniwelt beobachteten Gesetzmäßigkeiten werden mittels Konsistenzbedingungen - im allgemeinen geschlossene prädikatenlogische Formeln - modelliert. Eine Datenbasis wird dann als konsistent bezeichnet, wenn die Konsistenzbedingungen erfüllt sind. Die klassische Reaktion auf das Auftreten einer Inkonsistenz, das Rücksetzen der Transaktion, ist keine zufriedenstellende Lösung. Das Buch unterbreitet deshalb einen Vorschlag, wie der Benutzer mit detaillierter Information über die Konsistenzverletzung versorgt werden kann. Hierzu werden neben dem eigentlichen Konsistenztest weitere Komponenten vorgestellt, die eine eingehende Analyse der Inkonsistenz erlauben. Das Ergebnis der Analyse wird dann weiter dazu benutzt, automatische Konsistenzreparaturen zu generieren. Neben den hierzu erforderlichen theoretischen Grundlagen wird eine prototypische Implementierung beschrieben.
Aktualisiert: 2023-07-02
> findR *
Inkonsistenzen in deduktiven Datenbanken
Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemäßes Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozeßdatenbanken, die ihre Eingabe über Sensoren erhalten, werden die Daten im Normalfall durch menschliche Benutzer eingegeben. Es ist daher notwendig, einen schwächeren Begriff der Konsistenz einzuführen. Die in der gegebenen Miniwelt beobachteten Gesetzmäßigkeiten werden mittels Konsistenzbedingungen - im allgemeinen geschlossene prädikatenlogische Formeln - modelliert. Eine Datenbasis wird dann als konsistent bezeichnet, wenn die Konsistenzbedingungen erfüllt sind. Die klassische Reaktion auf das Auftreten einer Inkonsistenz, das Rücksetzen der Transaktion, ist keine zufriedenstellende Lösung. Das Buch unterbreitet deshalb einen Vorschlag, wie der Benutzer mit detaillierter Information über die Konsistenzverletzung versorgt werden kann. Hierzu werden neben dem eigentlichen Konsistenztest weitere Komponenten vorgestellt, die eine eingehende Analyse der Inkonsistenz erlauben. Das Ergebnis der Analyse wird dann weiter dazu benutzt, automatische Konsistenzreparaturen zu generieren. Neben den hierzu erforderlichen theoretischen Grundlagen wird eine prototypische Implementierung beschrieben.
Aktualisiert: 2023-07-02
> findR *
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
Wissensbasierte Systeme
Künstliche Intelligenz
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2023-07-02
> findR *
Bücher zum Thema logisches Programmieren
Sie suchen ein Buch über logisches Programmieren? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema logisches Programmieren. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema logisches Programmieren im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema logisches Programmieren einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
logisches Programmieren - Große Auswahl Bücher bei Buch findr
Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema logisches Programmieren, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:
- Logisches Quadrat
- logisches Rätsel
- logisches Schließen
- logisches Schlussfolgern
- Logisches_Denken
- logischesDenken
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter logisches Programmieren und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.