基本信息
浏览量:613
职业迁徙
个人简介
He was one of the founders of the research area of artificial intelligence in Germany and Europe and has been named as one of the ten most important researchers in German artificial intelligence history by the Gesellschaft für Informatik. Bibel established the necessary institutions, conferences and scientific journals and promoted the necessary research programs to establish the field of artificial intelligence.
Bibel has worked in the fields of automated deduction, knowledge representation, architecture of deductive systems and inference, planning, learning, program synthesis, as well as on topics concerning the implications of AI technology for society. His most outstanding scientific contribution was his connection method, which allows logical conclusions to be drawn automatically in a very compact way. Bibel received the 2006 Herbrand Award for Distinguished Contributions to Automated Reasoning.
Bibel has worked in the fields of automated deduction, knowledge representation, architecture of deductive systems and inference, planning, learning, program synthesis, as well as on topics concerning the implications of AI technology for society. His most outstanding scientific contribution was his connection method, which allows logical conclusions to be drawn automatically in a very compact way. Bibel received the 2006 Herbrand Award for Distinguished Contributions to Automated Reasoning.
研究兴趣
论文共 170 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
arXiv (Cornell University) (2023)
引用0浏览0引用
0
0
arxiv(2023)
引用0浏览0EI引用
0
0
Springer Reference GeisteswissenschaftenPhilosophisches Handbuch Künstliche Intelligenzpp.1-19, (2022)
引用0浏览0引用
0
0
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedingspp.58-75, (2021)
引用0浏览0EI引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn