scientific article; zbMATH DE number 644444
From MaRDI portal
Publication:4307060
zbMath0809.68105MaRDI QIDQ4307060
Publication date: 26 September 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
nonmonotonic logicautoepistemic logicdefault logicnonmonotonic reasoningknowledge basecircumscriptiontruth maintenance system
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (1)
This page was built for publication:
