Knowledge representation and reasoning based on computability logic

MaRDI QIDQ3052509zbMATH OpenFDO

Authors Wenyan Xu, Sanyang Liu

Publication date 5 November 2010

zbMATH Keywords

computability logicknowledge representationknowledge-based systemreasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• scientific article; zbMATH DE number 1241674
• scientific article; zbMATH DE number 1418279
• scientific article; zbMATH DE number 812533
• F-K system of knowledge representation
• A logic-algebraic tool for reasoning with knowledge-based systems

Cited in

(7)

• Knowledge representation and reasoning under uncertainty. Logic at work
• The taming of recurrences in computability logic through cirquent calculus. I
• A common reasoning model and its application in knowledge-based system
• scientific article; zbMATH DE number 1241674 (Why is no real title available?)
• Computing knowledge in equational extensions of subterm convergent theories
• scientific article; zbMATH DE number 6606365 (Why is no real title available?)
• Introduction to clarithmetic. I

This page was built for publication: Knowledge representation and reasoning based on computability logic

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