个人履历

胡畔，讲师（长聘教轨助理教授），硕士生导师
于2012年获上海交通大学学士学位，2015年获上海交通大学硕士学位，期间于2011.7-2013.9在法国高等矿业大学圣埃蒂安分校攻读工程师学位，2013.3-2013.9在比利时荷兰语鲁汶大学机器学习研究组交流访问。2020年获英国牛津大学博士学位，2019.10-2021.9受英国工程和自然科学研究委员会资助在牛津大学从事博士后研究。主攻知识表示与处理。

获奖情况:

2011-2013年法国政府外交部埃菲尔精英学生奖学金（学费+生活费资助）
2015-2019年教育部国家留学基金委国家公派奖学金（学费+生活费资助）

项目经历：

英国工程和自然科学研究委员会项目OASIS，2019.10-2022.9，具名研究员

联系方式

邮箱：pan.hu@sjtu.edu.cn

论文成果

[AIJ] Modular Materialisation of Datalog Programs
Pan Hu, Boris Motik, Ian Horrocks.
Artificial Intelligence 308 (2022): 103726.

[AAAI] MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Dingmin Wang, Pan Hu, Przemysław Andrzej Wałęga, Bernardo Cuenca Grau
In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 5, pp. 5906-5913. 2022.

[MLJ] Owl2vec*: Embedding of owl ontologies
Jiaoyan Chen, Pan Hu, Ernesto Jimenez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah, Ian Horrocks
Machine Learning 110, no. 7 (2021): 1813-1845.

[CIKM] Datalog Reasoning over Compressed RDF Knowledge Bases
Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks
In Proceedings of the 28th ACM International Conference on Information and Knowledge Management, pp. 2065-2068. 2019.

[AAAI] Modular Materialisation of Datalog Programs
Pan Hu, Boris Motik, Ian Horrocks
In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 33, no. 1, pp. 2859-2866. 2019.

[AAAI] Optimised Maintenance of Datalog Materialisations
Pan Hu, Boris Motik, Ian Horrocks
In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 32, no. 1, pp. 1871-1879. 2018.

[TAES] Enhancing Context-aware Reactive Planning for Unexpected Situations of On-orbit Spacecraft
Bingqing Shen, Li Da Xu, Hongming Cai, Han Yu, Pan Hu, Lihong Jiang, Jingzhi Guo
IEEE Transactions on Aerospace and Electronic Systems (2022).

[MMM] SLOREV: Using Classical CAD Techniques for 3D Object Extraction from Single Photo
Pan Hu, Hongming Cai, Fenglin Bu
In International Conference on Multimedia Modeling, pp. 491-501. Springer, Cham, 2015.