机译:高阶逻辑程序的三值扩展语义的复杂性
Univ Athens, Athens, Greece;
Univ Athens, Athens, Greece;
Extensional higher-order logic programming; Negation in logic programming;
机译:带否定的高阶逻辑程序的扩展语义
机译:带负数的扩展高阶逻辑编程的最小模型语义
机译:逻辑程序员的三值语义
机译:高阶逻辑程序三价扩展语义的复杂性
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
机译:高阶CRF集成位置-上下文-语义线索的大规模ALS数据语义分类
机译:高阶逻辑程序三价扩展语义的复杂性