机译:使用时间不可行逻辑在对话和论证模型中形式化社会承诺
Agent interaction; Social commitment; Representation; Reasoning; Incomplete information; Argumentation; Dialogue; Temporal; Event/Action;
机译:用于在对话和论证模型中正式化社会承诺的时间模态不可行逻辑
机译:t-DeLP:基于论证的时间可行逻辑编程框架
机译:t-DeLP:基于论证的时间可行逻辑编程框架
机译:临时义逻辑的论证语义
机译:完全不可行的论证框架
机译:双重深度建模:具有双重效能的多层次建模及其在F-Logic中的形式化
机译:t-DeLP:基于论证的时间可行逻辑编程框架
机译:可行的方言:一种以争议为导向的可行论证方法。