×

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

最新的 引文 关联
谢凯波;何庆余;刘芬荣

多角主义因果推理的逻辑方法。 （英语） Zbl 07856043号

Gierasimczuk，Nina（编辑）等人，《动态逻辑》。新趋势和应用。第五届国际研讨会，DaLí2023，格鲁吉亚第比利斯，2023年9月15日至16日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。14401, 119-135 (2024).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛K.Xie｝等人，Lect。注释计算。科学。14401、119--135（2024；Zbl 07856043）
全文： DOI程序
辛格、希卡;卡马尔·洛达亚;迪帕克·凯曼尼

吓唬Gruffalo的两种方法。 （英语） Zbl 07728687号

Banerjee，Mohua（编辑）等人，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 48-67 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Singh}等人，Lect。注释计算。科学。13963、48-67（2023；Zbl 07728687）
全文： DOI程序
埃米利亚诺·洛里尼;弗朗索瓦州施瓦岑特鲁伯

一种基于计算的分级信念逻辑。 （英语） Zbl 07437045号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 245-261 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{E.Lorini}和\textit{F.Schwarzentruber}，莱克特。注释计算。科学。12678245-261（2021年；兹bl 07437045）
全文： DOI程序 哈尔
文森特·亨德里克斯。;拉斯穆斯·伦茨维格。

欣提卡对流动的认识和信念。 （英语） Zbl 1437.03065号

van Ditmarsch，Hans（编辑）等人，Jaakko Hintikka，关于知识和游戏理论语义。献给Jaakko Hintikka。查姆：斯普林格。Outst公司。控制日志。12, 317-337 (2018).
MSC公司：03B42号 03-03 01年6月
PDF格式BibTeX公司 XML格式引用
\textit{V.F.Hendricks}和\textit{R.K.Rendsvig}，Outst。控制日志。12、317--337（2018年；Zbl 1437.03065）
全文： DOI程序
汉斯·范·迪特马什;范德霍克，威比;巴特尔·库伊

用Hintikka打牌：动态认知逻辑导论。 （英语） Zbl 1437.03077号

van Ditmarsch，Hans（编辑）等人，Jaakko Hintikka，关于知识和游戏理论语义。献给Jaakko Hintikka。查姆：斯普林格。Outst公司。控制日志。12, 237-262 (2018).
MSC公司：03B42号 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，Outst。控制日志。12、237--262（2018；Zbl 1437.03077）
全文： 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公司 链接
亚历山大·巴尔塔格;尼娜·吉拉西姆祖克;斯梅茨，索尼娅

归纳问题的可解性：认知拓扑学研究。 （英语） Zbl 1483.68367号

Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）215，81-98（2016年）。
MSC公司：68T27型 03B42号 68问题32 68T20型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，《电子》。程序。西奥。计算。科学。（EPTCS）21581--98（2016；Zbl 1483.68367）
全文： arXiv公司 链接
杰弗里·赫尔兹纳;文森特·亨德里克斯。

在形式认识论中，我们是什么，我们做什么，代理和互动。 （英语） Zbl 1396.03018号

Arló-Costa，Horacio（编辑）等人，《形式认识论阅读》。资料手册。在Henrik Boensvang和Rasmus K.Rendsvig的协助下编辑。商会：施普林格出版社（ISBN 978-3-319-20450-5/hbk；978-3-319-20451-2/ebook）。斯普林格哲学研究生文集1，1-11（2016）。
MSC公司：03B42号 03A05号 03-02
PDF格式BibTeX公司 XML格式引用
\textit{J.Helzner}和\textit{V.F.Hendricks}，斯普林格研究生院。文本Philos。1、1--11（2016；Zbl 1396.03018）
全文： DOI程序
亚历山大·巴尔塔格;尼克·贝扎尼什维利;艾比克·厄兹根;斯梅茨，索尼娅

合理的信念和证据的拓扑结构。 （英语） Zbl 1478.03022号

Väänänen，Jouko（编辑）等人，《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9803, 83-103 (2016).
MSC公司：03B42号 54小时99
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。9803，83-103（2016年；Zbl 1478.03022）
全文： DOI程序 链接
苏加塔·戈什;贝拉斯克斯·奎萨达，费尔南多·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程序
纪尧姆拍卖行

作为子结构逻辑的动态认知逻辑。 （英语） Zbl 1354.03011号

Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。《逻辑杰出贡献》5855-880（2014）。
MSC公司：03B42号 03B47号
PDF格式BibTeX公司 XML格式引用
\发短信｛G.Aucher｝，Outst。控制日志。5855-880（2014；Zbl 1354.03011）
全文： DOI程序 哈尔
刘永梅;Hector J.列夫斯克。

将行动模型纳入情境演算。 （英语） Zbl 1344.03018号

Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。《逻辑5，569-590的杰出贡献》（2014）。
MSC公司：03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Liu}和\textit{H.J.Levesque}，Outst。控制日志。5569-590（2014；Zbl 1344.03018）
全文： DOI程序
洛伦兹·德米;巴特尔·库伊

逻辑和概率更新。 （英语） Zbl 1354.03014号

Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。《逻辑5的杰出贡献》，381-404（2014）。
MSC公司：03B42号 03B48号
PDF格式BibTeX公司 XML格式引用
\textit{L.Demey}和\textit{B.Kooi}，Outst。控制日志。5、381--404（2014；Zbl 1354.03014）
全文： DOI程序 链接
洛伦兹·德米

公告逻辑中的对立结构。 （英语） Zbl 1263.03010号

Béziau，Jean-Yves（编辑）等人，《反对广场周围和之外》。巴塞尔：Birkhä用户（ISBN 978-3-0348-0378-6/pbk；978-3-0.348-0379-3/ebook）。《通用逻辑研究》，313-339（2012）。
审核人：坎·巴斯肯特（巴黎）
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{L.Demey}，in：在对立广场周围和以外。巴塞尔：Birkhä用户。313--339（2012；Zbl 1263.03010）
全文： DOI程序
米克尔·比凯加德·安徒生（Mikkel Birkegaard Andersen）;托马斯·博兰德;马丁·霍尔姆·延森

有条件的认知规划。 （英语） Zbl 1361.68214号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，94-106（2012）。
MSC公司：68T27型 03B42号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛M.B.Andersen｝等人，Lect。注释计算。科学。7519，94-106（2012；Zbl 1361.68214）
全文： DOI程序
约翰·范·本特姆

信仰更新是一种社会选择。 （英语） Zbl 1256.03022号

Girard，Patrick（编辑）等人，《动态形式认识论》。基于2007年6月在加拿大蒙特利尔举行的“蒙特利尔动态逻辑”研讨会。柏林：施普林格出版社（ISBN 978-94-007-0073-4/hbk；978-94.007-0074-1/电子书）。综合图书馆351，151-160（2011）。
MSC公司：03B42号 91B14号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.van Benthem}，Synth。伦敦银行同业拆借利率。35151-160（2011年；Zbl 1256.03022）
全文： DOI程序
巴特尔·库伊;埃里克·帕奎特

理性互动的逻辑。 （英语） Zbl 1259.03011号

Girard，Patrick（编辑）等人，《动态形式认识论》。基于2007年6月在加拿大蒙特利尔举行的“蒙特利尔动态逻辑”研讨会。柏林：施普林格出版社（ISBN 978-94-007-0073-4/hbk；978-94.007-0074-1/电子书）。Synthese Library综合图书馆351，5-32（2011）。
MSC公司：03A05号 03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Kooi}和\textit{E.Pacuit}，Synth。伦敦银行同业拆借利率。351、5--32（2011；Zbl 1259.03011）
全文： DOI程序
乔纳斯·德·维斯特

最小修改和经典克里普克模型。第一个结果。 （英语） Zbl 1298.03064号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学课堂讲稿6953。《人工智能课堂讲稿》，300-313（2011）。
MSC公司：03B45号 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{J.De Vuyst}，莱克特。注释计算。科学。6953，300-313（2011；Zbl 1298.03064）
全文： DOI程序
Löwe，Benedikt公司;埃里克·帕奎特;安德烈亚斯·维策尔

DEL规划和一些可处理的案例。 （英语） Zbl 1298.03054号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学课堂讲稿6953。《人工智能课堂讲稿》，179-192年（2011年）。
MSC公司：03B42号 03B60号
PDF格式BibTeX公司 XML格式引用
\文本{B.Löwe}等人，Lect。注释计算。科学。6953、179--192（2011年；Zbl 1298.03054）
全文： DOI程序
埃米利亚诺·洛里尼

知识、分级信念和分级目标的动态逻辑及其在情感建模中的应用。 （英语） Zbl 1298.03053号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学课堂讲稿6953。人工智能课堂讲稿，165-178（2011）。
MSC公司：03B42号 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{E.Lorini}，莱克特。注释计算。科学。6953、165--178（2011；Zbl 1298.03053）
全文： DOI程序 哈尔
塞德里克·德格雷蒙特;乔纳森·兹维斯珀

我们可以相信的动态：阿姆斯特丹学校关于埃弗特·威廉·贝思百年诞辰的观点。 （英语） Zbl 1226.03031号

合成 179，第2期，223-238（2011）.
审核人：维克托·潘布奇（凤凰城）
MSC公司：03B42号 03B45号 03-03 01年6月 01A65号
PDF格式BibTeX公司 XML格式引用
\textit{C.Dégremont}和\textit{J.Zvesper}，综合179，第2期，223--238（2011；Zbl 1226.03031）
全文： DOI程序
OA许可证
亚历山大·巴尔塔格;斯梅茨，索尼娅

通过问答进行学习：从信念-再认识循环到多角形不动点。 （英语） Zbl 1246.03035号

Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。人工智能课堂讲稿，124-139（2009）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，Lect。注释计算。科学。5514124-139（2009年；兹bl 1246.03035）
全文： DOI程序
范·艾伊克（Jan van Eijck）;王燕京

命题动态逻辑是一种信念修正逻辑。 （英语） Zbl 1156.03016号

Hodges，Wilfrid（编辑）等人，《逻辑、语言、信息和计算》。2008年7月1日至4日在英国爱丁堡举办的2008年WoLLIC第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69936-1/pbk）。计算机科学讲义5110。人工智能课堂讲稿，136-148（2008）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit｛J.van Eijck｝和\textit｛Y.Wang｝，Lect。注释计算。科学。5110、136--148（2008；Zbl 1156.03016）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

软件