Abstract properties for the choice provability relation in nonmonotonic logics

Grigoris Antoniou. Abstract properties for the choice provability relation in nonmonotonic logics. In Pietro Torasso, editor, Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA 93, Torino, Italy, October 26-28, 1993, Proceedings. Volume 728 of Lecture Notes in Computer Science, pages 35-40, Springer, 1993.

Abstract

Abstract is missing.