Relating only knowing to minimal belief and negation as failure

DOI10.1080/09528139408953796zbMath0823.68098OpenAlexW1964634130MaRDI QIDQ4317909

Jian-Hua Chen

Publication date: 29 October 1995

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/09528139408953796

zbMATH Keywords

negation as failureonly knowingminimal belief

Mathematics Subject Classification ID

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

Related Items (2)

A sound and complete proof theory for the generalized logic of only knowing ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming

Cites Work

• Foundations of a functional approach to knowledge representation
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• A logic for default reasoning
• A logic of knowledge and justified assumption
• Minimal belief and negation as failure
• All I know: A study in autoepistemic logic
• What should a database know?

This page was built for publication: Relating only knowing to minimal belief and negation as failure