Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Ein tiefgehendes Fachbuch von Springer Nature, das die Theorie‑Revision, Vererbung und abstrakte Eigenschaften nichtmonotoner Logiken untersucht; 52 ...