ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs.
SCIENCE OF COMPUTER PROGRAMMING（2025）
Key words
HOL,Python,Wikidata,SPARQL,MRS,NLP
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined