Dec, 2018

代码搜索的主动归纳逻辑编程

TL;DRALICE 是一种交互式代码搜索技术,能够主动利用用户反馈来表达和细化搜索查询,并采用基于逻辑事实的查询语言模型及主动归纳逻辑编程,有效地筛选掉大量错误结果,同时不需要用户手动构建搜索模式,具有较高精度与召回率。