Pub Date : 2017-08-19DOI: 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}
Pub Date : 2017-08-19DOI: 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}
Pub Date : 2017-08-19DOI: 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}
Pub Date : 2017-08-19DOI: 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}
Pub Date : 2017-08-19DOI: 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}
Pub Date : 2017-08-19DOI: 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}
Pub Date : 2017-08-19DOI: 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}
Pub Date : 2017-08-19DOI: 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}
Pub Date : 2017-08-19DOI: 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}
Pub Date : 2017-08-19DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：