基于图的形式推理的高级工具-猫眼课题宝

基于图的形式推理的高级工具

批准号：

226818978

负责人：

Professor Dr. Gerhard Brewka

金额：

$0.0万

依托单位：

Institut für Informationssysteme

依托单位国家：

德国

项目类别：

Research Grants

财政年份：

2013

资助国家：

德国

项目状态：

已结题

起止时间：

2012-12-31 至 2017-12-31

来源：

https://gepris.dfg.de/gepris/projekt/226818978?language=en

关键词：

Advanced Tools Graph Based Formal

项目摘要

项目成果

Professor Dr. Gerhard Brewka的其他基金

相似基金

相关文献

中文摘要

翻译

这个后续项目将研究基于图形的形式论证的新方法和工具。我们将把前人项目中建立的抽象辩证框架的理论结果转移到任意标记的论元图上。我们研究了相应的算法，并实现了灵活和用户友好的工具，我们在两个领域进行了评估，法律推理和在线辩论。

英文摘要

This follow-up project will investigate novel graph-based methods and tools for formal argumentation. We will transfer theoretical results established in the predecessor project for abstract dialectical frameworks to arbitrary labelled argument graphs. We investigate corresponding algorithms and implement flexible and user friendly tools which we evaluate in two domains, legal reasoning and online debating.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文