诺尔

此软件的关键字
zbMATH中的参考文献, 1标准件 )
Kasalica,Vedran;Gerochristos,Ioannis;Alferes,JoséJúlio;Gomes,Ana Sofia;Knorr,Matthias;Leite,João:与NoHR进行电信网络库存验证(2019年) Balduccini,Marcello(编辑);Janhunen,Tomi(编辑):逻辑程序设计和非单调推理。 第14届国际会议,LPNMR 2017,芬兰埃斯波,2017年7月3日至6日。 会议记录(2017) Lopes,Carlos;Knorr,Matthias;Leite,João:Nohr:integrating XSB prolog与OWL2配置文件及更高版本(2017) Gonçalves,Ricardo;Knorr,Matthias;Leite,João:《ASP中的遗忘:遗忘的属性》(2016) Slota,Martin;Leite,João;Swift,Theresa:关于由本体论和规则组成的混合知识库的更新(2015)