E-Book, Deutsch, Band 18, 371 Seiten, eBook
Begründungsverwaltung
1996
ISBN: 978-3-322-97617-8
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
Grundlagen, Systeme und Algorithmen
E-Book, Deutsch, Band 18, 371 Seiten, eBook
Reihe: XTEUBNER-TEXTE zur Informatik
ISBN: 978-3-322-97617-8
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Graduate
Weitere Infos & Material
1 Einleitung.- 2 Generisches Truth-Maintenance.- 3 Nicht-monotones Truth-Maintenance.- 4 Logisches Truth-Maintenance.- 5 Annahmen-basiertes Truth-Maintenance — Grundlagen.- 6 Annahmen-basiertes Truth-Maintenance — Erweiterungen.- 7 Annahmen-basiertes Truth-Maintenance — Consumer.- 8 Verteiltes Truth-Maintenance.- 9 Zusammenfassung.- Verzeichnis der Algorithmen.