×

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

最新的 引文 关联
卡洛斯·阿雷塞斯;劳尔·费尔瓦里;安德烈斯·萨拉维亚。;贝拉斯克斯·奎萨达，费尔南多·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 07810633号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379455-469（2023年）。
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{C.Proietti}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379，455--469（2023；Zbl 07810633）
全文： DOI程序 arXiv公司
石、陈伟;斯梅茨，索尼娅;贝拉斯克斯·奎萨达，费尔南多·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 1471.91137号

van der Hoek，Wiebe（编辑）等人，《逻辑、理性与互动》。第五届国际研讨会，LORI 2015，台湾台北，2015年10月28日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9394, 129-142 (2015).
MSC公司：91B14号机组 91B08型
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghosh}和\textit{F.R.Velázquez-Quesada}，莱克特。注释计算。科学。9394129-142（2015年；兹比尔1471.91137）
全文： DOI程序
佩雷·帕尔多;Enrique Sarrión-Morillo;费尔南多·索勒·托斯卡诺;贝拉斯克斯·奎萨达，费尔南多·R。

用于将\（\mathsf｛LCC｝\）转换为\（\mathsf｛PDL｝\）的高效程序转换器。 （英语） Zbl 1432.68449号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 253-266 (2014).
MSC公司：68T27型 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{P.Pardo}等人，Lect。注释计算。科学。8761253-266（2014年；Zbl 1432.68449）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段