Studies in Computational Metaphysics
Studies in Computational Metaphysics
批准号:
215348714
负责人:
Professor Dr.-Ing. Christoph Benzmüller
金额:
$0.0万
依托单位国家:
德国
项目类别:
Heisenberg Fellowships
财政年份:
2012
资助国家:
德国
项目状态:
已结题
起止时间:
2011-12-31 至 2016-12-31
中文摘要
海森堡计划资助的先决条件是高科学质量和国际水平的研究项目的原创性,并适合作为大学教师的进一步资格。申请人需要满足任命为永久教授的所有要求。该计划的目的是使杰出的科学家为科学领导职能做好准备,同时从事进一步的研究课题。这项研究并不一定需要以项目形式规划和进行,因此,与其他资助计划的程序不同,申请摘要和最后报告都不需要,因此不会在GEPRIS上发表。
英文摘要
The precondition for a Heisenberg Programme funding is high scientific quality and originality of the research project at international level and suitability for further qualification as a university teacher. Applicants need to meet all the requirements for appointment to a permanent professorship.The aim of this programme is to enable outstanding scientists to prepare for a scientific leadership function, and simultaneously work on further research topics. This research does not necessarily need to be planned and carried out in the form of a project.For this reason, and unlike the procedure in other funding programmes, both the abstracts of applications and final reports are not required and will therefore not be published in GEPRIS.
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy
安德森·哈耶克本体论争议的计算机辅助分析
DOI:
10.1007/s11787-017-0160-9
发表时间:
2017
期刊:
Logica Universalis
影响因子:
0.8
作者:
[Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel-Paleo]
通讯作者:
Bruno Woltzenlogel-Paleo
Automation of Higher-Order Logic
高阶逻辑自动化
DOI:
10.1016/b978-0-444-51624-4.50005-8
发表时间:
2014
期刊:
影响因子:
--
作者:
[Christoph Benzmüller, Dale Miller]
通讯作者:
Dale Miller
DOI:
10.1016/j.scico.2018.10.008
发表时间:
2019-03-01
期刊:
SCIENCE OF COMPUTER PROGRAMMING
影响因子:
1.3
作者:
[Benzmueller, Christoph]
通讯作者:
Benzmueller, Christoph
Cut-Elimination for Quantified Conditional Logic
量化条件逻辑的剪切消除
DOI:
10.1007/s10992-016-9403-0
发表时间:
2017
期刊:
Journal of Philosophical Logic
影响因子:
1.5
作者:
[Christoph Benzmüller]
通讯作者:
Christoph Benzmüller
Effective Higher-Order Automated Theorem Proving
-
批准号:241609402
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2014
-
负责人:Professor Dr.-Ing. Christoph Benzmüller
-
依托单位:
Kooperatives höherstufiges automatisches Beweisen zum Schließen in Ontologien
-
批准号:146209618
-
项目类别:Research Fellowships
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr.-Ing. Christoph Benzmüller
-
依托单位:
国内基金
海外基金
Computational Methods for Analyzing Toponome Data
-
批准号:60601030
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2006
-
负责人:Axel Mosig
-
依托单位: