- F. Bancilhon {1985a}. "Performance of rule based systems," unpublished manuscript, MCC, Austin, TX.Google Scholar
- F. Bancilhon {1985b}. "Naive evaluation of recursively defined relations," unpublished manuscript, MCC, Austin, TX.Google Scholar
- D. Brough and A. Walker {1984}. "Some practical properties of logic programming interpreters," Proc. Japan FGCS84 Coal., November 1984, pp. 149-156.Google Scholar
- H. Gallaire and J. Minker (eds.) {1978}. Logic and Databases, Plenum, New York. Google ScholarDigital Library
- E. L. Lozinski {1984}. "Inference by generating and structuring of deductive databases," Report 84-11, Dept. of CS, Hebrew Univ.Google Scholar
- D. Maier {1983}. The Theory of Rela~ionM Databases, Computer Science Press, Rockville, Md. Google ScholarDigital Library
- D. Maier and D. S. Warren {1985}. /n~roduc~ion ~o Logic Programming, unpublished memorandum, Oregon Graduate Center.Google Scholar
- D. McKay and S. Shapiro {1981}. "Using active connection graphs for reasoning with recursive rules," Proc. 7th IJCAI, pp. 368- 374.Google Scholar
- F. C. N. Pereira and D. H. D. Warren {1983}. "Parsing as deductions," Proc. 21s~ Meeting of ~he ACL, June 1983. Google ScholarDigital Library
- H. H. Porter, III {1985}. "Barley deductions," unpublished manuscript, Oregon Graduate Center.Google Scholar
- Y. Sagiv and J. D. UUman {1984}. "Complexity of a top-down capture rule," STAN- CS-84-1009, Dept. of CS, Stanford Univ. Google ScholarDigital Library
- J. D. Ullman {1982}. Principles of Database Systems, Computer Science Press, Rock, ville, Md. Google ScholarDigital Library
- J. D. Ullman {1985}. "implementation of logical query languages for databases," ACM Trans. on database Systems 10:3, pp. 289- 321. Google ScholarDigital Library
- A. Va~ Gelder {1985}. "A Message Passing Framework for Logical Query Evaluation," Tech. Report, Dept. of CS, Stanford Univ.Google Scholar
Index Terms
- Magic sets and other strange ways to implement logic programs (extended abstract)
Recommendations
Type-2 fuzzy rough sets based on extended t-norms
A type-2 fuzzy rough set based on extended t-norms is investigated from constructive and axiomatic approaches.An approximation algorithm of type-2 fuzzy rough sets is listed based on α-cut sets.Weak type-2 fuzzy topologies are proposed to investigate ...
Toward a Fuzzy Logic System Based on General Forms of Interval Type-2 Fuzzy Sets
Recent years have witnessed a widespread in the use of interval type-2 fuzzy logic systems (IT2 FLSs) in real-world applications. It has been shown recently that interval type-2 fuzzy sets (IT2 FSs) are more general than interval-valued fuzzy sets (IV FSs)...
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
SUM '09: Proceedings of the 3rd International Conference on Scalable Uncertainty ManagementThis paper extends fuzzy logic programs [12, 24] to allow the explicit representation of classical negation as well as non-monotonic negation, by introducing the notion of extended fuzzy logic programs. We present the fuzzy answer set semantics for the ...
Comments