Aug, 2020

联结查询:独特特征和精确可学性

TL;DR研究了如何构造多项式多个正负示例唯一确定的不变式查询,提出了前沿算法并讨论其在描述逻辑和模式映射中的应用。