KIT | KIT-Bibliothek | Impressum | Datenschutz

A data structure for subsumption-based tabling in top-down resolution engines for data-intensive logic applications

Calmet, Jacques; Kullmann, Peter


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Publikationsjahr 1999
Sprache Englisch
Identifikator KITopen-ID: 292599
Erscheinungsvermerk In: Foundations of intelligent systems. ISMIS '99. Ed.: Z.W. Ras. Berlin 1999. S. 475-483. (Lecture notes in computer science. 1609.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page