Bibliography 361
[436] V.S. Subramanian. On the semantics of quantitative logic programs. In
Proc. 4th IEEE Symp. on Logic Programming, pages 173–182. Computer
Society Press, 1987.
[437] Rajshekhar Sunderraman. Datalog evaluation algorithms.
[438] Xinming Tang, Yu Fang, and Wolfgang Kainz. Fuzzy topological rela-
tions between fuzzy spatial objects. In Third International Conference
Fuzzy Systems and Knowledge Discovery, (FSKD-06), volume 4223 of
Lecture Notes in Computer Science, pages 324–333, 2006.
[439] A. Tarski. A lattice-theoretical fixpoint theorem and its applications.
Pacific Journal of Mathematics, 5:285–309, 1955.
[440] Herman J. ter Horst. Completeness, decidability and complexity of
entailment for rdf schema and a semantic extension involving ...