Autoepistemic logic of first order and its expressive power

DOI10.1007/BF00881912zbMath0817.03013OpenAlexW2058585877MaRDI QIDQ1344888

Li Yan Yuan

Publication date: 22 February 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00881912

zbMATH Keywords

knowledge representationautoepistemic logicdefault logicnonmonotonic reasoninglogic programmingdeductive databasespreferential semanticsAE logicmaximal well-founded semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Logic programming (68N17)

Related Items (2)

Characterising equilibrium logic and nested logic programs: Reductions and complexity, ⋮ On the extension of logic programming with negation through uniform proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• Autocircumscription
• A logic for default reasoning
• Stable and extension class theory for logic programs and default logics
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• Autoepistemic circumscription and logic programming
• Logic program semantics and circumscription of autoepistemic theories
• The well-founded semantics for general logic programs

This page was built for publication: Autoepistemic logic of first order and its expressive power