scientific article; zbMATH DE number 1066727
From MaRDI portal
zbMath0878.03018MaRDI QIDQ4357748
Peter Z. Revesz, Ágnes B. Novák, András A. Benczúr
Publication date: 28 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite modelsrevisionupdateminimal model changelogical theoryweighted knowledge basesweighted model-fitting
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Model theory of finite structures (03C13) Other applications of logic (03B80)