×
佩德罗·卡巴拉尔（编辑）；儿子Tran Cao（编辑）

逻辑编程和非单调推理。2013年9月15日至19日，第十二届国际会议，LPNMR 2013，西班牙科伦纳。诉讼程序。 （英语） Zbl 1272.68012号

计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-40563-1/pbk）。十七、570页。(2013).

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

对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1214.68009号].
索引文章：
格哈德·布鲁卡，面向反应性多上下文系统，1-10[Zbl 1405.68374号]
罗伯特·科瓦尔斯基，20世纪70年代的逻辑编程，11-22[兹比尔1405.68049]
费利西达·阿瓜多；佩雷斯，吉尔伯托；康塞普西翁·维达尔，集成答案集编程的时间扩展，23-35[兹比尔1405.68035]
何塞·朱利奥·阿尔弗雷斯；马蒂亚斯·克诺尔；王克文，在有根有据的语义下遗忘，36-41[Zbl 1405.68336号]
阿尔维亚诺，马里奥；沃尔夫冈·费伯，FLP语义下广义原子答案集编程的复杂性边界，67-72[Zbl 1405.68036号]
本杰明·安德烈斯；马丁·格布瑟（Martin Gebser）；托尔斯滕·绍布（Torsten Schaub）；克里斯蒂安·哈贝特（Christian Haubelt）；Felix Reimann；迈克尔·格拉，使用答案集编程进行符号系统合成，79-91[Zbl 1405.68037号]
本杰明·安德烈斯；马提亚斯·索尔；马丁·格布瑟（Martin Gebser）；舒伯特，托拜厄斯；贝恩德·贝克尔；托尔斯滕·绍布，使用答案集编程精确计算敏感路径，92-101[Zbl 1405.68038号]
Antić，基督徒；托马斯·艾特；迈克尔·芬克，通过近似不动点理论的十六进制语义，102-115[Zbl 1405.68039号]
萨达特·安瓦尔；奇塔·巴拉尔；井上，胜美，在答案集编程中对Petri网的高级扩展进行编码，116-121[Zbl 1405.68040号]
约瑟夫·巴伯（Joseph Babb）；Lee，Joohyng先生，Cplus2ASP：答案集编程中的计算动作语言\（{\mathcal C}+\），122-134[Zbl 1405.68041号]
巴莱、叶夫根尼；Michael Gelfond；张元林，朝向带排序的答案集编程，135-147[Zbl 1405.68042号]
马尔切洛·巴尔杜奇尼（Marcello Balduccini）；Yuliya Lierler；彼得·舒勒，Prolog和ASP在同一屋檐下推理，148-160[兹比尔1405.68043]
奇塔·巴拉尔；Vo，Nguyen H。，事件对象推理与精选知识库：衍生缺失信息，161-167[Zbl 1405.68381号]
巴里拉罗，罗莎玛利亚；迈克尔·芬克；弗朗西斯科·里卡；乔治·特拉西纳，面向关系型多上下文系统中的查询应答，168-173[Zbl 1405.68382号]
林戈·鲍曼（Ringo Baumann）；格哈德·布鲁卡，抽象论证中的谱：最小变化分析，174-186[Zbl 1405.68338号]
Jori Bomanson；汤米·詹胡宁，使用合并和排序结构规范基数规则，187-199[Zbl 1405.68044号]
丹尼尔·博奇曼，基于经验的非单调推理，200-205[Zbl 1405.68343号]
菲利普·博德伦；达米安·埃维拉德（Damien Eveillard）；亚历杭德罗·马斯；安妮·西格尔（Anne Siegel）；Thiele，斯文，ASP在综合生物学中的应用：功能基因单元的鉴定，206-218[Zbl 1405.68373号]
蒂莫西·塞雷克斯；奥昆特Sabunu；迈克尔·泰尔舍尔，评估一般游戏的答案集子句学习，219-232[Zbl 1405.68045号]
陈，吴；张东墨；吴茂年，逻辑程序中谈判推理的序列模型，239-244[Zbl 1405.68386号]
纪尧姆·科莱；达米安·埃维拉德（Damien Eveillard）；马丁·格布瑟（Martin Gebser）；西尔万·普里金特；托尔斯滕·绍布（Torsten Schaub）；安妮·西格尔（Anne Siegel）；Thiele，斯文，使用答案集编程扩展角果的代谢网络，245-256[Zbl 1405.68046号]
科斯坦蒂尼，斯蒂芬妮娅；安德烈亚·福米萨诺《否定作为一种资源：答案集语义新论》，257-263[兹比尔1352.68035]
詹姆斯·德尔格兰德（James Delgrade）；佩帕斯，帕夫洛斯；斯特凡·沃尔特兰，答案集语义下逻辑程序的AGM型信念修正，264-276[Zbl 1379.68290号]
克里斯蒂安·德雷舍尔（Christian Drescher）；托比·沃尔什，充分理由和充分支配的有效近似，277-289[Zbl 1405.68047号]
曼弗雷德·埃普；梅胡尔·巴特（Mehul Bhatt）；弗兰克·迪拉，近似认知规划，用后置词作为回答集编程，290-303[Zbl 1405.68348号]
路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格（Andreas Herzig）；苏·埃兹吉·伊拉兹，平衡逻辑与动态逻辑相结合，304-316[Zbl 1405.68352号]
加拉纳基，克瑞西达；诺米科斯、克里斯托斯；帕诺斯·朗多吉安尼，非单调内涵逻辑编程的游戏语义，329-341[Zbl 1318.68067号]
里卡多·贡萨尔维斯；何塞·朱利奥·阿尔弗雷斯，参数化逻辑程序的可决定性和实现，361-373[Zbl 1405.68048号]
里卡多·贡萨尔维斯；马蒂亚斯·克诺尔；约昂·莱特；马丁·斯洛塔，非单调时间目标，374-386[Zbl 1405.68377号]
阿米莉亚·哈里森；弗拉基米尔·利夫希茨；米罗斯瓦·特鲁什琴斯基，关于稳定模型语义下无穷公式的等价变换（初步报告），387-394[Zbl 1405.68354号]
季建民；林方珍，特纳的普遍因果逻辑、命题逻辑和逻辑编程，401-413[Zbl 1405.68356号]
马库斯·科洛奇；Despoina的Magka；伊恩·霍洛克斯，抽象规则的具体结果，414-426[Zbl 1405.68358号]
莫里斯·帕格努科；戴维·拉贾拉特南；汉内斯·斯特拉斯（Hannes Strass）；迈克尔·泰尔舍尔，在情境演算和应用中实现信念改变，439-451[兹比尔1405.68363]
Polleres，Axel；Frühstück，梅兰妮；戈特弗里德·申纳；格哈德·弗里德里希，使用选择规则、基数和权重约束调试非基础ASP程序，452-464[Zbl 1405.68050号]
Anna Ryabokon；格哈德·弗里德里希（Gerhard Friedrich）；安德烈亚斯·福克纳。，用于解决配置问题的基于冲突的程序重写，465-478[Zbl 1405.68379号]
阿里·萨普塔维贾亚；路易斯·莫尼兹·佩雷拉，通过增量和答案包含表更新程序，479-484[Zbl 1405.68051号]
尼古拉·施温德（Nicolas Schwind）；井上，胜美，逻辑程序修正的特征定理，485-498[Zbl 1407.68477号]
彼得·舒勒，使用CYK算法和答案集编程的灵活组合分类语法分析，499-511[兹比尔1405.68389]
Slota，Martin；巴尔亚奇，马丁；约昂·莱特，逻辑程序更新的早期恢复，512-517[Zbl 1405.68052号]
萨米·Sá；佐奥州阿尔坎塔拉，基于信念的理性决策的偏好处理，518-523[Zbl 1405.68388号]
卡洛斯·维加斯·达马西奥；分析，Anastasia；格里戈里斯·安东尼奥，逻辑编程理由，530-542[Zbl 1405.68053号]
王一松；庄志强；王克文，非单调多上下文系统中的信念变化，543-555[Zbl 1405.68380号]
朱莹；米罗斯瓦·特鲁什琴斯基，关于答案集优化问题的最优解，556-568[兹比尔1405.68055]

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

MSC公司：

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

引文：

Zbl 1214.68009号
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}（编辑）和\textit{T.C.Son}（编），逻辑编程和非单调推理。2013年9月15日至19日，第十二届国际会议，LPNMR 2013，西班牙科伦纳。诉讼程序。柏林：施普林格出版社（2013；Zbl 1272.68012）
全文： 内政部