中文
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Admission Information
Student Information
My Album
Blog
Personal Information
VIEW MORE
Home
>
Scientific Research
Research Field
No content
Paper Publications
Enhancing Context-aware Reactive Planning for Unexpected Situations of On-orbit Spacecraft.IEEE Transactions on Aerospace and Electronic Systems.2022
Modular materialisation of Datalog programs.ARTIFICIAL INTELLIGENCE.2022
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.Thirty-Sixth AAAI Conference on Artificial Intelligence.2022
Patents
No content
Published Books
No content
Research Projects
基于Datalog的混合式模块化知识推理框架研究-2025-12-01
