Pseudo Extension in Default Reasoning and Belief Revision by Model Inference

Hiroko Yuasa, Setsuo Arikawa. Pseudo Extension in Default Reasoning and Belief Revision by Model Inference. In Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki, editors, Logic Programming 88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988. Volume 383 of Lecture Notes in Computer Science, pages 27-37, Springer, 1988.

Abstract

Abstract is missing.