KIT | KIT-Bibliothek | Impressum | Datenschutz

Prime Implicate-based Belief Revision Operators

Bienvenu, Meghyn; Herzig, Andreas; Qi, Guilin



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2008
Sprache Englisch
Identifikator ISBN: 978-1-58603-891-5
ISSN: 0922-6389
KITopen ID: 1000016149
Erschienen in Proceedings / ECAI 2008 - 18th European Conference on Artificial Intelligence, July 21 - 25, 2008, Patras, Greece. Ed.: M. Ghallab
Verlag IOS Press, Amsterdam
Seiten 741 - 742
Serie Frontiers in artificial intelligence and applications ; 178
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page