zbMath0948.03513MaRDI QIDQ4501598
Thomas Mantay
Publication date: 16 November 2000
zbMATH Keywords
description logic; computing least common subsumers
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
03B70: Logic in computer science
Related Items