A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jacques Calmet, Peter Kullmann. A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications. In Zbigniew W. Ras, Andrzej Skowron, editors, Foundations of Intelligent Systems, 11th International Symposium, ISMIS 99, Warsaw, Poland, June 8-11, 1999, Proceedings. Volume 1609 of Lecture Notes in Computer Science, pages 475-483, Springer, 1999.

This author has not been identified. Look up 'Jacques Calmet' in GoogleThis author has not been identified. Look up 'Peter Kullmann' in Google

runs on WebDSL