机译:关于使用随机局部搜索技术从示例中修改一阶逻辑理论
Univ Fed Fluminense, Dept Comp Sci, Niteroi, RJ, Brazil;
Univ Fed Rio de Janeiro, COPPE, Dept Syst Engn & Comp Sci, Rio De Janeiro, RJ, Brazil;
Univ Porto, CRACS, Oporto, Portugal|Univ Porto, DCC FCUP, Oporto, Portugal;
Inductive logic programming; Theory revision from examples; Stochastic local search;
机译:局部电化学技术:腐蚀研究的理论和实例
机译:命题和一阶模态逻辑的替代翻译技术
机译:一阶基于逻辑的随机建模语言的设计与测试
机译:通过示例通过随机局部搜索修订一阶逻辑理论
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:一阶逻辑理论用于治疗合并症患者的临床实践指南:一个案例研究
机译:关于随机本地搜索技术的使用来修改示例的一阶逻辑理论
机译:一阶谓词逻辑模型理论及相关时态逻辑