Volume 34, Number 1, July 2000
, Han Reichgelt
: STIRDAT: A system tightly integrating relational databases and a theorem prover.
, Hyoung-Joo Kim
: SPY-TEC: An efficient indexing method for similarity search in high-dimensional data spaces.
Volume 34, Number 2, August 2000
Volume 34, Number 3, September 2000
Adnan H. Yahya
: Minimal model generation for refined answering of generalized queries in disjunctive deductive databases.
: Merging potentially inconsistent items of structured text.