发光二极管 swMATH ID: 2579 软件作者: 何塞·朱利奥·阿尔弗雷斯;佩雷拉,路易斯·莫尼兹;哈利娜·普尔兹穆森斯卡(Halina Przymusinska);Przymusinski,Teodor C。 描述: LUPS–用于更新逻辑程序的语言。迄今为止,在逻辑编程领域进行的大多数工作都集中于表示静态知识,即不随时间发展的知识。为了克服这一局限性,在最近的一篇论文中,作者引入了动态逻辑编程的概念。在那里,他们研究并定义了逻辑程序(或动态逻辑程序)序列P0-Phi:::Phi-Pn的声明和操作语义。每个这样的程序都包含关于某些给定状态的知识,其中不同的状态可能代表不同的时间段或不同的优先级集。动态逻辑编程的作用是利用可能相互矛盾的程序序列之间存在的相互关系,在任何给定状态下精确确定其组合的声明性语义和过程性语义。但在具体情况下,逻辑程序的序列是如何构建的呢?例如,在动作域中,适当的顺序是什么 主页: http://link.springer.com/chapter/10.1007/3-540-446767-X_12 关键词: 用于动态更新的语言;动态逻辑程序设计;发光二极管 相关软件: XSB公司;斯莫德尔斯;EVOLP公司;杰森;ConGolog公司;METATEM公司;超小卫星;实际HEX;阿司匹林;莫维奥拉;罗索·克林戈;D-扁平;克林戈;Clingcon公司;WASP公司;o克林戈;扣;Potassco公司;z3(零3);DLV-EX公司 引用于: 37文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 LUPS–用于更新逻辑程序的语言。 Zbl 0952.68022号何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;哈利娜·普尔兹穆森斯卡;Przymusinski,Teodor C。 1999 全部的 前5名52位作者引用 12 何塞·朱利奥·阿尔弗雷斯 9 路易斯·莫尼兹·佩雷拉 7 约昂·亚历山大·莱特 6 汉斯·托姆皮茨 5 安东尼奥·布罗吉 5 托马斯·艾特 5 迈克尔·芬克 4 朱利安娜·萨巴蒂尼 三 约昂·莱特 三 哈利娜·普尔兹穆森斯卡 三 Przymusinski,Teodor C。 2 奥费尔·阿列利 2 费德里科·班蒂 2 莫里斯·布吕诺格 2 马克·德内克 2 夸雷斯马,保罗 2 托尔斯滕·绍布(Torsten H.Schaub)。 2 范·努费伦(Bert Van Nuffelen) 1 萨尔瓦多阿布雷乌 1 彼得·阿尔瓦罗 1 汤姆·J·阿梅罗特。 1 托尼·布迪耶 1 霍雷修·西尔斯泰 1 弗罗林·克雷西恩 1 詹姆斯·德尔格兰德。 1 阿尔弗雷多·加巴登 1 马丁·格布瑟 1 盖尔方德,迈克尔 1 约瑟夫·海勒斯坦。 1 井上,胜美 1 马修·尧姆 1 罗兰·卡明斯基 1 本杰明·考夫曼 1 赫莱内·基什内尔 1 佐尔坦·科普 1 尼古拉·利昂 1 伊昂·阿尔弗雷德·莱蒂娅 1 洛伦佐·马格纳尼 1 威廉·R·马尔扎克。 1 Maurizio Martelli 1 维维亚娜·马斯卡迪 1 路易斯·昆塔诺 1 艾琳·罗德里格斯 1 恰基萨卡马 1 雷娜特·施密特(Renate A.Schmidt)。 1 丹尼尔·施瓦茨(Daniel G.Schwartz)。 1 马丁·斯洛塔 1 路易斯·苏亚雷斯 1 Leon S.斯特林。 1 蒂什科夫斯基,德米特里 1 Van den Bussche,简 1 张燕 全部的 前5名8篇连载文章中引用 7 逻辑程序设计理论与实践 2 人工智能 1 逻辑与计算杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 1 ACM计算逻辑汇刊 1 应用逻辑杂志 1 人工智能和应用的前沿 在3个字段中引用 36 计算机科学(68至XX) 三 数理逻辑与基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文