logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Algorithms for computing the set of acceptable arguments

delete2025-05-26
delete0
delete
OA
AI
L
Lars Bengel
M
Matthias Thimm
F
Federico Cerutti
M
Mauro Vallati
DOI：10.1016/j.ijar.2025.109478delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
• 关于所有被接受论证集合的古典语义相关问题的计算复杂度分析。 • 基于SAT的算法，用于解决确定古典语义下可接受论证集合的问题。 • 我们报告了对上述四种算法运行时性能的实验评估。

期刊

International Journal of Approximate Reasoning 封面图
International Journal of Approximate Reasoning
IF:
3
论文数:
3.0K
被引数:
5.1K

机构

暂无机构信息
引用论文

引用论文

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
errArtificial Intelligence
IF0
err1995-09-01
err0
errOAAI
errPhan Minh Dung
err分享
err收藏
Methods for solving reasoning problems in abstract argumentation - A survey解决抽象论证中推理问题的方法-一项调查
errartificial intelligence review
IF4.6
err2015-03-01
err110
errOAAI
errCharwat, Guenther; Dvorak, Wolfgang; Gaggl, Sarah A.; Wallner, Johannes P.; Woltran, Stefan
err分享
err收藏
How we designed winning algorithms for abstract argumentation and which insight we attained
errartificial intelligence review
IF4.6
err2019-11-01
err15
errOAAI
errCerutti, Federico; Giacomin, Massimiliano; Vallati, Mauro
err分享
err收藏
On the complexity of inconsistency measurement关于不一致性度量的复杂性
errartificial intelligence review
IF4.6
err2019-10-01
err18
errOAAI
errThimm, Matthias; Wallner, Johannes P.
err分享
err收藏
SCC-recursiveness: a general schema for argumentation semantics
errartificial intelligence review
IF4.6
err2005-10-01
err207
errOAAI
errBaroni, P; Giacomin, M; Guida, G
err分享
err收藏
Predictive models and abstract argumentation: the case of high-complexity semantics
err
IF0
err2019-04-18
err0
PREAI
errMauro Vallati; Federico Cerutti; Massimiliano Giacomin
err分享
err收藏
On the query complexity of selecting minimal sets for monotone predicates
errartificial intelligence review
IF4.6
err2016-04-01
err23
PREAI
errJanota, Mikolas; Marques-Silva, Joao
err分享
err收藏
On the Glucose SAT Solver
errInternational Journal on Artificial Intelligence Tools
IF0
err2018-02-01
err0
PREAI
errGilles Audemard; Laurent Simon
err分享
err收藏
Complexity-sensitive decision procedures for abstract argumentation
errartificial intelligence review
IF4.6
err2014-01-01
err74
errOAAI
errDvorak, Wolfgang; Jarvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan
err分享
err收藏
The first international competition on computational models of argumentation: Results and analysis
errartificial intelligence review
IF4.6
err2017-11-01
err52
errOAAI
errThimm, Matthias; Villata, Serena
err分享
err收藏
没有更多内容