Publication:4530473
From MaRDI portal
zbMath1052.68124MaRDI QIDQ4530473
Publication date: 2000
68T27: Logic in artificial intelligence
Related Items
Foundations of instance level updates in expressive description logics, The qualification problem: A solution to the problem of anomalous models