×

找到44个文档（结果1-44）

最新的 引文 关联
里巴科夫，V.V。

具有动态可访问关系、投影统一器的多智能体逻辑。 （英语。俄文原件） Zbl 1515.03146号

代数逻辑 61，编号1，79-83（2022）; 《代数逻辑学》第61卷第1期第111-118页（2022年）的译文。
MSC公司：03B70号 03B44号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛V.V.Rybakov｝，代数逻辑61，编号1，79-83（2022；Zbl 1515.03146）；翻译自代数罗技61，第1期，第111-118页（2022）
全文： DOI程序
里巴科夫，V.V。

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

同胞。数学。J。 62，第3期，503-510（2021）; 来自Sib的翻译。材料Zh。62，第3期，623-632（2021年）。
MSC公司：68T27型 03B44号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，西布。数学。J.62，No.3，503--510（2021；Zbl 1474.68341）；来自Sib的翻译。材料Zh。62，第3623-632号（2021）
全文： DOI程序
里巴科夫，V.V。

多智能体时间非传递线性逻辑与可容许性问题。 （英语。俄文原件） Zbl 1484.03031号

代数逻辑 59，第1号，87-100（2020年）; 《代数逻辑学》59，第1期，第123-141页（2020年）的译文。
MSC公司：03B44号 68T27型 03B47型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Rybakov}，《代数逻辑》59，第1期，87--100（2020；Zbl 1484.03031）；《代数逻辑》59，第1期，第123--141页（2020年）的译文
全文： DOI程序 链接
弗拉基米尔·里巴科夫。

具有非传递时间的线性时序逻辑，可判定性算法和可容许性验证。 （英语） Zbl 1429.03074号

Odintsov，Sergei（编辑），Larisa Maksimova关于蕴涵、插值和可定义性。查姆：斯普林格。Outst公司。控制日志。15, 219-243 (2018).
MSC公司：03B44号 03年2月25日 03B47型
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，奥斯特。控制日志。15、219--243（2018；Zbl 1429.03074）
全文： DOI程序
弗拉基米尔·里巴科夫。

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

同胞。数学。J。 58，第5号，875-886（2017）; 来自Sib的翻译。材料Zh。58，第5期，1128-1143（2017）。
MSC公司：03B70号 03B44号 68T27型 03年2月25日 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，西布。数学。J.58，第5号，875--886（2017；Zbl 1420.03060）；来自Sib的翻译。材料Zh。58，第5号，1128--1143（2017）
全文： DOI程序
斯蒂芬·伊戈列维奇·巴什马科夫;安娜·弗拉基米洛夫娜·科舍列娃;弗拉基米尔·里巴科夫

具有多智能体关系的知识的线性时序逻辑中的非均匀性。 （英语） Zbl 1390.03020号

同胞。È勒克特隆。Mat.Izv公司。 13, 656-663 (2016).
MSC公司：03B47型 03B44号 03B45号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.I.Bashmakov}等人，Sib。È勒克特隆。Mat.Izv公司。13、656--663（2016；Zbl 1390.03020）
全文： DOI程序
弗拉基米尔·里巴科夫

非敏感时间多智能体的逻辑、知识和不确定性、合理性。 （英语） 兹比尔1474.68340

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9537, 364-375 (2016).
MSC公司：68T27型 03B42号 03B44号 68立方英尺 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，莱克特。注释计算。科学。9537364--375（2016年；Zbl 1474.68340）
全文： DOI程序 链接
Luk'yanchuk，A.N。;里巴科夫，V.V。

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

同胞。数学。J。 56，第3期，455-470（2015）; 来自Sib的翻译。材料Zh。56，第3期，573-593（2015）。
审核人：雅罗斯拉夫·什兰科（Kryvyi Rih）
MSC公司：03B45号 03B44号 03B42号 03年2月25日
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Luk’yanchuk}和\textit{V.Rybakov}，Sib。数学。J.56，No.3，455--470（2015；Zbl 1342.03019）；来自Sib的翻译。材料Zh。56，第3号，573--593（2015）
全文： DOI程序
弗拉基米尔·里巴科夫

多智能体时序逻辑中的推理规则。 （英语） Zbl 1216.68273号

Nguyen，Ngoc Thanh（编辑），《计算集体智能学报》第四卷，柏林：施普林格出版社（ISBN 978-3-642-21883-5/pbk）。计算机科学课程讲稿6660。人工智能课堂讲稿。《期刊副刊》，160-176（2011）。
MSC公司：68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，莱克特。注释计算。科学。6660，160--176（2011；Zbl 1216.68273）
全文： DOI程序
弗拉基米尔·里巴科夫。;谢尔盖·五·巴本尼舍夫。

时态逻辑的混合{S} 4个_\mathrm{T}\）和具有交互代理的多代理逻辑。 （英语） Zbl 1472.68192号

J.西布。联邦大学数学系。物理。 1，第4号，399-409（2008）.
MSC公司：68T27型 03B42号 03B44号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Rybakov}和\textit{S.V.Babenyshev}，J.Sib。联邦大学数学系。物理学。1，第4号，399--409（2008；Zbl 1472.68192）
全文： MNR公司
谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫

基于线性时态逻辑LTL的局部公共知识混合逻辑的可判定性。 （英语） Zbl 1142.03323号

Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。2008年6月15日至20日，在希腊雅典举行的2008年欧洲可计算性第四次会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028，32-41（2008）。
MSC公司：03年2月25日 03B42号 03B44号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Babenyshev}和\textit{V.Rybakov}，Lect。注释计算。科学。5028，32-41（2008；Zbl 1142.03323）
全文： DOI程序
里巴科夫，V。

基于与共同过去平行时间的非自时间逻辑。决定算法。 （英语） Zbl 1132.03324号

Artemov，Sergei N.（编辑）等人，《计算机科学的逻辑基础》。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72732-3/pbk）。计算机科学课堂讲稿451486-497（2007）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，莱克特。注释计算。科学。4514、486--497（2007年；Zbl 1132.03324）
全文： DOI程序
里巴科夫，V。

线性时态逻辑，整数上有until和before，决定算法。 （英语） Zbl 1185.03022号

Grigoriev，Dima（编辑）等人，《计算机科学——理论与应用》。2006年6月8日至12日在俄罗斯圣彼得堡举行的首届国际计算机科学研讨会，CSR 2006。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34166-8/pbk）。计算机科学课堂讲稿3967，322-333（2006）。
MSC公司：03B44号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，莱克特。注释计算。科学。3967、322--333（2006年；Zbl 1185.03022）
全文： DOI程序
里巴科夫，V.V。

基于整数、可判定性、可容许逻辑序列的非及物线性时序逻辑。 （英语） 邮编1124.03006

Goncharov，S.S.（编辑）等人，《亚洲的数理逻辑》。第九届亚洲逻辑会议记录，俄罗斯新西伯利亚，2005年8月16-19日。新泽西州哈肯萨克：世界科学（ISBN 978-981-270-045-2/hbk）。233-253（2006年）。
审核人：Manuel Ojeda Aciego（马拉加）
MSC公司：03B44号 03年2月25日
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Rybakov}，in：《亚洲数理逻辑》。第九届亚洲逻辑会议记录，俄罗斯新西伯利亚，2005年8月16-19日。新泽西州哈肯萨克：《世界科学》。233——253（2006年；Zbl 1124.03006）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段