×

兹马思-数学第一资源

逻辑程序设计与非单调推理。第14届国际会议,LPNMR 2017,芬兰埃斯波,2017年7月3-6日。会议记录。(英语) Zbl公司 1367.68005
计算机科学讲义人工智能课堂讲稿。查姆:斯普林格(ISBN 978-3-319-61659-9/pbk;978-3-319-61660-5/电子书)。十三,359 p(2017年)。

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

本卷的文章将单独审查。上一次会议见[Zbl 1320.68014].
索引文章:
格布瑟,马丁;马拉提亚,马可;里卡,弗朗西斯科第七届答案集编程大赛设计,3-9[Zbl 1418.68029]
莱特,乔ão,答案集编程中遗忘的鸟瞰图,10-22[Zbl 06769646]
儿子,崔曹,答案集编程及其在规划和多智能体系统中的应用,23-35[Zbl 06769647]
托尼,弗朗西丝卡,从逻辑程序设计和非单调推理到计算论证等,36-39[Zbl 06769648]
本·伊莱亚胡·佐哈里,瑞秋;安圭利,法布里齐奥;法比奥,法比奥;帕罗波利,路易吉,最小模型的模块化构造,43-48[中银06769649]
比斯塔雷利,斯特凡诺;桑蒂尼,弗朗西斯科,加权怀疑语义的Hasse图,具有唯一的基于状态的语义,49-56[Zbl 06769650]
德萨罗,法比奥·奥雷里奥;比卡基斯,安东尼;狄更斯,卢克;米勒,罗伯,概率事件演算基础,57-63[Zbl 06769651]
迪茨·萨尔达尼亚,艾曼纽·安娜;Hö埃尔多布勒,斯特芬;卢佩雷拉í圣莫尼兹,上下文推理:通常鸟类可以诱拐飞行,64-77[Zbl 06769652]
彭塞尔,马西米兰;图尔汗,安尼·亚斯明,包括描述逻辑的可撤销推理中的量化,78-84[Zbl 06769653]
苏,伊兹吉伊拉兹,关于自反自认知推理的单调观点,85-100[Zbl 06769654]
弗罗娜,米查ł,有限域上的最小推理问题:复杂性的景观,101-113[Zbl 06769655]
卡巴拉、佩德罗;范迪诺,豪尔赫;肖布,托尔斯滕;舍尔霍恩,塞巴斯蒂安,张国荣聚合为命题公式,117-131[Zbl 06769656]
费希特,约翰尼斯K。;马歇尔;莫拉克,迈克尔;沃尔特兰,斯特凡,有界树的答案集求解,132-145[Zbl 06769657]
盖尔方德,迈克尔;张远林,恶性循环原理与ASP语言中集合的形成,146-159[Zbl 06769658]
雷德,克里斯托夫,答案集程序,子程序查询,160-175[Zbl 06769659]
雷德,克里斯托夫,解释答案集程序和扩展的不一致性,176-190[Zbl 06769660]
温齐尔,安东尼乌斯,混合惰性接地和CDNL搜索求解答案集,191-204[Zbl 06769661]
张志正,带分级模式的答案集编程,205-211[Zbl 06769662]
阿尔维亚诺,马里奥;卡利梅里,弗朗西斯科;多达罗,胭脂红;保险丝à, 戴维德;利昂,尼古拉;佩里,西蒙娜;里卡,弗朗西斯科;维尔特里,皮尔弗兰切斯科;Zangari,杰西卡,ASP系统DLV2,215-221[Zbl 06769663]
波曼森,乔里,LP2正常–扩展逻辑程序的标准化工具,222-228[Zbl 06769664]
Gre考试ß勒,亚历山大;欧茨,约翰内斯;汤姆皮茨,汉斯,\(\mathsf{Harvey}\):ASP中的随机测试系统,229-235[Zbl 06769665]
洛佩斯,卡洛斯;克诺尔,马提亚斯;莱特,乔ão,Nohr:integration XSB prolog与owl2概要文件及更高版本,236-249[中银06769666]
Pü你好,Jörg公司,ArgueApply:辩论用移动应用程序,250-262[Zbl 06769667]
穆苏诺里班巴拉;井上,胜美;千叶,广濑;冈本、藤田;肖布,托尔斯滕;哦,藏起来;田村,直玉,Catnap:用答案集编程生成约束组合测试集,265-278[Zbl 06769668]
戴勒姆,马克;贾恩,特里普蒂;施耐德,克劳斯;吉尔曼,迈克尔,自动合成最佳尺寸集中器的答案集编程,279-285[Zbl 06769669]
迪莫普洛斯,雅尼斯;格布瑟,马丁;ü嘿,帕特里克;罗梅罗,哈维尔;肖布,托尔斯滕,第3版:迈向有效的ASP计划,286-300[Zbl 06769670]
多达罗,胭脂红;马拉茶,马可,通过答案集编程进行护士排班,301-307[Zbl 06769671]
佛罗里达州弗里欧é门斯;肖布,托尔斯滕;舍尔霍恩,塞巴斯蒂安;西格尔,安妮;万科,菲利普,混合代谢网络完成,308-321[Zbl 06769672]
布里克,亚历克斯;雷梅尔,杰弗里,动作语言混合体AL,322-335[Zbl 06769673]
萨本库,奥克特;莱特,乔ão《Moviola:通过多点回答集编程解释动态逻辑程序》,336-342[Zbl 06769674]
附表ü嗯,彼得,通过答案集优化判断共指注释,343-357[Zbl 06769675]

理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68N17 逻辑程序设计
68T27型 人工智能中的逻辑
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 内政部