How Uncomputable is General Circumscription? (Extended Abstract)