弗朗西斯科·卡利默里（编辑）；尼古拉·利昂（编辑）；马可·曼纳（编辑） 人工智能中的逻辑。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。 （英语） Zbl 1412.68007号 计算机科学课堂讲稿11468.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-030-19569-4/pbk；978-3-0.30-19570-0/电子书）。xv，822页。(2019). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1350.68015号].索引文章：迪迪埃·杜布瓦（Didier Dubois）；亨利·普拉德，可能性逻辑：从确定性限定语句到双层逻辑——一项前瞻性调查，3-20[Zbl 1455.68194号]乔治·戈特洛布（Georg Gottlob）；安德烈亚斯·皮耶利斯；伊曼纽尔·萨林格，Vadalog：最新进展和应用，21-37[Zbl 1525.68168号]林戈·鲍曼（Ringo Baumann）；费利克斯·林杰，AGM满足抽象论证：Dung框架的收缩，41-57[Zbl 1525.68149号]Stefano Bistarelli；曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos），可能的世界观和星座语义的范式，58-68[Zbl 1525.68150号]斯蒂法诺·比斯塔雷利；弗朗西斯科·桑蒂尼，在加权论证框架中的良好声誉，69-84[Zbl 1525.68151号]布鲁卡，格哈德；普尔，约格；斯特凡·沃尔特兰，多值GRAPPA，85-101[Zbl 1525.68156号]马克斯·克拉默（Marcos Cramer）；马修·纪尧姆，《人类对复杂论证框架评价的实证研究》，102-115[Zbl 1525.68162号]沃尔夫冈德沃夏克；马蒂·Järvisalo；托马斯·林斯比克莱（Thomas Linsbichler）；安德烈亚斯·尼斯卡宁（Andreas Niskanen）；斯特凡·沃尔特兰，通过替换模式预处理论证框架，116-132[Zbl 1525.68165号]阿德里安·哈雷（Adrian Haret）；约翰·沃纳（Johannes P.Wallner）。，在合并信仰时操纵怀疑和轻信的后果，133-150[Zbl 1525.68170号]马库斯·乌布利希特，修复非单调知识库，151-167[Zbl 1525.68180号]马利亚阿尔普特；黛米斯·巴利斯；安吉尔·昆卡-奥尔特加；圣地亚哥埃斯科瓦尔；何塞·梅塞格尔，\（{\mathsf{ACUOS}}^\mathbf{2}\）：具有子类型和继承的模块化ACU泛化的高性能系统，171-181[Zbl 1525.68195号]乔瓦尼·卡西尼；托马斯·梅耶（Thomas Meyer）；伊万·瓦尔津扎克，采取理性闭包以外的可撤销蕴涵，182-197[Zbl 1525.68159号]罗尔夫·莫雷尔；安德鲁·克洛珀（Andrew Cropper）；C.·H·卢克·翁，逻辑程序的类型化元解释学习，198-213[Zbl 1525.68011号]马克·德内克（Marc Denecker）；博加特，巴特；Joost Vennekens，根据可能的因果过程解释实际因果关系，214-230[Zbl 1525.68164号]艾米丽·勒布朗；马尔切洛·巴尔杜奇尼（Marcello Balduccini）；Joost Vennekens，通过对行动和变化的推理来解释实际原因，231-246[兹比尔1525.68172]弗朗西斯科·奥利维耶里；圭多总督府；克里斯塔尼·马特奥，资源驱动子结构可解逻辑的进展，247-258[Zbl 1525.68175号]索菲·托雷特；安德鲁·克洛珀，二阶Horn碎片的SLD分辨率降低，259-276[Zbl 1525.68012号]克里斯托弗·拜尔；史蒂文·库奇，有条件知识库的系统生成，直至重命名和等价，279-286[Zbl 1525.68185号]Berg，Jeremias；Järvisalo，马蒂，统一推理和核心引导搜索以获得最大可满足性，287-303[Zbl 1525.68141号]Miika Hannula；奥萨·赫沃宁；孔蒂宁，朱哈；瓦迪姆·库利科夫；乔尼·维特玛，概率团队语义中分布恒等式的方面，304-320[Zbl 1525.68169号]弗兰茨·巴德；弗朗西斯科·克里格尔；阿德里安·努拉迪安西亚，为\（\mathcal{EL}\）实例存储保存隐私的本体发布，323-338[Zbl 1525.68184号]伦纳德·博塔（Leonard Botha）；托马斯·梅耶（Thomas Meyer）；拉斐尔·佩尼亚洛萨，描述逻辑的Bayes扩展\（\mathcal{ALC}\），339-354[Zbl 1525.68154号]陈洁英；米歇尔·路德维希；马、岳；德克·沃尔特，计算\（\mathcal{ELH}^r）-术语的最小投影模，355-370[Zbl 1525.68161号]斯特凡·博格沃德；沃尔特·福克尔，带对\（\mathcal的否定的连接查询的封闭世界语义{ELH}（极低浓度）_\机器人本体，371-386[Zbl 1525.68153号]劳拉·佐丹奴；阿尔贝托，Policriti，使用power-set构造扩展\（\mathcal{ALC}\），387-398[兹比尔1525.68167]弗朗西斯科·克里格尔，从描述图上的离散概率分布学习描述逻辑公理，399-417[Zbl 1525.68171号]Ana Ozaki；尼古拉斯·特罗夸德，通过认知推理学习本体论：（mathcal{EL}）案例，418-433[Zbl 1525.68176号]马可·威廉；Kern Isberner，加布里埃尔；安德烈亚斯·埃克；Franz巴德，最大熵原理下概率描述逻辑的计数策略，434-449[Zbl 1525.68181号]卡洛·阿洛卡；成本高昂，罗伯塔；佛罗伦萨，阿莱西奥；佩丽，西蒙娜；Jessica Zangari，数据日志的内存节约评估计划，453-461[Zbl 1525.68182号]阿尔维亚诺，马里奥；沃尔夫冈·费伯，广义原子逻辑程序的链式答案集，462-478[Zbl 1452.68034号]乔瓦尼·阿蒙多拉；多达罗、卡明；沃尔夫冈·费伯（Wolfgang Faber）；卢卡·普利纳（Luca Pulina）；弗朗西斯科·里卡，亚相干答案集计算的算法选择，479-489[Zbl 1525.68148号]乔瓦尼·阿蒙多拉；辛齐亚·马特，扩展Bell数以进行简约追踪估计，490-497[Zbl 1525.68183号]布鲁，克里斯蒂安；Ind、Axel；朱莉娅·默特斯多夫（Julia Mertesdorf）；马可·拉格尼，弱补全语义可以对单个人类推理者的推理进行建模，498-508[Zbl 1525.68155号]佩德罗·卡巴拉尔；豪尔赫·范丁诺；托尔斯滕·绍布（Torsten Schaub）；塞巴斯蒂安·谢尔霍恩，这里那里的下限逻辑，509-525[Zbl 1525.68158号]贝尔纳多·卡特里（Bernardo Cuteri）；里尔，克里斯蒂安；弗朗西斯科·里卡，一个基于逻辑的文化遗产问答系统，526-541[Zbl 1525.68163号]盖宾格，托拜厄斯；汉斯·托姆皮茨，描述非地面应答程序的相对论强等价性与投影，542-558[Zbl 1525.68166号]Kain，Tobias；汉斯·托姆皮茨，Uhura：使用受控自然语言指定应答程序的创作工具，559-575[Zbl 1525.68009号]Saribatur、Zeynep G.等人。；Peter Schüller；托马斯·艾特，非地面答案集程序抽象，576-592[Zbl 1525.68178号]彼得·舒勒，Hexlite解算器。HEX程序的轻量级和高效评估，593-607[Zbl 1525.68147号]苏·埃兹吉·伊拉兹，认知式答案集编程，608-626[Zbl 1525.68179号]拉米雷斯·阿巴卡（Ramírez Abarca）、阿尔多·伊凡（Aldo Iván）；简·布罗森，主客观思维逻辑，629-641[Zbl 1525.68177号]巴托斯·贝德纳西克；基伦斯基，伊曼纽尔；彼得·维特科夫斯基，关于带逆的分级模态逻辑的复杂性，642-658[Zbl 1525.03065号]托马斯·博兰德（Thomas Bolander）；托尔斯滕·恩格斯；安德烈亚斯·赫齐格（Andreas Herzig）；罗伯特·马特米勒（Robert Mattmüller）；伯恩哈德·内贝尔，政策和应急计划的动态逻辑，659-674[Zbl 1525.68152号]瓦伦丁·卡萨诺；劳尔·费尔瓦里（Raul Fervari）；卡洛斯·阿雷塞斯；巴勃罗·卡斯特罗。、插值和Beth在默认逻辑中的可定义性，675-691[Zbl 1525.68160号]斯特凡·德姆里；劳尔·费尔瓦里（Raul Fervari）；阿莱西奥·曼苏蒂，公理化逻辑与分离连接和模态，692-708[Zbl 1525.03067号]Marianna Girlando；莱尔曼，比约恩；尼古拉·奥利维蒂，条件信念逻辑的嵌套序列，709-725[Zbl 1525.03060号]埃米利亚诺·洛里尼，在定性环境中推理认知态度，726-743[Zbl 1525.68173号]Wałga，Przemys aw Andrzej，模态逻辑核心片段的计算复杂性，744-759[兹比尔1525.03074]约瑟夫·布杜（Joseph Boudou）；马丁·迪盖兹；弗南德斯·杜克，大卫；法比安·罗梅罗，直觉时态逻辑的公理系统和拓扑语义，763-777[Zbl 1525.03064号]安德烈亚·布鲁内洛；Sciavicco，Guido；Stan、Ionel Eduard，区间时序逻辑决策树学习，778-793[兹比尔1525.68157]Oetsch，Johannes；胡安·卡洛斯·尼维斯，带序算子命题理论的稳定序模型，794-802[Zbl 1525.68174号]van Berkel，Kees公司；蒂姆·里昂，时态STIT逻辑的无割计算和关系语义，803-819[Zbl 1525.03063号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68T27型 人工智能中的逻辑 00B25型 杂项特定利益的会议记录 引文：Zbl 1350.68015号 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}（编辑）等人，《人工智能中的逻辑》。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。查姆：施普林格（2019；Zbl 1412.68007） 全文： 内政部