scientific article

zbMath0747.68088MaRDI QIDQ4012232

Miroslaw Truszczynski

Publication date: 27 September 1992

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

zbMATH Keywords

nonmonotonic logicsdefault reaoningpossible-world semantics for default logic

Mathematics Subject Classification ID

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

Related Items

Minimal knowledge problem: A new approach, Well-Supported Semantics for Logic Programs with Generalized Rules, Modal logic based theory for non-monotonic reasoning, Complexity of computing with extended propositional logic programs, Modal nonmonotonic logics demodalized, Definability and commonsense reasoning, A logic of knowledge and justified assumption, On the relation between default and modal nonmonotonic reasoning, A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming, Uniform semantic treatment of default and autoepistemic logics, Evaluating the effect of semi-normality on the expressiveness of defaults