scientific article; zbMATH DE number 140391

MaRDI QIDQ4028798zbMATH OpenFDO

Authors M. L. Ginsberg

Publication date 28 March 1993

zbMATH Keywords

synthesis problemconsistency checksearch controlhierarchical problem solving

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• Is intractability of nonmonotonic reasoning a real drawback?
• Nonmonotonic reasoning: From complexity to algorithms
• A survey of complexity results for non-monotonic logics
• scientific article; zbMATH DE number 1884397
• Nonmonotonic reasoning, preferential models and cumulative logics

Cited in

(4)

• Nonmonotonic reasoning by inhibition nets
• Compiling specificity into approaches to nonmonotonic reasoning
• Nonmonotonic reasoning: Towards efficient calculi and implementations
• scientific article; zbMATH DE number 1884397 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028798)