×
沃尔夫冈·费伯（编辑）;格哈德·弗里德里希（编辑）;马丁·格布瑟（编辑）;迈克尔·莫拉克（编辑）

人工智能中的逻辑。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。 （英语） Zbl 1475.68020号

计算机科学课堂讲稿12678.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-030-75774-8/pbk；978-3-0.30-75775-5/ebook）。xiii，459页。（2021）。

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1412.68007号].
索引文章：
沃尔夫冈·德沃亚克；科尼格，马提亚斯；斯特凡·沃尔特兰，具有集体攻击的论证框架的图类，3-17[兹比尔07437029]
Stefano Bistarelli；卡洛·塔蒂奇，引入并行论证工具，18-24[Zbl 07437030号]
德尔隆德，皮拉尔；戈多，Lluís；阿曼达·维达尔概率论证：一种基于条件概率的方法。初步报告，25-32[Zbl 07437031号]
Jonas Haldimann；Kai Sauerwald；冯·伯格（Martin von Berg）；加布里埃尔·克恩·伊斯伯纳；克里斯托夫·贝尔，条件描述符修订及其CSP建模，35-49[Zbl 1519.68249号]
亚瑟，阿马尔；Ismail，Haythem O。，信任就是你所需要的：从信念修正到信息修正，50-65[Zbl 07437033号]
弗朗西斯科·奥利维耶里；圭多总督府；克里斯塔尼·马特奥（Matteo Cristani）；阿卜杜勒·萨塔尔，计算不可行的元逻辑，69-84[Zbl 07437034号]
Jonas Haldimann；克里斯托夫·拜尔勒；加布里埃尔·克恩·伊斯伯纳，使用选择策略对排名函数进行迭代收缩、省略和修订的语法拆分，85-100[Zbl 07437035号]
科斯坦蒂尼，斯蒂芬妮娅；安德烈亚·福米萨诺；瓦伦蒂娜·皮托尼，具有预算和成本的多智能体系统的认知逻辑，101-115[Zbl 07437036号]
穆尼克·米特尔曼；安德烈亚斯·赫齐格（Andreas Herzig）；劳伦特·佩鲁塞尔，关于拍卖中合理性和出价的认识推理，116-130[Zbl 07437037号]
曼纽尔·博迪尔斯基；约翰内斯·格雷纳，通过抽样的理论组合，133-146[Zbl 07437038号]
Subramani，K。；彼得·沃伊切乔夫斯基，差分约束系统中的分析单元一次读取反驳，147-161[兹比尔07437039]
法比奥·加杜奇（Fabio Gadducci）；弗朗西斯科·桑蒂尼，软约束的残差：字典序和近似技术，162-176[Zbl 07437040号]
巴托斯·贝德纳西克，《利用前沿性：前向防护碎片的可满足性和可查询性》，179-193[Zbl 07437041号]
弗兰兹·巴德；雅库布·里德瓦尔，轻量级描述逻辑p-容许具体域的代数观点，194-209[Zbl 07437042号]
赵浩若；巴西亚·比扬；乌利·萨特勒，ReAD:基于AD的模块化本体分类，210-224[Zbl 07437043号]
劳拉·佐丹奴；塞塞迪尔·杜普雷，丹尼尔，深度神经网络模型的加权可解知识库和多参考语义，225-242[Zbl 07437044号]
埃米利亚诺·洛里尼；弗朗索瓦州施瓦岑特鲁伯，分级信念的计算基础逻辑，245-261[Zbl 07437045号]
Miika Hannula；乔尼·维特玛，概率团队语义和实域上存在二阶逻辑的可追踪边界，262-278[Zbl 07437046号]
Dautović，Šejla；道德、德拉甘；佐兰·奥格尼亚诺维奇，具有条件概率的认知概率逻辑，279-293[Zbl 07437047号]
里卡多·贡萨尔维斯；汤米·詹胡宁；马蒂亚斯·克诺尔；约昂·莱特，关于一致等价下的句法遗忘，297-312[Zbl 07437048号]
朱利亚·弗朗西斯科托；Schekotihin、Konstantin；穆罕默德·科拉尼。，使用混合ASP解决job-shop调度问题的多资源部分订购柔性变体，313-328[Zbl 07437049号]
Jesse Heyninck；里卡多·贡萨尔维斯；克诺尔，马蒂亚斯；约昂·莱特，使用具有内涵概念的逻辑程序进行可牵引推理，329-345[兹比尔07437050]
Nicholas Hippen；尤利亚·利勒，在答案集语义下估计逻辑程序的接地大小，346-361[Zbl 07437051号]
乔瓦尼·阿蒙多拉；贝雷，托拜厄斯；弗朗西斯科·里卡，ASP中的测试：重新访问语言和编程环境，362-376[Zbl 07437052号]
尤利亚·利勒，SAT和ASP中优化的抽象视图，377-392[Zbl 07437053号]
儿子Tran Cao；Nguyen，Van；Vasileiou，Stylianos Loukas；Yeoh，William威廉，逻辑程序中的模型协调，393-406[Zbl 07437054号]
乔瓦尼·西亚托；罗伯塔·卡莱加里；安德烈亚·奥米西尼，通过回溯在序言中对流进行惰性操作：2百万吨, 407-420 [Zbl 07437055号]
弗拉基米尔·利夫希茨，以自然的方式将外国规则转换为公式，421-434[Zbl 07437056号]
Yuliya Lierler；贾斯汀·罗宾斯，DualGrounder：通过紧贴多快照框架的惰性实例化，435-441[Zbl 07437057号]
流苏，皮埃尔；穆罕默德·鲁拜亚，飞机路线和维护计划问题的多快照ASP编码，442-457[Zbl 07437058号]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68T27型 人工智能中的逻辑
00时25分 杂项特定利益的会议记录

引文：

Zbl 1412.68007号
PDF格式BibTeX公司 XML格式引用
\textit{W.Faber}（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，2021年5月17日至20日，JELIA，虚拟活动。诉讼程序。商会：施普林格（2021；兹比尔1475.68020）
全文： DOI程序