×
马塞洛·巴尔杜奇尼（编辑）;尤利亚·利勒（编辑）;斯特凡·沃尔特兰（编辑）

逻辑编程和非单调推理。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。 （英语） Zbl 1410.68009号

计算机科学课堂讲稿11481.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-030-20527-0/pbk；978-3-0.30-20528-7/电子书）。第二十二章，第348页。(2019).

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

本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1367.68005号].
索引文章：
德克·阿贝尔斯；朱利安·乔迪（Julian Jordi）；奥斯特罗夫斯基，马克斯；托尔斯滕·绍布（Torsten Schaub）；安布拉·托莱蒂；菲利普·旺科，使用混合ASP的列车调度，3-17[Zbl 1522.68094号]
里卡多·贝尔托卢奇；阿莱西奥·卡皮塔内利；多达罗，胭脂红；尼古拉·利昂内（Nicola Leone）；马尔科·马拉提亚（Marco Maratea）；Mastrogiovanni，Fulvio；毛罗·瓦拉蒂，基于ASP的框架，用于使用双臂机器人操纵铰接对象，32-44[Zbl 1522.68594号]
皮埃尔·比斯克特；佛罗伦萨杜宾·德·圣西尔；菲利普·贝斯纳德，用方案和谬误评估论点，61-74[兹比尔1522.68522]
Jesse Heyninck；奥费尔·阿列利，基于简单反向假设的框架，75-88[Zbl 1522.68527号]
罗尔夫、莉娜；加布里埃尔·克恩·伊斯伯纳；格哈德·布鲁卡，使用ADF对答案集进行基于论证的解释，89-102[Zbl 1522.68531号]
约翰·费希特（Johannes K.Fichte）。；马库斯·赫彻，树宽和计算预测答案集，105-119[Zbl 1522.68111号]
佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗，分裂认知逻辑程序，120-133[Zbl 1522.68103号]
佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗，用自认知平衡逻辑建立世界观，134-147[Zbl 1522.68524号]
佩德罗·卡巴拉尔；马丁·迪盖兹；托尔斯滕·绍布，面向有限轨迹上的动态答案集编程，148-162[Zbl 1522.68102号]
普卡卡泽，索普；汉斯·托姆皮茨，用于三值缺省逻辑的序列型演算，或：Tweety满足quartum非数据，163-177[Zbl 1522.68530号]
Jori Bomanson；亚历克斯·布里克，使用动作语言诊断数据管道故障，181-194[Zbl 1522.68523号]
利奥波多·贝托西，基于修复的数据库不一致程度，195-209[兹比尔1522.68180]
Belabbes，Sihem；Salem Benferhat；简·乔米奇，Elect：部分预排序轻量级本体的不一致处理方法，210-223[Zbl 1522.68535号]
王毅；Lee，Joohyng先生，通过概率动作语言的决策论扩展阐述马尔可夫决策过程的容错表示（p\mathcal{BC}+\），224-238[兹比尔1522.68116]
阿尔维亚诺，马里奥；乔瓦尼·阿蒙多拉；多达罗，胭脂红；尼古拉·利昂内（Nicola Leone）；马尔科·马拉提亚（Marco Maratea）；弗朗西斯科·里卡，WASP中析取程序的评估，241-255[Zbl 1522.68096号]
佩德罗·卡巴拉尔；罗兰·卡明斯基；菲利普·莫基什（Philip Morkisch）；托尔斯滕·绍布,泰林戈=ASP+时间，256-269[Zbl 1522.68105号]
弗拉基米尔·利夫希茨；帕特里克·吕恩；托尔斯滕·绍布，验证的输入语言中程序的强等价性外国佬, 270-283 [Zbl 1522.68113号]
弗拉维奥·埃弗拉多；汤米·詹胡宁；罗兰·卡明斯基；托尔斯滕·绍布，返回克索罗, 284-297 [Zbl 1522.68109号]
理查德·塔普（Richard Taupe）；安东尼乌斯·温齐尔；格哈德·弗里德里希，基础的懒惰程度。懒惰化策略对ASP解决的影响，298-311[Zbl 1522.68115号]
托马斯·艾特；托比亚斯·卡明斯基，使用语义依赖修剪ASP的外部最小值检查，326-339[Zbl 1522.68537号]
Pham、Tu-San；乔·德弗里安特（Jo Devriendt）；Patrick De Causmaecker，谓词逻辑的声明性局部搜索，340-346[Zbl 1522.68518号]

引用于1审查
引用于6文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68N17号 逻辑编程
第68页第27页 人工智能中的逻辑
00B25型 杂项特定利益的会议记录

引文：

Zbl 1367.68005号
PDF格式BibTeX公司 XML格式引用
\textit{M.Balduccini}（ed.）等人，《逻辑编程和非单调推理》。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。查姆：施普林格（2019；Zbl 1410.68009）
全文： 内政部