默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第37届CILC 2022：意大利博洛尼亚

>主页 >会议和研讨会 >CILC公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/cilc/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/2022
罗伯塔·卡莱加里,乔瓦尼·西亚托,安德烈亚·奥米西尼:
第37届意大利计算逻辑会议记录，意大利博洛尼亚，2022年6月29日至7月1日。 CEUR研讨会记录3204,CEUR-WS.org公司 2022
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/RobaldoBCCFGMPS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/RobaldoBCCFGMPS22
利维奥·罗巴尔多,索蒂里斯·巴萨基斯,罗伯塔·卡莱加里,弗朗西斯科·卡利默里,藤田美美,圭多总督府,玛丽亚·康塞塔·莫雷利,朱塞佩·皮萨诺,肯·佐藤,伊利亚斯·塔赫马齐迪斯:
评估可用的技术，以便对一阶知识进行合规性检查。 1-16
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/学院D022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/CollevatiD022
米歇尔·科勒瓦蒂,阿戈斯蒂诺·多维尔,安德烈亚·福米萨诺:
SAT求解启发式的GPU并行性。 17-31
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/SoldaFD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/SoldaFD22
大卫被卖掉了,弗朗西斯科·法比亚诺,阿戈斯蒂诺·多维尔:
基于协作机器人的认知多智能体推理。 32-46
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/BertiniPFI22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/BertiniPFI22
弗拉维奥·贝尔蒂尼,亚历山德罗·达尔·帕洛,弗朗西斯科·法比亚诺,埃莉诺拉·伊奥蒂:
照顾xAI。 47-60
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/TardivoD0MP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/TardivoD0MP22
法比奥·塔迪沃,阿戈斯蒂诺·多维尔,安德烈亚·福米萨诺,劳伦特·米歇尔,恩里科·蓬泰利:
GPU上的约束传播：AllDifferent的案例研究。 61-74
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/LongoS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/LongoS22
卡梅洛·法比奥·隆戈,科拉多·桑托罗:
一个基于自然语言处理和一阶逻辑的构建诱拐推理聊天机器人的框架。 75-89
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/偶氮唑啉BR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/AzzoliniBR22
达米亚诺·阿佐利尼,埃琳娜·贝洛迪,法布里齐奥·里古齐:
诱拐（概率）答案集编程。 90-103
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/CiattoCC22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/CiattoCC22
乔瓦尼·西亚托,马泰奥·卡斯蒂格利奥,罗伯塔·卡莱加里:
机器学习逻辑编程库：API设计和原型。 104-118
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/Costantini0P22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/Costantini0P22
斯蒂芬妮娅·科斯坦蒂尼,安德烈亚·福米萨诺,瓦伦蒂娜·皮托尼:
时间化认识逻辑L-DINF。 119-133
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/SetaA22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/SetaA22
安德烈亚·德塞塔,马里奥·阿尔维亚诺:
ASP在视频游戏程序内容生成中的应用。 134-140
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/LauretisPC22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/LauretisPC22
洛伦佐·德·劳雷蒂斯,法比奥·波斯,斯蒂芬妮娅·科斯坦蒂尼:
使用可穿戴设备和人工智能改善患者监测的智能生态系统。 141-153
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/AnconaFM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/安科纳FM22
戴维德·安科纳,安吉洛·费兰多,薇薇安娜·马斯卡迪:
利用概率跟踪表达式进行带间隙的分散运行时验证。 154-170
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/佛罗伦萨022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/佛罗伦萨022
卡米洛·佛罗伦萨,马洛·法拉利:
哥德尔-杜米特逻辑的正向反驳。 171-185
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/Costantini022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/Costantini022
斯蒂芬妮娅·科斯坦蒂尼,安德烈亚·福米萨诺:
认识逻辑程序：语义比较方法。 186-200
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/ChesaniFGLMMMPT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/ChesaniFGLMMMPT22
费德里科·切萨尼,Chiara Di Francescomarino公司,奇亚拉·吉迪尼,丹妮拉·洛雷蒂,法布里奇奥·玛丽亚·马吉,保拉·梅洛,马可·蒙塔利,埃琳娜·帕尔米耶里,塞尔吉奥·特萨利斯:
发现表示为Declare约束的DNF或CNF公式的业务流程模型。 201-216
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/PanicP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/PanicP22
尼古拉恐慌,吉安·卢卡·波扎托:
条件排除中点条件逻辑的有效定理证明。 217-231
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/LisiS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/LisiS22
弗朗西丝卡·亚历山德拉·利西,Gioacchino Sterlicchio公司:
数字取证中的声明模式挖掘：初步结果。 232-246
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/BarbaraBGIILL0P22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/BarbaraBGIILL0P22
维托·巴巴拉,迪米特里·布埃利,马西莫·瓜拉西奥,斯特凡诺·伊雷斯,萨尔瓦多伊里塔诺,乔瓦尼·拉博切塔,尼古拉·利昂,朱塞佩·曼科,瓦莱里奥·佩塞蒂,亚历山德罗·夸塔,弗朗西斯科·里卡,埃托雷·里塔科:
电气面板合规性的松散耦合神经符号方法。 247-253
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/MagniniCO22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/MagniniCO22
马泰奥·马格尼尼,乔瓦尼·西亚托,安德烈亚·奥米西尼:
KINS：通过网络结构进行知识注入。 254-267
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/CostantiniGM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/CostantiniGM22
斯蒂芬妮娅·科斯坦蒂尼,乔瓦尼·德·加斯佩里斯,帕特里齐奥·米利亚里尼:
深度Q-learning Agent培训和基准测试的约束程序逻辑生成环境。 268-278
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/BistarelliT22公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/BistarelliT22
斯特凡诺·比斯塔雷利,卡洛·塔蒂奇:
加权论证框架的四状态标记语义。 279-293
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/CianDD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/CianDD22
洛伦佐·西安,塔利萨·德罗西,阿戈斯蒂诺·多维尔:
建模和解决高峰时间难题。 294-306
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/000122
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/000122
劳拉·佐丹奴:
从具有典型性的加权条件句到逐步论证语义（扩展抽象）。 307-312
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/CadermatoriGMMM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/CadermatoriGMMM22
琳达·卡德马托里,朱塞佩·加拉特,卡罗拉·洛·摩纳哥,马可·马拉特,马可·莫奇,马可·肖滕:
基于ASP的主手术计划方法。 313-328

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。