A proof theory for preferential default description logics

Cover
TU, Fachbereich 13, Projektgruppe KIT, 1994 - 68 Seiten

Bibliografische Informationen

TitelA proof theory for preferential default description logics
Band 117 von Institut für Angewandte Informatik Berlin, Projektgruppe KIT: KIT-Report
Band 117 von KIT-Report, Technische Universität Berlin Institut für Software und Theoretische Informatik
Autor/inSven Suska
VerlagTU, Fachbereich 13, Projektgruppe KIT, 1994
Länge68 Seiten
  
Zitat exportierenBiBTeX EndNote RefMan