scientific article

zbMath0747.03009MaRDI QIDQ3989938

Kurt Konolige

Publication date: 28 June 1992

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

zbMATH Keywords

quantificationnonmonotonic logicautoepistemic logicsemanticsmodal logic of self-knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Autoepistemic logic revisited ⋮ Extensions for open default theories via the domain closure assumption ⋮ A comparative study of open default theories