卢普斯

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