万海主页

科研项目

2019年国家自然科学基金；基于概率稳定模型语义溯因推理机制的可解释视觉问答研究与实现；项目批准号：61976232；在研；万海（主持人）.
2015年国家自然科学基金；稳定模型语义下不一致本体的存在规则语言修复理论研究与实现；项目批准号：61573386；已结题；万海（主持人）.
国家重点研发计划科研项目子课题；语义信息论中关键问题的数学基础与方法；项目批准号：2021YFA1000504；在研；万海（主持人）.
国家重点研发计划科研项目子课题；多源异构数据的案件特征与业务态势分析；项目批准号：2018YFC0830600；已结题；万海（主持人）.
2017年广东省前沿与关键技术创新项目；虚拟现实与增强现实场景下基于多模态人机自然交互的3D建模技术与产业化应用；项目批准号：2017B010110011；已结题；万海（主持人）.
2016年广东省前沿与关键技术创新项目；面向教育的分布式云系统-云簇关键技术研究；项目批准号：2016B030305007；已结题；万海（主持人）.
2022年广东省自然科学基金；基于线性时态逻辑的深度神经网络增强模型理论研究及在可信人工智能的应用；项目批准号：2022A1515011355；在研；万海（主持人）.
2016年广东省自然科学基金；面向公共知识的多智能体认知规划关键技术研究与实现；项目批准号：2016A030313292；已结题；万海（主持人）.
2012年广东省自然科学基金；若干非单调逻辑可译问题研究与求解器实现；项目批准号：S2012010009836；已结题；万海（主持人）.
2011年度博士点基金自然科学类课题；稳定模型下一阶逻辑理论求解及其在基于模型程序诊断的应用研究；项目批准号：20110171120041；已结题；万海（主持人）.
2018年广州市科技计划项目；稳定模型语义下存在规则语言的本体查询回答理论研究与实现；项目批准号：201804010435；已结题；万海（主持人）.
2013年广州市科技计划项目；若干非单调逻辑可译性研究及其在面向SOA服务组合诊断；项目批准号：2013J41000582013；已结题；万海（主持人）.
2016高校基本科研业务费中山大学青年教师培育项目;有穷结构上若干一阶非单调逻辑计算方法的研究及异构海量数据语义查询求解器实现；已结题；万海（主持人）.
2016年科技服务项目；广西壮族自治区推进机器人产业发展基本思路；已结题；万海（主持人）.