马塞洛·巴尔杜奇尼（编辑）；汤米·詹胡宁（编辑） 逻辑编程和非单调推理。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。 （英语） Zbl 1367.68005号 计算机科学课堂讲稿人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-319-61659-9/pbk；978-3-3169-61660-5/电子书）。xiii，第359页。(2017). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1320.68014号].索引文章：马丁·格布瑟（Martin Gebser）；马尔科·马拉提亚（Marco Maratea）；弗朗西斯科·里卡，第七届答案集编程竞赛的设计，3-9[Zbl 1418.68029号]约昂·莱特，鸟瞰答案编程中的遗忘，10-22[Zbl 1491.68218号]儿子Tran Cao，答案集编程及其在规划和多智能体系统中的应用，23-35[Zbl 1491.68221号]弗朗西丝卡·托尼，从逻辑编程和非单调推理到计算论证及其他，36-39[兹比尔1491.68211]雷切尔·本·埃利亚胡·佐哈里；法布里西奥·安吉乌利（Fabrizio Angiulli）；法比奥·法塞蒂；路易吉·帕洛波利，最小模型的模块化结构，43-48[Zbl 1491.68195号]斯蒂法诺·比斯塔雷利；弗朗西斯科·桑蒂尼，基于唯一状态的加权怀疑语义哈斯图，49-56[Zbl 1491.68196号]达萨罗、法比奥·奥雷里奥；安东尼斯·比卡基斯；卢克·狄更斯；罗布·米勒，概率事件演算基础，57-63[Zbl 1491.68201号]迪特兹·索尔丹哈（Dietz Saldanha），艾曼纽尔·安纳（Emmanuelle-Anna）；霍尔多布勒，斯特芬；路易斯·莫尼兹·佩雷拉，上下文推理：通常鸟会诱拐飞行，64-77[兹比尔1491.68202]马克西米利安·潘塞尔；安妮·亚斯敏（Anni-Yasmin Turhan），包括描述逻辑的不可行推理中的量化{标高}_{\bot}\），78-84[Zbl 1491.68206号]苏·埃兹吉·伊拉兹，关于自反自认知推理的单调观点，85-100[Zbl 1491.68210号]米查·罗纳，有限域上的最小推理问题：复杂性景观，101-113[Zbl 1491.68213号]佩德罗·卡巴拉尔；豪尔赫·范丁诺；托尔斯滕·绍布（Torsten Schaub）；塞巴斯蒂安·谢尔霍恩，Gelfond-Zhang聚合为命题公式，117-131[Zbl 1491.68198号]约翰·费希特（Johannes K.Fichte）。；马库斯·赫彻；迈克尔·莫拉克（Michael Morak）；斯特凡·沃尔特兰，重访有界树宽的答案集求解，132-145[Zbl 1491.68042号]Michael Gelfond；张元林，基于ASP的语言中的邪恶圆原理和集合的形成，146-159[兹比尔1491.68043]克里斯托夫·雷德尔，通过子程序查询回答集合程序，160-175[Zbl 1491.68046号]克里斯托夫·雷德尔，解释答案集程序和扩展中的不一致性，176-190[Zbl 1491.68047号]安东尼乌斯·温齐尔，混合了惰性基础和CDNL搜索以解决问题，191-204[Zbl 1491.68262号]张志正，带分级模式的答案集编程，205-211[Zbl 1493.68347号]阿尔维亚诺，马里奥；弗朗西斯科·卡利默里；多达罗、卡明；福斯科，戴维德；尼古拉·利昂内（Nicola Leone）；西蒙娜·佩里（Simona Perri）；弗朗西斯科·里卡；维尔特里，皮尔弗兰西斯科；Jessica Zangari，ASP系统DLV2215-221[Zbl 1472.68178号]乔里·博曼森,lp2正常–扩展逻辑程序的规范化工具，222-228[Zbl 1491.68040号]亚历山大·格雷勒；Oetsch，Johannes；汉斯·托姆皮茨，\（\mathsf{Harvey}\）：ASP中的随机测试系统，229-235[Zbl 1491.68044号]卡洛斯·洛佩斯；马蒂亚斯·克诺尔；约昂·莱特，NoHR:将XSB Prolog与OWL 2配置文件及更高版本集成，236-249[兹比尔1491.68045]穆苏诺里·班巴拉；井上、胜美；Kaneyuki，Hiromasa；冈本、腾达；托尔斯滕·绍布（Torsten Schaub）；Soh、Takehide；铃木田村，Catnap:使用答案集编程生成约束组合测试的测试套件，265-278[Zbl 1491.68189号]马克·达勒姆（Marc Dahlem）；特里普蒂·杰恩（Tripti Jain）；施耐德，克劳斯；迈克尔·吉尔曼，通过答案集编程自动合成最佳尺寸的集中器，279-285[Zbl 1491.68069号]迪莫普洛斯，亚尼斯；马丁·格布瑟（Martin Gebser）；Patrick Lühne；哈维尔·罗梅罗；托尔斯滕·绍布，plasp 3:实现有效的ASP规划，286-300[Zbl 1491.68190号]多达罗、卡明；马可·马拉提亚，通过答案集编程安排护士，301-307[Zbl 1491.90082号]弗里克斯，克莱门斯；托尔斯滕·绍布（Torsten Schaub）；塞巴斯蒂安·谢尔霍恩；安妮·西格尔（Anne Siegel）；菲利普·旺科，混合代谢网络完成，308-321[Zbl 1491.92061号]亚历克斯·布里克；杰弗里·雷梅尔，动作语言混合AL，322-335[Zbl 1491.68225号]奥昆特Sabunu；约昂·莱特，Moviola：通过多热点答案集编程解释动态逻辑程序，336-342[Zbl 1491.68048号] 引用于1审查引用于三文件 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 68N17号 逻辑编程 68T27型 人工智能中的逻辑 00B25型 杂项特定利益的会议记录 引文：Zbl 1320.68014号 软件：普拉萨普；lp2正常；参数应用；莫维奥拉；哈维；卡特纳普；无HR PDF格式BibTeX公司 XML格式引用 \textit｛M.Baldcucini｝（编辑）和\textit｛T.Janhunen｝（编辑），逻辑编程和非单调推理。第14届国际会议，2017年7月3-6日，芬兰埃斯波，LPNMR 2017。诉讼程序。查姆：斯普林格（2017；Zbl 1367.68005） 全文： DOI程序