A note on the relationship between KLM and MAK models for nonmonotonic inference operations:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Dix, Jürgen 1961- (VerfasserIn), Makinson, David (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Karlsruhe Inst. für Logik, Komplexität und Deduktionssysteme 1991
Schriftenreihe:Interner Bericht / Universität Karlsruhe, Fakultät für Informatik 1991,16
Umfang:7 Bl.