Linking Transition-based Update and Base Revision

Marie-Odile Cordier, Jérôme Lang. Linking Transition-based Update and Base Revision. In Christine Froidevaux, Jürg Kohlas, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 95, Fribourg, Switzerland, July 3-5, 1995, Proceedings. Volume 946 of Lecture Notes in Computer Science, pages 133-142, Springer, 1995.

Abstract

Abstract is missing.