scientific article; zbMATH DE number 4197966

zbMath0726.03022MaRDI QIDQ5202996

Miroslaw Truszczynski

Publication date: 1991

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

zbMATH Keywords

modal logicnonmonotonic logicknowledge representationKripke modelcommonsense reasoningnegation as failure

Mathematics Subject Classification ID

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

Related Items (4)

Minimal knowledge problem: A new approach ⋮ Multi-modal nonmonotonic logics of minimal knowledge ⋮ More on bounding introspection in modal nonmonotonic logics ⋮ Hyperequivalence of logic programs with respect to supported models

This page was built for publication: