A note on the relationship between KLM and MAK models for nonmonotonic inference operations:
Saved in:
Bibliographic Details
Main Authors: Dix, Jürgen 1961- (Author), Makinson, David (Author)
Format: Book
Language:English
Published: Karlsruhe Inst. für Logik, Komplexität und Deduktionssysteme 1991
Series:Interner Bericht / Universität Karlsruhe, Fakultät für Informatik 1991,16
Physical Description:7 Bl.