Publication
Victoria Hall
DFKI, DFKI Documents (D), Vol. 95-04, 1995.
subsumes
, und Modell_2 verwendet Partitionierung zur Abgrenzung des Sortenwissens vom Behauptungswissen. Modell_3 ist eine Modifikation des zweiten Modells. Es benutzt eine effizientere statische GLB-Berechnung. Es wird ein realistisches Beispiel aus dem Bereich recyclingrelevanter Materialien, RTPLAST, gezeigt.@techreport{pub5929, author = { Hall, Victoria }, title = {Integration von Sorten als ausgezeichnete taxonomische Prädikate in eine relational-funktionale Sprache}, series = {DFKI Documents (D)}, year = {1995}, volume = {95-04}, pages = {56}, institution = {DFKI} }
© DFKI, 2023