scientific article

zbMath0742.68053MaRDI QIDQ4012237

No author found.

Publication date: 27 September 1992

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

zbMATH Keywords

default reasoningcircumsciptiondatabase answering processes

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Embedding circumscriptive theories in general disjunctive programs, Linear resolution for consequence finding, Conservative query normalization on parallel circumscription, Compiling a default reasoning system into Prolog