逻辑程序设计理论与实践,第13卷
2013年1月第13卷第1期
刘国华 , 嘉惠游 :
关联权重约束和聚合程序:语义和表示。 1-31 胡安·卡洛斯·尼维斯 , 毛里西奥·奥索里奥 , 尤利斯·科尔特斯 :
可能性选言程序的语义。 33-70 Phuong-Lan Nguyen公司 , 巴特·德梅恩 :
Prolog的表示共享。 71-106 弗雷德里克·迈尔 :
可定义逻辑和逻辑编程在良好语义基础下的可互定义性。 107-142
2013年3月第13卷第2期
阿戈斯蒂诺·多维尔 , 安德烈亚·福米萨诺 , 恩里科·蓬泰利 :
自主代理协调:动作语言满足CLP()和Linda。 149-173 法比奥·菲奥拉万蒂 , 阿尔贝托·佩托罗西 , 毛里齐奥·普罗埃蒂 , 瓦莱里奥·塞尼 :
无限状态系统验证的推广策略。 175-199 劳拉·佐丹诺 , 阿尔贝托·马泰利 , 丹尼尔·塞塞迪尔·杜普雷 :
使用临时答案集推理操作。 201-225 马可·曼纳 , 弗朗西斯科·里卡 , 乔治·特拉西纳 :
通过ASP从不同角度进行一致的问答:理论与实践。 227-252 西蒙娜·佩里 , 弗朗西斯科·里卡 , 马可·西里安尼 :
ASP程序的并行实例化:技术和实验。 253-278 法布里齐奥·里古齐 , Terrance Swift公司 :
分布语义下概率逻辑规划的良好定义和有效推理。 279-302
2013年5月第13卷第3期
托马斯·艾特 , 伊斯娃·爱德姆 , 哈利特·埃尔多安 , 迈克尔-芬克 :
在答案集编程中寻找相似/不同的解决方案。 303-359 金·鲍特斯 , 史蒂文·肖克尔特 , 杰伦·杨森 , 德克·弗梅尔 , 马丁·德科克 :
答案集编程中交流的表达能力。 361-394 克里斯蒂娜·费尔 , 斯迪恩·海曼斯 :
用森林逻辑程序和f混合知识库进行推理。 395-463
第13卷,编号4-5,2013年7月
伊芙琳娜·拉姆 , Terrance Swift公司 :
编者按:第29届逻辑程序设计国际会议特刊。 465-470 猫兄弟 , 莫里斯·布吕诺格 :
检测和利用模型生成的功能依赖性。 471-485 罗尔夫·施维特 :
就业难题:通过受控的自然语言处理接受挑战。 487-501 弗拉基米尔·利夫希茨 , 杨芳凯 :
劳埃德-托珀完井模型和一般稳定模型。 503-515 雷汉·阿卜杜勒·阿齐兹 , 杰弗里·朱 , 彼得·J·斯塔基 :
已建立边界的稳定模型语义。 517-532 汤姆·施里杰弗斯 , 巴特·德梅恩 , Benoit Desouter公司 , Jan Wielemaker公司 :
序言的分隔连续部分。 533-546 马塞洛·巴尔杜奇尼 :
具有非herbrand部分功能的ASP:一种实用的语言和系统。 547-561 嘉惠游 , 张恒 , 张燕(音译) :
在规则头中具有存在量化的析取逻辑程序。 563-578 迈克尔·J·马赫 :
可废止逻辑的相对表现性2。 579-592 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙切特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
通过插值进行故障表约束逻辑编程。 593-607 米尔贾娜·马祖拉 , 埃多尔多·塞拉 , 卡洛·扎尼奥洛 :
horn子句的声明性扩展,及其对数据日志及其应用的意义。 609-623 亚历杭德罗·阿贝莱兹 , 夏洛特·特鲁切特 , 菲利普·科多涅 :
使用顺序运行时分布进行SAT局部搜索的并行加速预测。 625-639 劳拉·佐丹诺 , 阿尔贝托·马泰利 , 马蒂奥·斯皮奥塔 , 丹尼尔·塞塞迪尔·杜普雷 :
使用约束时态答案集编程进行业务流程验证。 641-655 保拉·安德拉·布索尼乌 , 约翰内斯·奥茨 , 约尔格·普勒 , 彼得·斯科科夫斯基 , 汉斯·托姆皮茨 :
SeaLion:一个基于eclipse的IDE,用于具有高级调试支持的答案集编程。 657-673 罗兰·卡明斯基 , 托尔斯滕·绍布 , 安妮·西格尔 , 圣地亚哥·维德拉 :
使用ASP的逻辑信号网络中的最小干预策略。 675-690 约阿希姆·詹森 , 阿尔伯特·乔里森 , 格尔达·詹森 :
将Input*FO(·)归纳定义编译为IDP3的表格序言规则。 691-704 梁森林 , 迈克尔·基弗 :
大型逻辑程序中非终结的实用分析。 705-719 埃尔维拉·阿尔伯特 , 玛丽亚·加西亚·德拉班达 , 米盖尔·戈梅斯·扎马洛亚 , 何塞·米盖尔·罗哈斯 , 彼得·J·斯塔基 :
用于生成测试用例的CLP堆解算器。 721-735 塞尔吉奥·格雷科 , 克里斯蒂安·莫利纳罗 , 伊琳娜·特鲁比西纳 :
带函数符号的逻辑编程:通过程序装饰检查自下而上求值的终止。 737-752 马里奥·阿尔维亚诺 , 拉斐尔·佩尼亚洛萨 :
模糊答案集近似值。 753-767 乔恩·斯奈尔斯 , 丹尼·德·施雷 , 托姆·W·福吕维思 :
CHRiSM中的概率法律推理。 769-781 穆苏诺里·班巴拉 , Takehide Soh公司 , 田村直之(Naoyuki Tamura) , 井上胜美 , 托尔斯滕·绍布 :
答案集编程作为课程时间表的建模语言。 783-798 维托尔·桑托斯·科斯塔 , 大卫·瓦兹 :
BigYAP:外编译符合UDI。 799-813 马洁菲 , 弗兰克·勒 , 大卫·伍德 , 亚历山德拉·拉索 , 豪尔赫·洛博 :
分布式计算的声明性方法:规范、执行和分析。 815-830 伊斯娃·爱德姆 , 沃尔坎·帕托格鲁 , Zeynep G.Saribatur公司 , 彼得·施勒 , Tansel乌拉 :
通过调解人为多个机器人团队找到最佳计划:基于逻辑的方法。 831-846 保罗·塔劳 :
Prolog术语的紧凑序列化(带有catalan骨架、cantor元组和Gödel编号)。 847-861 迈克尔·巴塞洛缪 , 李佐雄 :
关于内涵函数的稳定模型语义。 863-876 乔治·戈特洛布 , 马可·曼纳 , 安德烈亚斯·皮利斯 :
结合存在规则的可判定性范例。 877-892
2013年7月,第13卷,第4-5号在线供应
保罗·沙卡里安 , 杰拉尔多·西马里 , 德文卡拉汉 :
关于复杂网络的推理:一种逻辑编程方法。 克劳迪娅·舒尔茨 , 弗朗西丝卡·托尼 :
基于ABA的答案集合理性。 爱迪生·梅拉 , Jan Wielemaker公司 :
移植和重构Prolog程序:PROSYN案例研究。 Lunjin路 :
面向参数化逻辑程序分析:两个示例。 沃纳·纳特 , 谢尔盖·帕拉莫诺夫 , 奥根·萨夫科维奇 :
一种ASP查询完整性推理方法。 戴维德·安科纳 , 阿戈斯蒂诺·多维尔 :
联合LP:回到根源。 维维克·尼甘姆 , 吉赛尔·里斯 , 莱昂纳多·利马 :
使用ASP检查证明转换。 阿里·萨普塔维贾亚 , 路易斯·莫尼兹·佩雷拉 :
逻辑程序中的表格诱拐。 弗农·阿松森 , 张燕(音译) , 张恒 , 一周 :
建设性界限。 阿米拉·扎基 , 托姆·W·福吕维思 , 苗条的阿卜杜纳德 :
面向约束处理规则的反向执行。 亚历杭德罗·塞拉诺 , 佩德罗·洛佩斯·加西亚 , 弗朗西斯科·布埃诺 , 曼纽尔·埃尔梅内吉尔多 :
逻辑程序的大小类型分析。 托尼·里贝罗 , 井上胜美 , 高万·伯恩 :
结合自适应推理和反应推理的答案集程序。 阿恩·科尼格 , 托尔斯滕·绍布 :
监控和可视化答案集求解。 维维亚娜·马斯卡迪 , 戴维德·安科纳 :
基于逻辑的多代理系统中协议动态检查的属性全局类型。 纪建民 , 林芳珍 , 嘉惠游 :
具有任意约束原子的基本逻辑程序的至多一个外部支持规则的计算循环。 伦斯·贝尔兹纳 :
重写逻辑中的动作编程。 Dimitar图纸。 谢特里奥诺夫 , 西奥弗拉斯托斯·曼塔代利斯 , 格尔达·詹森 :
ProbLog推断的基于模式的压缩。 迈克尔·哈纳斯 :
向Curry程序添加复数参数。 彼得·范·赫特姆 , Joost Vennekens公司 , Bart Bogaerts公司 , 乔·德弗里恩特 , 马克·德内克 :
购买新车的影响:IDP知识库系统的扩展。 安娜·索菲亚·戈麦斯 , 何塞·朱利奥·阿尔弗雷斯 :
使用外部操作扩展事务逻辑。 达拉·阿拉杰 , 罗伯·米勒 , 亚历山德拉·拉索 , 塞巴斯蒂安·乌奇特尔 :
逻辑编程中触发场景的推理。 维奈·K·乔德里 , 斯迪恩·海曼斯 , Son Tran公司 , 迈克尔·韦塞尔 :
逻辑程序设计中面向对象的知识库。 萨达特·安瓦尔 , 奇塔·巴拉尔 , 井上胜美 :
基于模拟推理的答案集编程中的Petri网编码。 马塞洛·巴尔杜奇尼 , 尤利亚·利勒 :
约束答案集编程的集成模式:案例研究。 阿米尔·阿瓦尼 , 尤金妮娅·特诺夫斯卡 , 大卫·G·米切尔 :
使用Enfragmo系统解决问题。 萨伊德·贾布尔 , 拉赫达尔·赛斯 , 雅库布沙利 :
基于鸽子洞的基数约束编码。
马可·加瓦内利 , 马丁·格布瑟 :
2013年ICLP博士联合会。 罗伯托·阿马蒂尼 :
投资组合方法在约束规划中的评价与应用。 迈克尔·巴塞洛缪 :
函数在稳定模型语义中的作用。 塞尔吉奥·卡斯特罗 :
逻辑对象:面向对象语言和逻辑编程语言之间语言共生的可移植和可扩展方法。 Benoit Desouter公司 :
使用CP技术实现LP系统。 卡米娜·多达罗 :
设计一个高效的本地ASP解算器。 豪尔赫·范丁诺 :
因果逻辑程序的代数方法。 约翰·克劳斯·费希特 :
答案集编程可牵引性的后门。 阿米莉亚·哈里森 :
古灵阁的语义及其强等价性证明。 阿恩·科尼格 :
可视化答案集编程。 阿里·萨普塔维贾亚 :
用逻辑编程实现计算道德。 克劳迪娅·舒尔茨 :
答案集编程和其他非单调推理系统的论证。 劳拉·蒂托洛 :
时间并发约束语言验证的抽象解释框架。 杨芳凯 :
用基于逻辑的语言表示动作。
第13卷第6期,2013年11月
马丁·莫吉兰斯基 , 尼古拉斯·罗斯坦(Nicolás D.Rotstein) , 马塞洛·A·法拉帕 , 亚历杭德罗·哈维尔·加西亚 , 吉列尔莫·里卡多·西马里 :
知识的动态 DeLP公司 通过论证理论的改变。 893-957 Quan Phan公司 , 格尔达·詹森 , 佐尔坦·索莫吉 :
Mercury程序的基于区域的内存管理。 959-1024