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

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