勒普斯

LUPS——一种用于更新逻辑程序的语言。迄今为止,在逻辑程序设计领域进行的大部分工作都集中在表示静态知识,即不随时间演变的知识。为了克服这一局限性,在最近的一篇论文中,作者介绍了动态逻辑程序设计的概念。在那里,他们研究并定义了逻辑程序序列(或动态逻辑程序)的声明性和操作语义,P0φ:::Phi Pn。每个这样的程序包含关于给定状态的知识,其中不同的状态可以例如表示不同的时间段或不同的优先级集。动态逻辑编程的作用是利用在可能相互矛盾的程序序列之间存在的相互关系,在任何给定的状态下精确地确定它们的组合的声明性和过程性语义。但是,在具体情况下,如何构建一系列逻辑程序呢?例如,在操作域中,适当的序列是什么?


ZBMaX中的参考文献(37篇)1标准条款

显示结果1至20的37。
按年份排序(引文
  1. Gebser,马丁;卡明斯基,罗兰;考夫曼,本杰明;肖布,托斯滕:用Culgo(2018)解决多重射击ASP
  2. Ameloot,Tom J.;Van den Bussche,简;Marczak,William R.;阿尔瓦罗,彼得;Helel斯坦,Posi:在稳定的基础上放置基于逻辑的分布式系统(2016)
  3. Magnani,洛伦佐:归化逻辑(2015)
  4. 施瓦兹,Daniel G.:动态推理系统(2015)
  5. 布尔迪尔,托尼;Calista,Horatiu;Juuu,马蒂厄;基什内尔,Hell Lene:安全策略的形式化规范和验证(2012)
  6. Alferes,J.J.J.Lio;Gabaldon,阿尔弗雷多;莱特,Jo.O:用时态算子演化逻辑程序(2011)
  7. Slota,马丁;莱特,乔安诺:进化论:基于语义的转换(2009)
  8. 张,严:更新认知逻辑程序(2009)
  9. 德朗德,James P.;肖布,托斯滕;Tompits,汉斯:一个基于偏好的逻辑程序更新框架(2007)
  10. Eiter,托马斯;芬克,米迦勒;Tompits,汉斯:一种基于知识的信息源选择方法(2007)
  11. 卢,SyARS,SoARES,SyRays:将进化能力添加到多智能体系统(2007)
  12. Alferes,J. J.;BANTI,F;Brogi,A:事件条件动作逻辑程序设计语言(2006)
  13. 阿里利,Ofer;Denecker,贾景晖;Van Nuffelen,伯特;BrynooGHe,毛里斯:用符号公式修复数据库的计算方法(2006)
  14. Alferes,Joej JiiLo;BaTi,费德里克;BrGi,安东尼奥:从逻辑程序更新到动作描述更新(2005)
  15. 阿里利,Ofer;Denecker,贾景晖;Van Nuffelen,伯特;BrynooGHe,毛里斯:溯因逻辑程序设计的数据库一致集成(2004)
  16. MasCACI,Viviana;马特利,Maurizio;斯特林,列昂:智能软件代理的基于逻辑的规范语言(2004)
  17. Alferes,J. J.;BrGi,A.;莱特,J. A.;Pereira,Luys'Muni:一个可演化的基于规则的电子邮件代理。(2003)
  18. 莱特,乔治亚历山大:进化的知识基础。规范与语义(2003)
  19. Sakama,Chiaki;Inoue,Katsumi:计算知识库更新的溯因框架(2003)
  20. Abreu,萨尔瓦多;QuaReSMA,Paulo;Quintano,路易斯;罗德里格斯,艾琳:访问数据库的自然语言对话管理器(2002)