scientific article; zbMATH DE number 778204

zbMath0837.68113MaRDI QIDQ4840654

Thomas J. Weigert

Publication date: 16 April 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model-theoretic semanticsnonmonotonic Horn-clause logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)