卢普斯

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


zbMATH中的参考文献(参考 37篇文章 37篇,1标准件)

显示结果1到20,共37个。
按年份排序(引用)
  1. Gebser,Martin;Kaminski,Roland;Kaufmann,Benjamin;Schaub,Torsten:使用clingo进行多点ASP解决(2018)
  2. Ameloot,Tom J.;Van den Bussche,Jan;Marczak,William R.;Alvaro,Peter;Hellerstein,Joseph M.:将基于逻辑的分布式系统置于稳定的基础上(2016)
  3. 马格纳尼,洛伦佐:《自然化逻辑》(2015)
  4. Daniel G.Schwartz:动态推理系统(2015)
  5. Bourdier,Tony;Cirstea,Horatiu;Jaume,Mathieu;Kirchner,Hélène:安全策略的正式规范和验证(2012)
  6. Alferes,JoséJúlio;Gabaldon,Alfredo;Leite,João:带时态运算符的演化逻辑程序(2011)
  7. Slota,Martin;Leite,João:EVOLP:基于转换的语义(2009)
  8. 张燕:更新认识逻辑程序(2009)
  9. 更新程序;基于德尔斯滕的程序,2007年;汉斯-托尔斯滕逻辑更新框架
  10. 托马斯•艾特;迈克尔•芬克;汉斯•汤姆皮茨:选择信息源的基于知识的方法(2007)
  11. Leite,João;Soares,Luís:向多智能体系统添加进化能力(2007)
  12. Alferes,J.J.;Banti,F.;Brogi,A.:事件-条件-动作逻辑编程语言(2006)
  13. Arieli,Ofer;Denecker,Marc;Van Nuffelen,Bert;Bruynooghe,Maurice:用符号公式修复数据库的计算方法(2006)
  14. 阿尔弗雷斯,何塞·朱利奥;班蒂,费德里科;布罗吉,安东尼奥:从逻辑程序更新到动作描述更新(2005)
  15. Arieli,Ofer;Denecker,Marc;Van Nuffelen,Bert;Bruynooghe,Maurice:通过诱因逻辑编程实现数据库的一致集成(2004)
  16. 智能代理程序规范(基于Martili,2004;基于Martili的智能代理程序规范)
  17. Alferes,J.J.;Brogi,A.;Leite,J.A.;Pereira,Luís Moniz:一种进化的基于规则的电子邮件代理。(2003年)
  18. Leite,João Alexandre:不断发展的知识库。规范与语义(2003)
  19. Sakama,Chiaki;Inoue,Katsumi:计算知识库更新的诱因性框架(2003)
  20. 萨尔瓦多的Abreu;保罗的Quaresma;Luis的Quintano;Irene的Rodrigues:用于访问数据库的自然语言对话管理器(2002)