On the Classification and Existence of Structures in Default Logic

Aidong Zhang, V. Wiktor Marek. On the Classification and Existence of Structures in Default Logic. In João P. Martins, Ernesto M. Morgado, editors, EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings. Volume 390 of Lecture Notes in Computer Science, pages 129-140, Springer, 1989.

Abstract

Abstract is missing.