×

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

最新的 引文 关联
里卡多·奥斯卡·罗德里格斯;星期二，奥利姆弗里茨;弗朗西斯科·埃斯特瓦;路易斯·戈多

K45类哥德尔模态逻辑的简化克里普克语义及其公理扩展。 （英语） Zbl 1498.03051号

双头螺栓日志。 110，第4期，1081-1114（2022）.
审核人：贾科莫·伦齐（费西亚诺）
MSC公司：03B45号 03B50号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{R.O.Rodriguez}等人，研究日志。110，编号4，1081--1114（2022；Zbl 1498.03051）
全文： DOI程序 arXiv公司
OA许可证
弗朗西斯科·埃斯特瓦;路易斯·戈多;桑德拉·桑德里

基于相似性的三值模态逻辑方法，通过原型和反例进行推理。 （英语） Zbl 1485.68252号

Lesot，Marie-Jeanne（编辑）等人，《软计算和近似推理的模糊方法：理论和应用》。查姆：斯普林格。模糊软计算研究。394, 45-59 (2021).
MSC公司：68层37 03B45号 03B50号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{F.Esteva}等人，《模糊软计算研究》。394、45-59（2021年；Zbl 1485.68252）
全文： DOI程序
马尼沙·贾恩;亚历山大·马德拉;马丁斯（Manuel A.Martins）。

模糊过渡系统的模糊模态逻辑。 （英语） Zbl 1452.68126号

Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。348, 85-103 (2020).
MSC公司：68问题85 03B45号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{M.Jain}等人，《电子》。注释Theor。计算。科学。348，85-103（2020；Zbl 1452.68126）
全文： DOI程序
贝内维特斯，马里奥·R·F·。;亚历山大·马德拉;马丁斯（Manuel A.Martins）。

一个等级认知逻辑家族。 （英语） Zbl 1433.68416号

Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 45-59 (2018).
MSC公司：68T27型 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.R.F.Benevides}等人，《电子》。注释Theor。计算。科学。338、45-59（2018年；Zbl 1433.68416）
全文： DOI程序
费利克斯·布;弗朗西斯科·埃斯特瓦;路易斯·戈多;里卡多·奥斯卡·罗德里格斯

哥德尔模糊逻辑的模态KD45扩展的可能语义。 （英语） Zbl 1455.03027号

Carvalho，Joao Paulo（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。第16届国际会议，2016年IPMU，荷兰埃因霍温，2016年6月20日至24日。诉讼程序。第二部分。查姆：斯普林格。Commun公司。计算。信息科学。611, 123-135 (2016).
MSC公司：03B52号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{F.Bou}等人，Commun。计算。信息科学。611123--135（2016；Zbl 1455.03027）
全文： DOI程序 arXiv公司
彼得·辛图拉;Carles诺格拉;乔纳斯·罗格

从克里普克到模态模糊逻辑的邻域语义。 （英语） Zbl 1455.03028号

Carvalho，Joao Paulo（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。第16届国际会议，2016年IPMU，荷兰埃因霍温，2016年6月20日至24日。诉讼程序。第二部分。查姆：斯普林格。Commun公司。计算。信息科学。611, 95-107 (2016).
MSC公司：03B52号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit｛P.Cintula｝等人，Commun。计算。信息科学。611195--107（2016；Zbl 1455.03028）
全文： DOI程序
贝尔科娃，玛尔塔;马特·多斯塔尔

多值模态逻辑的表达性，组合逻辑。 （英语） Zbl 1478.03033号

Väänänen，Jouko（编辑）等人，《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9803, 109-124 (2016).
MSC公司：03B45号 03B50号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bílková}和\textit{M.Dostál}，莱克特。注释计算。科学。9803109-124（2016年；兹bl 1478.03033）
全文： DOI程序
马明辉;王善霞

有限元分级模态逻辑。 （英语） Zbl 1429.03084号

Ju，Shier（编辑）等人，《情态、语义和解释》。第二届亚洲哲学逻辑研讨会，中国广州，2014年。柏林：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，71-85 (2015).
MSC公司：03B45号 03G25号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Ma｝和\textit｛S.Wang｝，在：情态、语义和解释。第二届亚洲哲学逻辑研讨会，中国广州，2014年。柏林：斯普林格。71-85（2015年；Zbl 1429.03084）
全文： DOI程序
拉蒙·洛佩斯·德·曼塔拉斯;路易斯·戈多;Enric广场;卡莱斯·塞拉

IIIA对模糊逻辑的贡献及其在人工智能中的应用的调查。 （英语） Zbl 1360.03007号

Magdalena，Luis（编辑）等人，Enric Trillas:对模糊集的热爱。关于模糊逻辑的最新作品集。查姆：施普林格（ISBN 978-3-319-16234-8/hbk；978-3-316-16235-5/电子书）。《模糊性和软计算研究》32267-78（2015）。
MSC公司：03-03 68-03 01A60型 03B52号 68层37 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{R.Lopez de Mantaras}等人，Stud.模糊软计算。322、67-78（2015年；Zbl 1360.03007）
全文： DOI程序
费利克斯·布;弗朗西斯科·埃斯特瓦;路易斯·戈多

关于MTL链上定义的可能性模态逻辑。 （英语） Zbl 1372.03039号

Montagna，Franco（编辑），Petr Hájek关于数学模糊逻辑。查姆：施普林格（ISBN 978-3-319-06232-7/hbk；978-3-3169-06233-4/电子书）。《逻辑6的杰出贡献》，225-244（2015）。
MSC公司：03B45号 03B50号 03B52号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{F.Bou}等人，Outst。控制日志。6225-244（2015年；兹bl 1372.03039）
全文： DOI程序
弗朗西斯科·埃斯特瓦;路易斯·戈多;齐格弗里德·戈特瓦尔德;佛朗哥·蒙塔格纳

导言。 （英语） 兹比尔1328.03023

Montagna，Franco（编辑），Petr Hájek关于数学模糊逻辑。查姆：施普林格（ISBN 978-3-319-06232-7/hbk；978-3-3169-06233-4/电子书）。《逻辑6的杰出贡献》，3-20（2015）。
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{F.Esteva}等人，Outst。控制日志。6、3——20（2015；Zbl 1328.03023）
全文： DOI程序 链接
翁贝托·里维奇奥

准一致模态逻辑。 （英语） Zbl 1347.03054号

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记278173-186（2011）。
MSC公司：03B53号 03B45号 03B50号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{U.Rivieccio}，电子。理论注释。计算。科学。278173--186（2011年；Zbl 1347.03054）
全文： DOI程序
弗拉米尼奥，T。;戈多，L。;E.马尔基奥尼。

基于模糊证据的模糊事件MV-代数上的置信函数。 （英语） Zbl 1341.68253号

Liu，Weiru（编辑），不确定性推理的符号和定量方法。2011年6月29日至7月1日，第11届欧洲会议，ECSQARU 2011，英国贝尔法斯特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22151-4/pbk）。计算机科学课堂讲稿6717。《人工智能课堂讲稿》，628-639（2011）。
MSC公司：68层37 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{T.Flaminio}等人，Lect。注释计算。科学。6717、628--639（2011年；Zbl 1341.68253）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件