نتایج جستجو برای: soft deductive system
تعداد نتایج: 2340539 فیلتر نتایج به سال:
A sound and complete view update procedure for a probabilistic deductive database is formulated using SLDp derivation trees introduced by Ng and Subrahmanian in 8]. In order to reduce the number of valid translations that can satisfy an update request a preference criteria is proposed. Moreover, we introduce a method called-factor to minimize the change eeected by updates in the database.
this study tried to explore disciplinary variations of web blurbs across soft and hard knowledge fields on the one hand, and to illustrate how academic publishers exploit interactional metadiscourse devices in move structure of their blurbs on the other.
The aim of this paper is to introduce the notion of fantastic deductive systems on generalizations of fuzzy structures, and to emphasize their role in the probability theory on these algebras. We give a characterization of commutative pseudo-BE algebras and we generalize an axiom system consisting of four identities to the case of commutative pseudo-BE algebras. We define the fantastic deductiv...
Deductive database systems have made major advances on eecient support for nonmonotonic reasoning. A rst generation of deductive database systems supported the notion of stratiication for programs with negation and set aggregates. Stratiication is simple to understand and eecient to implement but it is too restrictive; therefore, a second generation of systems seeks eecient support for more pow...
Aditi is a deductive database system under development at the Collaborative Information Technology Research Institute by researchers from the University of Melbourne. This document is an introductory guide to the Aditi system.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید