Computation and Implementation of Non-Monotonic Deductive Databases.
V. S. Subrahmanian · 1995
Abstract : This is the final report on a 3-year grant from the Army Research Office to the University of Maryland to conduct research in the area of 'Computation and Implementation of Non-Monotonic Deductive Databases.' The main goal of the research was to study methods of efficient, scalable reasoning about situations where only incomplete and/or uncertain information is available. Towards this end, we conducted research on databases that contain incomplete symbolic information-such databases are typically called 'nonmonotonic deductive databases.' We also studied systems that contain incomplete information, but where different probability measures are available specifying partial information about the missing information.