卡洛·塔蒂奇
人员信息
优化列表
2020年–今天
2024 [j7] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
一种并发语言,用于建模在共享论证空间上进行辩论的代理。 参数计算。 15 ( 1 ) : 21-48 ( 2024 ) 2023 [j6] 斯特凡诺·比斯塔雷利 , 玛丽亚·奇亚拉·梅奥 , 卡洛·塔蒂奇 :
具有最大并行度的时间并行语言。 J.日志。 计算。 33 ( 4 ) : 712-737 ( 2023 ) [j5] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
通过四状态标记语义研究加权论证框架中的可接受性。 J.日志。 计算。 33 ( 8 ) : 1872-1897 ( 2023 ) 【j4】 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 , 玛丽亚·奇亚拉·梅奥 :
时间并发语言的交错语义,用于辩论模型和对话游戏。 理论与实践。 日志。 程序。 23 ( 6 ) : 1307-1333 ( 2023 ) [公元39年] 斯特凡诺·比斯塔雷利 , 玛丽亚·奇亚拉·梅奥 , 卡洛·塔蒂奇 :
论局部参数在(定时)并发语言中的作用。 AI³@艾*亚 2023 [公元38年] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
从抽象论证框架导出依赖关系图。 AI*IA公司 2023 : 17-29 [公元37年] 斯特凡诺·比斯塔雷利 , 维克托·戴维 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
时间概率论证框架。 CILC公司 2023 [c36] 斯特凡诺·比斯塔雷利 , 弗朗西斯科·法洛西 , 保罗·莫里 , 卡洛·塔蒂奇 , 马里诺·米库兰 :
利用*chain平台对Carne PRI供应链进行建模。 分布式账本技术 2023 [公元35年] 斯特凡诺·比斯塔雷利 , 维克托·戴维 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
走向时间概率论证框架。 FLAIRS公司 2023 [i4] 斯特凡诺·比斯塔雷利 , 玛丽亚·奇亚拉·梅奥 , 卡洛·塔蒂奇 :
用于辩论和对话游戏模型论证的时间并发语言的交错语义。 CoRR公司 abs/2306.07675 ( 2023 ) 2022 [j3] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
加权论证框架的标记语义和强可接受性。 J.日志。 计算。 32 ( 2 ) : 281-306 ( 2022 ) [公元34年] 斯特凡诺·比斯塔雷利 , 维克托·戴维 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
计算线性时间内无逆非循环星座概率论证的基础语义。 AI³@AI*IA 2022 [公元33年] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
从抽象论证框架导出依赖图:初步报告。 AI³@AI*IA 2022 [公元32年] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
加权论证框架的四状态标记语义。 CILC公司 2022 : 279-293 [公元31年] 斯特凡诺·比斯塔雷利 , 阿莱西奥·曼奇内利 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
机器学习结果的论证性解释。 COMMA公司 2022 : 347-348 [公元30年] 斯特凡诺·比斯塔雷利 , 阿莱西奥·曼奇内利 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
Arg-XAI:解释机器学习结果的工具。 国际通信技术协会 2022 : 205-212 [公元29年] 斯特凡诺·比斯塔雷利 , 弗朗西斯科·法洛西 , 保罗·莫里 , 卡洛·塔蒂奇 :
橄榄油作为*-Chain平台的案例研究。 ITASEC的DLT 2022 : 94-102 [公元28年] 斯特凡诺·比斯塔雷利 , 玛丽亚·奇亚拉·梅奥 , 卡洛·塔蒂奇 :
用于论证的时间并发语言:一种交错方法。 PADL(PADL) 2022 : 101-116 2021 [注2] 斯特凡诺·比斯塔雷利 , 拉尔斯·科特霍夫 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
第三届国际辩论计算模型竞赛总结报告。 人工智能杂志。 42 ( 三 ) : 70-73 ( 2021 ) [公元27年] 斯特凡诺·比斯塔雷利 , 玛丽亚·奇亚拉·梅奥 , 卡洛·塔蒂奇 :
时间并行论证:综述。 AI³@AI*IA 2021 [公元26年] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 , 弗朗西斯科·桑蒂尼 :
通过论证扩展的聊天机器人。 AI³@艾*亚 2021 [公元25年] 卡洛·塔蒂奇 :
一种用于谈判和辩论的并行语言。 美国航空航天局 2021 : 1840-1841 [c24] 斯特凡诺·比斯塔雷利 , 玛丽亚·奇亚拉·梅奥 , 卡洛·塔蒂奇 :
用于论证的定时并发语言。 CILC公司 2021 : 1-15 【c23】 卡洛·塔蒂奇 , 斯特凡诺·比斯塔雷利 :
将标签语义扩展到加权论证框架。 FLAIRS公司 2021 [公元22年] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
一种统一的四状态标记语义,用于连接抽象论证框架和信念修正。 信息通信与通信系统 2021 : 93-106 【c21】 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
引入并发论证工具。 杰莉亚 2021 : 18-24 2020 [公元20年] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
用于论证的并发语言。 AI³@AI*IA 2020 : 75-89 [第19条] 斯特凡诺·比斯塔雷利 , 拉尔斯·科特霍夫 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
ICCMA’19首次概述。 AI³@AI*IA 2020 : 90-102 [第18条] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
面向并行语言的实现。 AI*IA公司 2020 : 154-171 [第17条] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
辩论的并行语言:初步说明。 加布里埃利的节日 2020 : 9:1-9:22 [第16条] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
加权论证框架的标记语义。 CILC公司 2020 : 263-277 [第15条] 斯特凡诺·比斯塔雷利 , 沃尔夫冈·德沃拉克 , 卡洛·塔蒂奇 , 斯特凡·沃尔特兰 :
从声明的角度看基于排名的语义。 COMMA公司 2020 : 111-122 [电子1] 亨利·仆拉肯 , 斯特凡诺·比斯塔雷利 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
《争论的计算模型——2020年COMMA会议录》,意大利佩鲁贾,2020年9月4日至11日。 人工智能和应用的前沿 326, IOS出版社 2020 ,国际标准图书编号 978-1-64368-106-1 [目录]
2010 – 2019
2019 [j1] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
用于在抽象论证框架中对参数进行排序的基于幂索引的语义。 人工智能 13 ( 2 ) : 137-154 ( 2019 ) [第14条] 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
加权论证框架中恢复标记的初步研究。 AI³@AI*IA 2019 : 45-49 [第13条] 卡洛·塔蒂奇 :
抽象论证框架中基于幂指数的论证排序语义:综述。 DDC@人工智能 *IA公司 2019 : 113-118 [c12] 斯特凡诺·比斯塔雷利 , 弗朗西斯科·法洛西 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
通过投票游戏权力指数对论点进行排名的工具。 CILC公司 2019 : 193-201 [第11条] 斯特凡诺·比斯塔雷利 , 弗朗西斯科·法洛西 , 卡洛·塔蒂奇 :
在ConArg中实现基于排名的语义。 国际通信技术协会 2019 : 1180-1187 [i3] 斯特凡诺·比斯塔雷利 , 弗朗西斯科·法洛西 , 卡洛·塔蒂奇 :
在ConArg中实现基于排名的语义:初步报告。 CoRR公司 abs/1908.07784 ( 2019 ) 2018 [第10条] 斯特凡诺·比斯塔雷利 , 西奥弗拉斯托斯·曼塔代利斯 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
使用MetaProbLog和ConArg计算概率论证框架。 AI³@AI*IA 2018 : 6-10 【c9】 斯特凡诺·比斯塔雷利 , 保罗·朱利奥多里 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
共享可接受性和排序参数的合作游戏方法。 AI³@AI*IA 2018 : 86-90 【c8】 斯特凡诺·比斯塔雷利 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
论元语义中的局部展开不变量运算符。 CLAR公司 2018 : 45-62 【c7】 斯特凡诺·比斯塔雷利 , 拉尔斯·科特霍夫 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
ICCMA’19中的集装箱化和动态框架。 SAFA@COMMA 2018 : 4-9 【c6】 斯特凡诺·比斯塔雷利 , 弗朗西斯科·法洛西 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
在与Rob的辩论中学习动力学。 COMMA公司 2018 : 451-452 【c5】 斯特凡诺·比斯塔雷利 , 亚历山德拉·塔皮尼 , 卡洛·塔蒂奇 :
加权论证框架的矩阵方法。 FLAIRS公司 2018 : 507-512 【c4】 斯特凡诺·比斯塔雷利 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
论论证语义学中不变算子的寻找。 FLAIRS公司 2018 : 537-540 【c3】 斯特凡诺·比斯塔雷利 , 曼塔代利斯 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
使用MetaProbLog和ConArg的概率论证框架。 国际通信技术协会 2018 : 675-679 [i2] 斯特凡诺·比斯塔雷利 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
论论证语义学中的局部扩展不变量。 CoRR公司 abs/1802.08328 ( 2018 ) [i1] 斯特凡诺·比斯塔雷利 , 亚历山德拉·塔皮尼 , 卡洛·塔蒂奇 :
加权论证框架的矩阵方法:初步报告。 CoRR公司 腹肌/1802.08445 ( 2018 ) 2016 【c2】 卡洛·塔蒂奇 :
抽象论证框架中的稳健性研究。 DC@AI *IA公司 2016 : 11-16 2015 【c1】 斯特凡诺·比斯塔雷利 , 法比奥·罗西 , 弗朗西斯科·桑蒂尼 , 卡洛·塔蒂奇 :
用论据将安全可视化。 CILC公司 2015 : 197-201