机译:基于超一致答案集语义的演绎基础
Institute of Informatics Systems, 630090 Novosibirsk, Russia;
Sobolev Institute of Mathematics,630090 Novosibirsk, Russia;
answer set; paraconsistency; deductive base; strong negation; Nelson logic; twist-structures; lattice of logics;
机译:一阶四值,弱超一致逻辑及其与粗糙集语义的关系
机译:基于语义的参数构造:答案集编程方法
机译:语义网答案集语义下的模糊描述逻辑程序
机译:用于演绎质疑答案的语义建模
机译:关于答案集语义的概率扩展之间的关系。
机译:Covid-19信息检索与深学习的语义搜索问题应答和抽象摘要
机译:基于资源的答案集语义中的查询应答
机译:基于语义结构的问答