Grigoris Antoniou Cara MacNish Conservative extension concepts for nonmonotonic knowledge bases. 859-877 2000 15 Int. J. Intell. Syst. 9 db/journals/ijis/ijis15.html#AntoniouM00