Sound and Complete Propositional Nonmonotonic Logic of Hierarchically-Minimal Models

Marek A. Suchenek. Sound and Complete Propositional Nonmonotonic Logic of Hierarchically-Minimal Models. In Mieczyslaw A. Klopotek, Maciej Michalewicz, Slawomir T. Wierzchon, editors, Intelligent Information Systems, Proceedings of the IIS 2000 Symposium, June 12-16, 2000, Bystra, Poland. Advances in Soft Computing, pages 193-205, Physica-Verlag, 2000.

Abstract

Abstract is missing.