Truth Maintenance Systems
Produktnummer:
1880ba1fa68b244bb6a1c64ad2274a008e
| Themengebiete: | Automatisches Schließen und Beweisen Belief Revision Deduction and Theorem Proving European Conference on Artificial Intelligence Extension Meta-Level-Cotrol Meta-Level-Kontrolle Truth-Maintenance-Systeme Truth Maintenance Systems artificial intelligence |
|---|---|
| Veröffentlichungsdatum: | 24.07.1991 |
| EAN: | 9783540543053 |
| Sprache: | Englisch |
| Seitenzahl: | 180 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Martins, Joao P. Reinfrank, Michael |
| Verlag: | Springer Berlin |
| Untertitel: | ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings |
Produktinformationen "Truth Maintenance Systems"
This volume presents ten selected papers relating to the Truth Maintenance Workshop, August 1990, Stockholm. The main themes are: meta-level control, extensions of Truth Maintenance Systems, foundations, and belief revision.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen