中文
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
>
Paper Publications
Enhancing Context-aware Reactive Planning for Unexpected Situations of On-orbit Spacecraft.IEEE Transactions on Aerospace and Electronic Systems.2022
2023-02-17
hupan.Modular materialisation of Datalog programs.ARTIFICIAL INTELLIGENCE.2022
2023-02-17
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.Thirty-Sixth AAAI Conference on Artificial Intelligence.2022
2022-01-10
total3 1/1
first
previous
next
last
