scientific article; zbMATH DE number 695095

zbMath0822.68104MaRDI QIDQ4314597

Jian-Hua Chen

Publication date: 9 October 1995

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

zbMATH Keywords

negation as failureonly knowingminimal belief

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (6)

On embedding default logic into Moore's autoepistemic logic ⋮ On the progression of belief ⋮ Unnamed Item ⋮ On the decidability and complexity of reasoning about only knowing ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming

This page was built for publication: