Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes)

Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi. Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes). In S. Ramani, Raman Chandrasekar, K. S. R. Anjaneyulu, editors, Knowledge Based Computer Systems, International Conference KBCS 89, Bombay, India, December 11-13, 1989, Proceedings. Volume 444 of Lecture Notes in Computer Science, pages 276-285, Springer, 1989.

Abstract

Abstract is missing.