爱德华多·费尔梅（编辑）;约昂·莱特（编辑） 人工智能中的逻辑。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。 （英语） Zbl 1296.68009号 计算机科学讲义人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-319-11557-3/pbk）。十六、704页。(2014). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1246.68063号].索引文章：迭戈·卡尔瓦内斯，对描述逻辑本体的查询应答，1-17[Zbl 1432.68432号]阿加塔·西阿巴托尼；斯彭迪，劳拉，子结构和次协调逻辑研究工具，18-32[Zbl 1432.68547号]赫克托·杰夫纳，《使用经典规划师的非经典规划：变换的力量》，33-47[Zbl 1432.68415号]斯特凡·博格沃德；Leyva Galano，何塞·A。；拉斐尔·佩尼亚洛扎，模糊描述逻辑\（\mathsf{G}\）-\（{\mathcal{FL}_0（飞行高度层）}\)具有最大的定点语义，62-76[Zbl 1432.68429号]塞兰、伊斯梅尔·伊尔坎；拉斐尔·佩尼亚洛扎，描述逻辑中推理的严格复杂性界限（mathcal{BEL}），77-91[Zbl 1432.68434号]乔瓦尼·卡西尼；托马斯·梅耶（Thomas Meyer）；科迪兰·穆德利；Riku Nortjé，相关闭包：描述逻辑的一种新的可废止推理形式，92-106[Zbl 1432.68433号]米歇尔·路德维希；拉斐尔·佩尼亚洛扎，描述逻辑中的容错推理（\mathcal{EL}），107-121[Zbl 1432.68448号]大卫·布雷索林；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科，艾伦关系的区间时间逻辑的次传播片段，122-136[Zbl 1432.03028号]马丁·格布瑟（Martin Gebser）；汤米·詹胡宁；尤西·林塔南，SAT模图：无环性，137-151[Zbl 1432.68328号]赛义德·贾布尔；若昂·西尔瓦侯爵；Lakhdar Sais；雅库布Salhi，以合取范式枚举命题公式的素蕴涵，152-165[Zbl 1432.68327号]Jori Bomanson；马丁·格布瑟（Martin Gebser）；汤米·詹胡宁，改进答案集程序中权重规则的规范化，166-180[Zbl 1432.68056号]Koehler，Henning；乌韦·莱克；林克，塞巴斯蒂安；亨利·普拉德，可能性键的逻辑基础，181-195[Zbl 1432.68462号]德克莱克，索菲；史蒂文·肖卡特（Steven Schockaert）；Martine De Cock；现在，安，可能性布尔博弈：不完全信息下的战略推理，196-209[兹比尔1432.68467]克里斯蒂安·艾奇霍恩；加布里埃尔·克恩·伊斯伯纳，用于排名功能的LEG网络，210-223[Zbl 1432.68459号]Koehler，Henning；林克，塞巴斯蒂安，近似饱和条件独立蕴涵问题的逻辑，224-238[Zbl 1432.68445号]儿子Tran Cao；恩里科·蓬泰利（Enrico Pontelli）；吉大港巴拉尔；格雷戈里·盖尔芬德，金融理论，239-252[Zbl 1432.03026号]佩雷·帕尔多；恩里克·萨里翁·莫里罗（Enrique Sarrión-Morillo）；费尔南多·索勒·托斯卡诺；费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。，用于将\（\mathsf{LCC}\）转换为\（\mathsf{PDL}\）的高效程序转换器，253-266[Zbl 1432.68449号]卢卡·埃特罗（Luca Aceto）；黛拉·莫妮卡，达里奥；Anna Ingólfsdóttir；安吉洛·蒙塔纳里（Angelo Montanari）；圭多·西亚维科，关于有限和离散线性阶上Allen关系的区间逻辑的表示性，267-281[Zbl 1432.03027号]Askounis、Dimitris；科斯塔斯·库特拉斯。；克里斯托斯·莫伊泽斯；尤戈斯·齐科斯，仅知道非全知理性代理人的哈珀-摩西：初步报告，282-296[Zbl 1432.03022号]佩德罗·卡巴拉尔；豪尔赫·范迪诺；迈克尔·芬克，涉及充分和必要原因的查询复杂性评估，297-310[Zbl 1432.68057号]法律，马克；俄罗斯，亚历山德拉；俄罗斯布罗达，答案集程序的归纳学习，311-325[Zbl 1432.68391号]Lee，Joohyung；王毅，模糊命题公式的稳定模型，326-339[Zbl 1432.68447号]佩德罗·卡巴拉尔；路易斯·法里尼亚斯，德尔·塞罗；大卫·皮尔斯；阿古斯汀·瓦尔维德，具有部分内涵函数的稳定模型的自由逻辑，340-354[Zbl 1432.68430号]佩帕斯，帕夫洛斯；玛丽·安妮·威廉姆斯，具有不及物合理性冷漠的收缩的构造性模型，355-367[Zbl 1432.03024号]汉斯·罗特，理论变革理论的四个层面：不完全歧视案例，368-382[Zbl 1432.03025号]菲利普·贝斯纳德，重新审视不一致性度量的假设，383-396[Zbl 1432.68427号]科斯特·马奎斯，西尔维；塞巴斯蒂安·科尼埃奇尼；Mailly，Jean-Guy；皮埃尔侯爵，基于翻译的论证框架修订方法，397-411[Zbl 1432.68435号]马蒂亚斯·克诺尔；何塞·胡里奥·阿弗雷斯，遗忘时保持强等价，412-425[Zbl 1432.68059号]托马斯·艾特；迈克尔·芬克；达里亚·斯蒂芬诺娃，计算（mathcal{EL}）本体上不一致DL-programs的修复，426-441[Zbl 1432.68437号]Salem Benferhat；Zied Bouraoui；奥德尔帕皮尼；埃里克·沃贝尔，DL-Lite知识库的基于断言的优先修订，442-456[Zbl 1432.68454号]乔瓦尼·阿蒙多拉；托马斯·艾特；尼古拉·利昂，模块化准相干答案集，457-471[Zbl 1432.68054号]法比奥·帕特里齐；斯塔夫罗斯·瓦索斯，基于等式约束的广义数据库的行动理论，472-485[Zbl 1432.68450号]纪尧姆·费伊拉德；安德烈亚斯·赫齐格，主动完整性约束的动态视图，486-499[Zbl 1432.68113号]Johannes Marti；里卡多·皮诺西奥，因果方程的相似阶，500-513[Zbl 1432.03044号]迭戈·卡尔瓦内斯；塞兰、伊斯梅尔·伊尔坎；马可·蒙塔利；亚利桑那州桑托索，验证上下文相关知识和行动基础，514-528[Zbl 1432.68456号]巴塞洛缪，迈克尔；Lee，Joohyng先生，系统aspmt2米：用SMT求解器计算ASPMT理论，529-542[Zbl 1432.68055号]亚历山大·鲍姆加特纳（Alexander Baumgartner）；特穆尔库西亚，反统一算法库，543-557[Zbl 1432.68426号]Michael Abseher；伯恩哈德·布利姆；格恩瑟·查瓦特；弗雷德里科·杜斯伯格；马库斯·赫彻；斯特凡·沃尔特兰，树分解动态规划的D-FLAT系统，558-572[Zbl 1432.68053号]马利亚阿尔普特；圣地亚哥埃斯科瓦尔；哈维尔·埃斯佩特；何塞·梅塞盖尔，ACUOS：带子类型和继承的模块化ACU泛化系统，573-581[Zbl 1432.68422号]弗朗索瓦州施瓦岑特鲁伯；郝金高，使用本地搜索从区域连接演算规范绘制欧拉图，582-590[Zbl 1362.68276号]Sylwia Polberg；道德，德拉甘，概率抽象辩证框架，591-599[兹比尔1343.68228]科斯米纳克罗托鲁，个人意见的论证汇总，600-608[Zbl 1432.91048号]马里亚·斯拉夫科维奇；托马斯·奥戈特内斯，测量判断集之间的差异，609-617[Zbl 1432.68451号]朱塞佩，马拉；弗朗西斯科·里卡；乔治·特拉西纳；多梅尼科·尤西诺，利用答案集编程处理多社会网络场景中的信息扩散，618-627[Zbl 1432.68060号]马克斯·诺布特；迈赫迪·达斯塔尼；约翰·朱尔斯·迈耶。，《关于动态规范体系的推理》，628-636[Zbl 1432.68468号]科斯塔斯·库特拉斯。；克里斯托斯·莫伊泽斯；尤戈斯·齐科斯，知识、信念和估计的模态逻辑，637-646[Zbl 1434.03064号]康斯坦丁诺斯·乔治托斯，信念收缩的逻辑，647-656[Zbl 1432.03023号]Enrico Franconi；亚历山德罗·莫斯卡；猎户座，泽维尔；Rull，Guillem；欧内斯特·特尼恩特，OCL建模语言的逻辑基础，657-664[Zbl 1432.68439号]尤西·林塔南，用于计算时间不变量的基于约束的算法，665-673[Zbl 1432.68419号]埃米利亚·奥伊卡里宁；马蒂·Järvisalo，答案集求解器后门，674-683[Zbl 1432.68061号]Soh、Takehide；丹尼尔·勒贝雷（Daniel Le Berre）；罗塞尔（Roussel，Stéphanie）；穆苏诺里·班巴拉；田村直之，基于增量SAT的方法，具有用于哈密顿循环问题的本机布尔基数处理，684-693[Zbl 1432.68420号]帕斯夸尔·朱利安·伊兰佐；麦地那，杰苏斯；曼纽尔·奥杰达·阿西戈，重温多伴随逻辑编程框架中的约简，694-702[Zbl 1432.68058号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68T27型 人工智能中的逻辑 00B25型 杂项特定利益的会议记录 引文：Zbl 1246.68063号 PDF格式BibTeX公司 XML格式引用 \textit{E.Fermé}（编辑）和\textit{J.Leite}（主编），人工智能中的逻辑。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：施普林格出版社（2014；Zbl 1296.68009） 全文： 内政部