Computing Default Logic Extensions: An Implementation

Has publishing details pp. 1381, 1996

Has title Computing Default Logic Extensions: An Implementation

Has url http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai96-2.html#CourtneyFA96

Has where published AAAI/IAAI, Vol. 2

Has year 1996

Has author Allen P. Courtney +, Norman Y. Foo +, Grigoris Antoniou +

Has identifier Computing Default Logic Extensions: An Implementation +

Categories Proceeding Paper +