Intuitionistic Interpretation of Deductive Databases with Incomplete Information


Dong, F. and L.V.S. Lakshmanan, Intuitionistic interpretation of deductive databases with incomplete information, Theoretical Computer Science 133 (1994) 267-306. The aim of this paper is to build the relationship between deductive databases with incomplete information and hypothetical reasoning using embedded implications. We first consider the semantics… (More)
DOI: 10.1016/0304-3975(94)90191-0


  • Presentations referencing similar topics