停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

JELIA 2019：意大利伦德

>主页 >会议和研讨会 >杰莉亚

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/2019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/2019
弗朗西斯科·卡利默里,尼古拉·利昂,马可·曼纳:
人工智能中的逻辑——第16届欧洲会议，2019年JELIA，意大利伦德，2019，5月7日至11日，会议记录。计算机科学课堂讲稿11468,施普林格 2019，国际标准图书编号978-3-030-19569-4

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/DuboisP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/DuboisP19
迪迪埃·杜布瓦,亨利·普拉德:
可能性逻辑：从确定性限定语句到两层逻辑——一项前瞻性调查。 3-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/GottlobPS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/GottlobPS19
乔治·戈特洛布,安德烈亚斯·皮利斯,伊曼纽尔·萨林格:
瓦达洛：最新进展和应用。 21-37

信念修正与论证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BaumannL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BaumannL19
林戈·鲍曼,费利克斯·林克尔:
AGM遇到了抽象的争论：垃圾框架的收缩。 41-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Bistarelli公司19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BistarelliM19
斯特凡诺·比斯塔雷利,西奥弗拉斯托斯·曼塔代利斯:
星座语义学的可能世界观和范式。 58-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Bistarelli019会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Bistarelli019
斯特凡诺·比斯塔雷利,弗朗西斯科·桑蒂尼:
加权论证框架的良好基础。 69-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BrewkaPW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BrewkaPW19
格哈德·布鲁卡,约尔格·普勒,斯特凡·沃尔特兰:
多值GRAPPA。 85-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CramerG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CramerG19
马科斯·克莱默,马修·纪尧姆:
复杂论证框架的人性评价实证研究。 102-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/DvorakJLNW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/DvorakJLNW19
沃尔夫冈·德沃拉克,马蒂·贾维萨洛,托马斯·林斯比勒,安德烈亚斯·尼斯卡宁,斯特凡·沃尔特兰:
通过替换模式预处理论证框架。 116-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/HaretW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/HaretW19
阿德里安·哈雷,约翰·彼得·沃纳:
在融合信仰时操纵怀疑和轻信的后果。 133-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Ulbricht19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Ulbricht19
马库斯·乌布利希特:
修复非单调知识库。 151-167

因果推理、可延迟推理和归纳推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/AlpuenteBCEM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/AlpunteBCEM19
玛丽亚·阿尔普奈特,黛米斯·巴利斯,安吉尔·昆卡-奥尔加,圣地亚哥·埃斯科瓦尔,何塞·梅塞格尔:
ACUOS公司²：具有子类型和继承的模块化ACU泛化的高性能系统。 171-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CasiniMV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CasiniMV19
乔瓦尼·卡西尼,托马斯·迈耶尔,伊万·瓦尔津扎克:
采取合理关闭之外的可避免牵连。 182-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/MorelCO19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/MorelCO19
罗尔夫·莫雷尔,安德鲁·克罗珀,C.-H.卢克·翁:
逻辑程序的类型化元解释学习。 198-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Denecker0V19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Denecker0V19
马克·德内克,Bart Bogaerts公司,Joost Vennekens公司:
根据可能的因果过程解释实际因果关系。 214-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/LeBlancBV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/LeBlancBV19
艾米丽·C·勒布朗,马塞洛·巴尔杜奇尼,Joost Vennekens公司:
通过对行动和变化的推理来解释实际原因。 231-246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/OlivieriGC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/OlivieriGC19
弗朗西斯科·奥利维耶里,圭多总督府,马特奥·克里斯塔尼:
资源驱动子结构可失效逻辑的进展。 247-258
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/TourretC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/TourretC19
索菲·图雷特,安德鲁·克洛珀:
二阶喇叭碎片的SLD分辨率降低。 259-276

条件逻辑、概率逻辑和命题逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BierleK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BierleK19
克里斯托夫·贝尔,史蒂文·库奇:
条件性知识库的系统生成与重命名和等价。 279-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BergJ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BergJ19
杰里米亚斯·伯格,马蒂·贾维萨洛:
统一推理和核心引导搜索以获得最大可满足性。 287-303
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/HannulaHKKV19会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/HannulaHKKV19
米卡·汉努拉,奥萨·赫沃宁,朱哈·孔蒂宁,瓦迪姆·库利科夫,乔尼·维特马:
概率团队语义中分布标识的方面。 304-320

描述逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BaderKN19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BaderKN19
弗兰兹·巴德,弗朗西斯科·克里格尔,阿德里安·努拉迪安西亚:
隐私保护本体发布EL公司实例存储。 323-338
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BothaMP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BothaMP19
伦纳德·博塔,托马斯·迈耶尔,拉斐尔·佩尼亚洛萨:
描述逻辑的贝叶斯扩展自动高度控制. 339-354
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/ChenLM019会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/ChenLM019
陈洁英,米歇尔·路德维希,岳马,德克·沃尔特:
计算的最小投影模块ELH公司^r-术语。 355-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BorgwardtF19型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BorgwardtF19
斯特凡·博格沃德,沃尔特·福克斯:
带否定的连接查询的封闭世界语义ELH公司_\机器人本体论。 371-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/0001P19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/001P19
劳拉·佐丹奴,阿尔贝托·波利克里蒂:
延伸自动高度控制使用Power-Set结构。 387-398
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Kriegel公司19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Kriegel19
弗朗西斯科·克里格尔:
从描述图上的离散概率分布学习描述逻辑公理。 399-417
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/OzakiT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/OzakiT19
安娜·奥扎基,尼古拉斯·特罗夸德:
用认知推理学习本体论：电子\！L（左）案例。 418-433
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/WilhelmKEB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/WilhelmKEB19
马可·威廉,加布里埃尔·克恩·伊斯伯纳,安德烈亚斯·埃克,弗兰兹·巴德:
概率描述逻辑的计数策略^我根据最大熵原理。 434-449

逻辑程序设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/AlloccaCFPZ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/AlloccaCFPZ19
卡洛·阿洛卡,罗伯塔（Roberta Costable）,阿莱西奥·佛罗伦萨,西蒙娜·佩里,杰西卡·赞加里:
数据日志的内存节省评估计划。 453-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Alviano019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Alviano019
马里奥·阿尔维亚诺,沃尔夫冈·费伯:
广义原子逻辑程序的链式答案集。 462-478
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/AmendolaD0PR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/AmendolaD0PR19
乔瓦尼·阿蒙多拉,卡米娜·多达罗,沃尔夫冈·费伯,卢卡·普利纳,弗朗西斯科·里卡:
准相干答案集计算的算法选择。 479-489
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/AmendolaM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/AmendolaM19
乔瓦尼·阿蒙多拉,辛齐亚·马尔特:
简约Chase估计的扩展Bell数。 490-497
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BreuIMR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BreuIMR19
克里斯蒂安·布鲁,Axel Ind公司,朱莉娅·默特斯多夫,马可·拉格尼:
弱完成语义可以为人类推理者的推理建模。 498-508
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CabalarFSS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CabalarFSS19
佩德罗·卡巴拉尔,豪尔赫·范丁诺,托尔斯滕·绍布,塞巴斯蒂安·谢尔霍恩:
下限建立了这里那里的逻辑。 509-525
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CuteriRR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CuteriRR19
伯纳多·卡特里,克里斯蒂安·雷,弗朗西斯科·里卡:
基于逻辑的文化遗产问答系统。 526-541
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/GeibingerT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/GeibingerT19
托拜厄斯·盖宾格,汉斯·托姆皮茨:
描述非圆答案集程序相对强等价性与投影的特征。 542-558
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/KainT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/KainT19
托比亚斯·凯恩,汉斯·托姆皮茨:
\mathsf Uhura：一个使用受控自然语言指定答案集程序的编写工具。 559-575
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/SaribaturSE19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/SaribaturSE19
Zeynep G.Saribatur公司,彼得·施勒,托马斯·艾特:
非接地答案集程序的抽象。 576-592
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Schuller公司19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Schuller19
彼得·施勒:
Hexlite求解器-HEX程序的轻量级和高效评估。 593-607
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Su19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Su19
埃兹吉·伊拉兹·苏:
认知答案集编程。 608-626

模态和默认逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/AbarcaB19会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/AbarcaB19
阿尔多·伊万·拉米雷斯·阿巴卡,简·M·布罗森:
客观和主观应得的逻辑。 629-641
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BednarczykK019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BednarczykK019
巴托什·贝德纳尔奇克,伊曼纽尔·基伦斯基,彼得·维特科夫斯基:
带逆的分级模态逻辑的复杂性。 642-658
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BolanderEHMN19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BolanderEHMN19
托马斯·博兰德,托尔斯滕·恩格斯,安德烈亚斯·赫齐格,罗伯特·马特米勒,伯恩哈德·内贝尔:
政策和应急计划的动态逻辑。 659-674
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CassanoFAC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CasanoFAC19
瓦伦丁·卡萨诺,劳尔·费尔瓦里,卡洛斯·阿雷塞斯,巴勃罗·卡斯特罗:
默认逻辑中的插值和Beth Defability。 675-691
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/DemriFM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/DemriFM19
斯特凡·德姆里,劳尔·费尔瓦里,阿莱西奥·曼苏蒂:
分离连接和模态的公理化逻辑。 692-708
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/GirlandoLO19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/GirlandoLO19
玛丽安娜·吉兰多,比约恩·勒尔曼,尼古拉·奥利维蒂:
条件信念逻辑的嵌套序列。 709-725
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Lorini19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Lorini19
埃米利亚诺·洛里尼:
定性背景下认知态度的推理。 726-743
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Walega公司19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Walega19
普尔泽米斯瓦夫·安德烈·瓦莱加（Przemyslaw Andrzej Walega）:
模态逻辑T、K4和S4核心片段的计算复杂性。 744-759

时间逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BoudouDFR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BoudouDFR19
约瑟夫·布杜,马丁·迪盖兹,大卫·费尔南德斯·杜克,法比安·罗梅罗:
直觉时间逻辑的公理系统和拓扑语义。 763-777
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Brunello 19春夏
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BrunelloSS19
安德烈亚·布鲁内洛,Guido Sciavicco公司,伊内尔·爱德华·斯坦:
区间时态逻辑决策树学习。 778-793
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/OetschN19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/OetschN19
约翰内斯·奥茨,胡安·卡洛斯·尼维斯:
序算子命题理论的稳定序模型。 794-802
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/伯克利19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BerkelL19
基斯·范·伯克尔,蒂姆·里昂:
时态STIT逻辑的无切割计算和关系语义。 803-819

服务

管理网站设置

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