scientific article; zbMATH DE number 6958

zbMath0810.03019MaRDI QIDQ4713941

Victor W. Marek, Aidong Zhang

Publication date: 25 June 1992

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

zbMATH Keywords

default logicminimal setsbelief setsweak extensions

Mathematics Subject Classification ID

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

Related Items (7)

A new methodology for query answering in default logics via structure-oriented theorem proving ⋮ Interpretations of open default theories in non-monotonic logics ⋮ Outlier detection using default reasoning ⋮ Compiling specificity into approaches to nonmonotonic reasoning ⋮ Skeptical query-answering in Constrained Default Logic ⋮ Restricted default theories: expressive power and outlier detection tasks ⋮ Alternative foundations for Reiter's default logic

This page was built for publication: