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

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

批准号：

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)

会议论文