×

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

最新的 引文 关联
约翰·林德奎斯特;贝拉斯克斯·奎萨达，费尔南多·R。;托马斯·奥戈特内斯

谨慎的分散信仰。 （英语） Zbl 07860235号

卡洛斯·阿雷塞斯（编辑）等人，《动态逻辑》。新趋势和应用。第四届国际研讨会，DaLí2022年，以色列海法，2022年7月31日至8月1日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13780, 106-124 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Lindqvist}等人，Lect。注释计算。科学。13780、106-124（2023；Zbl 07860235）
全文： DOI程序
卡洛斯·阿雷塞斯;劳尔·费尔瓦里;安德烈斯·萨拉维亚。;贝拉斯克斯·奎萨达，费尔南多·R。

更新知识的第一步。 （英语） Zbl 07860229号

卡洛斯·阿雷塞斯（编辑）等人，《动态逻辑》。新趋势和应用。第四届国际研讨会，DaLí2022年，以色列海法，2022年7月31日至8月1日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13780, 1-16 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Areces}等人，Lect。注释计算。科学。13780，1-16（2023；Zbl 07860229）
全文： DOI程序
石、陈伟;斯梅茨，索尼娅;贝拉斯克斯·奎萨达，费尔南多·R。

拓扑结构中基于论证的信念。 （英语） Zbl 1483.68386号

Lang，Jéróme（编辑），《第十六届理性与知识理论方面会议论文集》，TARK 2017，英国利物浦，2017年7月24-26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）251489-503（2017）。
MSC公司：68T27型 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{C.Shi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）251489--503（2017；Zbl 1483.68386）
全文： arXiv公司 链接
苏加塔·戈什;贝拉斯克斯·奎萨达，费尔南多·R。

在断言网络中表达信念流。 （英语） Zbl 1236.03009号

Bosch，Peter（编辑）等人，《逻辑、语言和计算》。第七届第比利斯逻辑、语言和计算国际研讨会，2007年第比利斯有限责任公司，2007年10月1日至5日，格鲁吉亚第比利斯。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-00664-7/pbk）。计算机科学课堂讲稿5422。人工智能课堂讲稿，124-138（2009）。
MSC公司：03A05号 03B42号 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghosh}和\textit{F.R.Velázquez-Quesada}，莱克特。注释计算。科学。5422、124--138（2009年；Zbl 1236.03009）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段