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

Jurnal Mitra Prima最新文献

筛选
英文 中文
Dyadic Obligations: Proofs and Countermodels via Hypersequents 二元义务:通过超序列的证明和反模型
Jurnal Mitra Prima Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-21203-1_4
A. Ciabattoni, N. Olivetti, X. Parent
{"title":"Dyadic Obligations: Proofs and Countermodels via Hypersequents","authors":"A. Ciabattoni, N. Olivetti, X. Parent","doi":"10.1007/978-3-031-21203-1_4","DOIUrl":"https://doi.org/10.1007/978-3-031-21203-1_4","url":null,"abstract":"","PeriodicalId":17973,"journal":{"name":"Jurnal Mitra Prima","volume":"63 1","pages":"54-71"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91222237","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
STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning STV+AGR:基于假设-保证推理的战略能力验证
Jurnal Mitra Prima Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-21203-1_47
Damian Kurpiewski, Lukasz Mikulski, W. Jamroga
{"title":"STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning","authors":"Damian Kurpiewski, Lukasz Mikulski, W. Jamroga","doi":"10.1007/978-3-031-21203-1_47","DOIUrl":"https://doi.org/10.1007/978-3-031-21203-1_47","url":null,"abstract":"","PeriodicalId":17973,"journal":{"name":"Jurnal Mitra Prima","volume":"80 1","pages":"691-696"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83940694","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
DITURIA: A Framework for Decision Coordination Among Multiple Agents 多智能体间决策协调的框架
Jurnal Mitra Prima Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-21203-1_29
Helena Ibro, Geeta Mahala, S. Pulawski, Steven A. Harvey, Alexis Andrew Miller, A. Ghose, K. Dam
{"title":"DITURIA: A Framework for Decision Coordination Among Multiple Agents","authors":"Helena Ibro, Geeta Mahala, S. Pulawski, Steven A. Harvey, Alexis Andrew Miller, A. Ghose, K. Dam","doi":"10.1007/978-3-031-21203-1_29","DOIUrl":"https://doi.org/10.1007/978-3-031-21203-1_29","url":null,"abstract":"","PeriodicalId":17973,"journal":{"name":"Jurnal Mitra Prima","volume":"17 1","pages":"492-508"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84385880","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
Evaluating Adaptive and Non-adaptive Strategies for Selecting and Orienting Influencer Agents for Effective Flock Control 评价有效群体控制中影响因子选择和定向的自适应和非自适应策略
Jurnal Mitra Prima Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-21203-1_30
James Hale, Adam Dees, Jayson Garrison, S. Sen
{"title":"Evaluating Adaptive and Non-adaptive Strategies for Selecting and Orienting Influencer Agents for Effective Flock Control","authors":"James Hale, Adam Dees, Jayson Garrison, S. Sen","doi":"10.1007/978-3-031-21203-1_30","DOIUrl":"https://doi.org/10.1007/978-3-031-21203-1_30","url":null,"abstract":"","PeriodicalId":17973,"journal":{"name":"Jurnal Mitra Prima","volume":"27 1","pages":"509-522"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87080678","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
AN Using Local Search in Multi-issue Bilateral and Repeated Negotiation 基于局部搜索的多议题双边和重复协商AN
Jurnal Mitra Prima Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-21203-1_39
Galit Haim, Jonathan Langer, Raz Yaniv
{"title":"AN Using Local Search in Multi-issue Bilateral and Repeated Negotiation","authors":"Galit Haim, Jonathan Langer, Raz Yaniv","doi":"10.1007/978-3-031-21203-1_39","DOIUrl":"https://doi.org/10.1007/978-3-031-21203-1_39","url":null,"abstract":"","PeriodicalId":17973,"journal":{"name":"Jurnal Mitra Prima","volume":"117 1","pages":"612-620"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79466847","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
Cooperative Driving at Intersections Through Agent-Based Argumentation 基于智能体论证的十字路口协同驾驶
Jurnal Mitra Prima Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-21203-1_3
S. Mariani, Dario Ferrari, F. Zambonelli
{"title":"Cooperative Driving at Intersections Through Agent-Based Argumentation","authors":"S. Mariani, Dario Ferrari, F. Zambonelli","doi":"10.1007/978-3-031-21203-1_3","DOIUrl":"https://doi.org/10.1007/978-3-031-21203-1_3","url":null,"abstract":"","PeriodicalId":17973,"journal":{"name":"Jurnal Mitra Prima","volume":"120 1","pages":"37-53"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75291173","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
Weaponizing Actions in Multi-Agent Reinforcement Learning: Theoretical and Empirical Study on Security and Robustness 多智能体强化学习中的武器化行为:安全性和鲁棒性的理论与实证研究
Jurnal Mitra Prima Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-21203-1_21
Tongtong Liu, Joe McCalmon, Md Asifur Rahman, Cameron Lischke, Talal Halabi, Sarra M. Alqahtani
{"title":"Weaponizing Actions in Multi-Agent Reinforcement Learning: Theoretical and Empirical Study on Security and Robustness","authors":"Tongtong Liu, Joe McCalmon, Md Asifur Rahman, Cameron Lischke, Talal Halabi, Sarra M. Alqahtani","doi":"10.1007/978-3-031-21203-1_21","DOIUrl":"https://doi.org/10.1007/978-3-031-21203-1_21","url":null,"abstract":"","PeriodicalId":17973,"journal":{"name":"Jurnal Mitra Prima","volume":"60 1","pages":"347-363"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74027753","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
Identifying Necessary and Sufficient Conditions for the Enforcement Problem of Argumentation Frameworks 论证框架实施问题的充分必要条件识别
Jurnal Mitra Prima Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-21203-1_44
Huan Zhang, Songmao Zhang
{"title":"Identifying Necessary and Sufficient Conditions for the Enforcement Problem of Argumentation Frameworks","authors":"Huan Zhang, Songmao Zhang","doi":"10.1007/978-3-031-21203-1_44","DOIUrl":"https://doi.org/10.1007/978-3-031-21203-1_44","url":null,"abstract":"","PeriodicalId":17973,"journal":{"name":"Jurnal Mitra Prima","volume":"4 1","pages":"659-668"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78967288","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
Accounting for Strategic Response in Limit Order Book Dynamics 限制订单动态中的战略响应会计
Jurnal Mitra Prima Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-21203-1_41
Ji Qi, Carmine Ventre
{"title":"Accounting for Strategic Response in Limit Order Book Dynamics","authors":"Ji Qi, Carmine Ventre","doi":"10.1007/978-3-031-21203-1_41","DOIUrl":"https://doi.org/10.1007/978-3-031-21203-1_41","url":null,"abstract":"","PeriodicalId":17973,"journal":{"name":"Jurnal Mitra Prima","volume":"1 1","pages":"630-639"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79706834","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
Time Series Predictive Models for Opponent Behavior Modeling in Bilateral Negotiations 双边谈判中对手行为建模的时间序列预测模型
Jurnal Mitra Prima Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-21203-1_23
Gevher Yesevi, M. Keskin, Anil Dogru, Reyhan Aydoğan
{"title":"Time Series Predictive Models for Opponent Behavior Modeling in Bilateral Negotiations","authors":"Gevher Yesevi, M. Keskin, Anil Dogru, Reyhan Aydoğan","doi":"10.1007/978-3-031-21203-1_23","DOIUrl":"https://doi.org/10.1007/978-3-031-21203-1_23","url":null,"abstract":"","PeriodicalId":17973,"journal":{"name":"Jurnal Mitra Prima","volume":"43 1","pages":"381-398"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79077169","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
首页 上一页 下一页 尾页
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学术官方微信