Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases.

Bertrand Mazure, Lakhdar Sais, ric Grgoire

Browse the full ECSQARU paper archive.