×

找到8个文档(结果1-8)

具有多代理时间可访问性关系的时间逻辑分支。 (英语。俄文原件) Zbl 1474.68341号

同胞。数学。J。 62,第3期,503-510(2021); 来自Sib的翻译。材料Zh。62,第3期,623-632(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非传递时间多智能体逻辑、信息和知识、决策算法。 (英语。俄文原件) Zbl 1420.03060号

同胞。数学。J。 58,第5号,875-886(2017); 来自Sib的翻译。材料Zh。58,第5期,1128-1143(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

知识与时间线性逻辑中的可容许推理规则{LTK}_r\)具有不及物时间关系。 (英语。俄文原件) Zbl 1342.03019号

同胞。数学。J。 56,第3期,455-470(2015); 来自Sib的翻译。材料Zh。56,第3期,573-593(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

知识与时间线性逻辑的公理化{LTK}_r\)具有不及物时间关系。 (英语。俄文原件) 兹伯利1348.03018

同胞。数学。J。 54,第6期,1037-1045(2013); 来自Sib的翻译。材料Zh。54,第6期,1304-1314(2013)。
MSC公司:03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

全部的 前5名

出版年份

主字段