Abductive Reasoning over Temporal Specifications of Objects

Paula Gouveia, Cristina Sernadas. Abductive Reasoning over Temporal Specifications of Objects. In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing, editors, Advances in Modal Logic 2, papers from the second workshop on Advances in Modal logic, held in Uppsala, Sweden, 1998. pages 275-300, CSLI Publications, 1998.

Abstract

Abstract is missing.