软件搜索-zbMATH Open

LUPS公司

swMATH ID:	2579
软件作者：	何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；哈利娜·普尔兹穆森斯卡（Halina Przymusinska）；Przymusinski，Teodor C。
说明：	LUPS–用于更新逻辑程序的语言。迄今为止，在逻辑编程领域进行的大多数工作都集中于表示静态知识，即不随时间发展的知识。为了克服这一限制，在最近的一篇论文中，作者引入了动态逻辑编程的概念。在那里，他们研究并定义了逻辑程序（或动态逻辑程序）序列P0-Phi:：：Phi-Pn的声明和操作语义。每个这样的程序都包含关于某些给定状态的知识，其中不同的状态可能代表不同的时间段或不同的优先级集。动态逻辑编程的作用是利用可能相互矛盾的程序序列之间存在的相互关系，在任何给定状态下精确确定其组合的声明性语义和过程性语义。但在具体情况下，逻辑程序的序列是如何构建的呢？例如，在动作域中，适当的顺序是什么
主页：	http://link.springer.com/chapter/10.1007/3-540-46767-X_12
关键词：	动态更新语言;动态逻辑程序设计;LUPS公司
相关软件：	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

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	约瑟夫·海勒斯坦（Joseph M.Hellerstein）。
1	井上，Katsumi
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	张燕