Sven Suska

发表

A Proof Theory for Preferential Default Description Logics

Sven Suska, 1994 .

Weighted Defaults in Description Logics: Formal Properties and Proof Theory

Joachim Quantz, Sven Suska, J. Quantz, 1994, KI.