Dialectic proof procedures for assumption-based, admissible argumentation 论文

2005Artificial Intelligence引用 243
Logic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationLogic, programming, and type systems

Dialectic proof procedures for assumption-based, admissible argumentation · 相关技术

暂无数据