Stratification for Variants of Default Logic

Has publishing details pp. 830, 1997

Has title Stratification for Variants of Default Logic

Has url http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai97.html#ErnstA97

Has where published AAAI/IAAI

Has year 1997

Has author Jörg Ernst +, Grigoris Antoniou +

Has identifier Stratification for Variants of Default Logic +

Categories Proceeding Paper +