胡畔
副教授
论文成果
-
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