发布求助
文献互助 智能选刊 最新文献

International Workshop on Theorie and Applications of Formal Argumentation最新文献

筛选
英文 中文
Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation Heureka:抽象论证的一般启发式回溯求解器
International Workshop on Theorie and Applications of Formal Argumentation Pub Date : 2017-08-19 DOI: 10.1007/978-3-319-75553-3_10
N. Geilen, Matthias Thimm
{"title":"Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation","authors":"N. Geilen, Matthias Thimm","doi":"10.1007/978-3-319-75553-3_10","DOIUrl":"https://doi.org/10.1007/978-3-319-75553-3_10","url":null,"abstract":"","PeriodicalId":433312,"journal":{"name":"International Workshop on Theorie and Applications of Formal Argumentation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128804719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
EqArgSolver - System Description EqArgSolver -系统描述
International Workshop on Theorie and Applications of Formal Argumentation Pub Date : 2017-08-19 DOI: 10.1007/978-3-319-75553-3_11
O. Rodrigues
{"title":"EqArgSolver - System Description","authors":"O. Rodrigues","doi":"10.1007/978-3-319-75553-3_11","DOIUrl":"https://doi.org/10.1007/978-3-319-75553-3_11","url":null,"abstract":"","PeriodicalId":433312,"journal":{"name":"International Workshop on Theorie and Applications of Formal Argumentation","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133053642","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
On the Interaction Between Logic and Preference in Structured Argumentation 论结构化论证中逻辑与偏好的相互作用
International Workshop on Theorie and Applications of Formal Argumentation Pub Date : 2017-08-19 DOI: 10.1007/978-3-319-75553-3_3
A. P. Young, S. Modgil, O. Rodrigues
{"title":"On the Interaction Between Logic and Preference in Structured Argumentation","authors":"A. P. Young, S. Modgil, O. Rodrigues","doi":"10.1007/978-3-319-75553-3_3","DOIUrl":"https://doi.org/10.1007/978-3-319-75553-3_3","url":null,"abstract":"","PeriodicalId":433312,"journal":{"name":"International Workshop on Theorie and Applications of Formal Argumentation","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121458147","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Formal Argumentation Libraries of Tweety Tweety的正式论证库
International Workshop on Theorie and Applications of Formal Argumentation Pub Date : 2017-08-19 DOI: 10.1007/978-3-319-75553-3_9
Matthias Thimm
{"title":"The Formal Argumentation Libraries of Tweety","authors":"Matthias Thimm","doi":"10.1007/978-3-319-75553-3_9","DOIUrl":"https://doi.org/10.1007/978-3-319-75553-3_9","url":null,"abstract":"","PeriodicalId":433312,"journal":{"name":"International Workshop on Theorie and Applications of Formal Argumentation","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130850487","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Dynamic Model of Trust in Dialogues 对话中信任的动态模型
International Workshop on Theorie and Applications of Formal Argumentation Pub Date : 2017-08-19 DOI: 10.1007/978-3-319-75553-3_15
G. Ogunniye, Alice Toniolo, N. Oren
{"title":"A Dynamic Model of Trust in Dialogues","authors":"G. Ogunniye, Alice Toniolo, N. Oren","doi":"10.1007/978-3-319-75553-3_15","DOIUrl":"https://doi.org/10.1007/978-3-319-75553-3_15","url":null,"abstract":"","PeriodicalId":433312,"journal":{"name":"International Workshop on Theorie and Applications of Formal Argumentation","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128588932","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks 论证框架语义计算的前向传播算法
International Workshop on Theorie and Applications of Formal Argumentation Pub Date : 2017-08-19 DOI: 10.1007/978-3-319-75553-3_8
O. Rodrigues
{"title":"A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks","authors":"O. Rodrigues","doi":"10.1007/978-3-319-75553-3_8","DOIUrl":"https://doi.org/10.1007/978-3-319-75553-3_8","url":null,"abstract":"","PeriodicalId":433312,"journal":{"name":"International Workshop on Theorie and Applications of Formal Argumentation","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116008197","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
An Investigation of Argumentation Framework Characteristics 论证框架特征研究
International Workshop on Theorie and Applications of Formal Argumentation Pub Date : 2017-08-19 DOI: 10.1007/978-3-319-75553-3_1
Josh Murphy, I. Sassoon, Michael Luck, Elizabeth Black
{"title":"An Investigation of Argumentation Framework Characteristics","authors":"Josh Murphy, I. Sassoon, Michael Luck, Elizabeth Black","doi":"10.1007/978-3-319-75553-3_1","DOIUrl":"https://doi.org/10.1007/978-3-319-75553-3_1","url":null,"abstract":"","PeriodicalId":433312,"journal":{"name":"International Workshop on Theorie and Applications of Formal Argumentation","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115167308","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Extended Explanatory Argumentation Frameworks 扩展解释性论证框架
International Workshop on Theorie and Applications of Formal Argumentation Pub Date : 2017-08-19 DOI: 10.1007/978-3-319-75553-3_6
Jérémie Dauphin, M. Cramer
{"title":"Extended Explanatory Argumentation Frameworks","authors":"Jérémie Dauphin, M. Cramer","doi":"10.1007/978-3-319-75553-3_6","DOIUrl":"https://doi.org/10.1007/978-3-319-75553-3_6","url":null,"abstract":"","PeriodicalId":433312,"journal":{"name":"International Workshop on Theorie and Applications of Formal Argumentation","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116453604","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM 基于超序列的论证:关联逻辑RM中的实例化
International Workshop on Theorie and Applications of Formal Argumentation Pub Date : 2017-08-19 DOI: 10.1007/978-3-319-75553-3_2
A. Borg, O. Arieli, Christian Straßer
{"title":"Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM","authors":"A. Borg, O. Arieli, Christian Straßer","doi":"10.1007/978-3-319-75553-3_2","DOIUrl":"https://doi.org/10.1007/978-3-319-75553-3_2","url":null,"abstract":"","PeriodicalId":433312,"journal":{"name":"International Workshop on Theorie and Applications of Formal Argumentation","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117114414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Probabilities on Extensions in Abstract Argumentation 抽象论证中可拓的概率
International Workshop on Theorie and Applications of Formal Argumentation Pub Date : 2017-08-19 DOI: 10.1007/978-3-319-75553-3_7
Matthias Thimm, P. Baroni, M. Giacomin, Paolo Vicig
{"title":"Probabilities on Extensions in Abstract Argumentation","authors":"Matthias Thimm, P. Baroni, M. Giacomin, Paolo Vicig","doi":"10.1007/978-3-319-75553-3_7","DOIUrl":"https://doi.org/10.1007/978-3-319-75553-3_7","url":null,"abstract":"","PeriodicalId":433312,"journal":{"name":"International Workshop on Theorie and Applications of Formal Argumentation","volume":"329 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115965832","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信