Truth Maintenance Systems
ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Joao P. Martins
Themen in »Truth Maintenance Systems«
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 Systems Truth-Maintenance-Systeme artificial intelligence intelligence knowledge proving semantics