For other relationships of circumscription to deductive databases, see papers by Minker and Perlis [1984a, 1985], by Lifschitz [1986] and by Reiter [1982].
確定! 回上一頁