Paraconsistent Circumscription: First-Order Case

Zuoquan Lin. Paraconsistent Circumscription: First-Order Case. In ISMVL. pages 112-116, 1995. [doi]

Abstract

Abstract is missing.