Geometry Knowledge Base Learning from Theorem Proofs

DOI10.1007/978-3-642-54930-4_3zbMath1303.68102OpenAlexW314467427MaRDI QIDQ2940960

Jie Li, Hongguang Fu, Huadong Xia, Qunan Li, Xiuqin Zhong

Publication date: 21 January 2015

Published in: Advances in Intelligent Systems and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54930-4_3

zbMATH Keywords

knowledge baseautomated theorem provingabstract modelprocess ontologyinstance model

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30)

This page was built for publication: Geometry Knowledge Base Learning from Theorem Proofs