scientific article; zbMATH DE number 1222700
From MaRDI portal
Publication:4218267
zbMath0910.03024MaRDI QIDQ4218267
A. Borgida, Franz Baader, D. L. McGuinness
Publication date: 11 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)