×

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

最新的 引文 关联
瓦夏克·贝勒

一阶逻辑和概率中的偏移：无限多随机变量、连续分布、递归程序及其他。 （英语） Zbl 07855110号

Sarah Gaggl等人，《人工智能中的逻辑》。第18届欧洲会议，JELIA 2023，德国德累斯顿，2023年9月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14281, 35-46 (2023).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{V.Belle}，莱克特。注释计算。科学。14281，35-46（2023；Zbl 07855110）
全文： 内政部
文森特·德维特;道德，德拉甘;约翰·朱尔斯·迈耶

概率道义逻辑。 （英语） Zbl 07542372号

Vejnarová，Jiřina（编辑）等人，用符号和定量方法进行不确定性推理。第16届欧洲会议，ECSQARU 2021，捷克共和国布拉格，2021年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12897, 616-628 (2021).
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit｛V.de Wit｝等人，Lect。注释计算。科学。12897、616--628（2021；Zbl 07542372）
全文： 内政部
Dautović，Šejla;道德，德拉甘;佐兰·奥格尼亚诺维奇

具有条件概率的认知概率逻辑。 （英语） Zbl 07437047号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 279-293 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{Š.Dautović}等人，Lect。注释计算。科学。12678、279--293（2021；Zbl 07437047）
全文： 内政部
埃米利亚诺·洛里尼;弗朗索瓦州施瓦岑特鲁伯

一种基于计算的分级信念逻辑。 （英语） 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}，莱克特。注释计算。科学。12678、245--261（2021；Zbl 07437045）
全文： 内政部 哈尔
Dautović，Šejla;道德，德拉甘;Ognjanović，佐兰

关于确认程度的推理。 （英语） Zbl 07578361号

Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，中国杭州，2020年4月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 80-95 (2020).
MSC公司：03B48号 03B25号 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{Š.Dautović}等人，Lect。注释计算。科学。12061，80-95（2020；Zbl 07578361）
全文： 内政部
托马斯·奥戈特内斯;Wáng，YN。

集体信念。 （英语） Zbl 07578357号

Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，中国杭州，2020年4月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 3-21 (2020).
MSC公司：03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.奥戈特斯}和\textit{Y.N.瓦恩}，莱克特。注释计算。科学。12061，3--21（2020；Zbl 07578357）
全文： 内政部
维托·马查多;贝内维迪斯，马里奥

总体公告逻辑（PPAL）。 （英语） Zbl 1495.03023号

Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。348105-123（2020）中所述。
MSC公司：03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{V.Machado}和\textit{M.Benevedis}，电子。理论注释。计算。科学。348105-123（2020年；Zbl 1495.03023）
全文： 内政部
弗朗西斯科·法比亚诺

多智能体认知规划求解器的设计。 （英语） Zbl 07453144号

Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，ICLP 2019，美国拉斯克鲁塞斯，2019年9月20-25日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）306403-412（2019）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Fabiano}，电子。程序。理论。计算。科学。（EPTCS）306403-412（2019；Zbl 07453144）
全文： arXiv公司 链接
贝内维特斯，马里奥·R·F·。;亚历山大·马德拉;曼努埃尔·马丁斯。

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

Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。338, 45-59 (2018).
MSC公司：68T27型 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.R.F.Benevides}等人，《电子》。理论注释。计算。科学。338、45-59（2018年；Zbl 1433.68416）
全文： 内政部
亚当·比约恩达尔;约瑟夫·霍尔珀（Joseph Y.Halpern）。

通过语言从类型空间到概率框架再到概率框架。 （英语） Zbl 1483.68370号

Lang，Jéróme（编辑），《第十六届理性与知识理论方面会议论文集》，TARK 2017，英国利物浦，2017年7月24-26日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）25175-87（2017）。
MSC公司：68T27型 03B42号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bjorndahl}和\textit{J.Y.Halpern}，电子。程序。理论。计算。科学。（EPTCS）251，75--87（2017；Zbl 1483.68370）
全文： arXiv公司 链接
约瑟夫·霍尔珀（Joseph Y.Halpern）。

为什么要麻烦语法呢？ （英语） Zbl 1437.03023号

巴什肯特（Baškent，Can）（编辑）等人，《逻辑、语言和社会》（Rohit Parikh on logic，language and society）。查姆：斯普林格。Outst公司。控制日志。11, 111-119 (2017).
MSC公司：03A05号 03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛J.Y.Halpern｝，外部。控制日志。11、111-119（2017；Zbl 1437.03023）
全文： 内政部 arXiv公司
罗恩·范德梅登;马纳斯·K·帕特拉。

模型检验概率时间认知逻辑的不确定案例（扩展抽象）。 （英语） 兹比尔1483.68210

Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）215264-282（2016）。
MSC公司：60年第68季度 03B25号 03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.van der Meyden}和\textit{M.K.Patra}，电子。程序。理论。计算。科学。（EPTCS）215264--282（2016；Zbl 1483.68210）
全文： arXiv公司 链接
约书亚·萨克

动态认知行为策略的逻辑。 （英语） Zbl 1429.03068号

Yang，Syraya Chin-Mu（编辑）等，非经典逻辑的结构分析。2014年10月24日至25日，第二届台湾哲学逻辑学术研讨会论文集，台湾台北。柏林：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，159-182 (2016).
MSC公司：03B42号 68T27型 91A18号
PDF格式BibTeX公司 XML格式引用
\textit{J.Sack}，in：非经典逻辑的结构分析。2014年第二届台湾哲学逻辑学术研讨会论文集，台湾台北，2014年10月24-25日。柏林：斯普林格。159-182（2016；Zbl 1429.03068）
全文： 内政部
莫里西奥·埃尔南德斯。

条件概率空间上的条件概率逻辑。 （英语） 兹比尔1429.03092

Ju，Shier（编辑）等人，《情态、语义和解释》。第二届亚洲哲学逻辑研讨会，中国广州，2014年。柏林：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，49-70 (2015).
MSC公司：03B48号 03B42号
PDF格式BibTeX公司 XML格式引用
\文本{M.S.C.Hernandes}，in：情态，语义和解释。第二届亚洲哲学逻辑研讨会，中国广州，2014年。柏林：斯普林格。49-70（2015年；Zbl 1429.03092）
全文： 内政部
克里斯托夫·贝尔;尼科·波提卡;约瑟夫·鲍迪什;马克·芬塔默

概率关系FO-PCL知识库的最大熵提升推理。 （英语） 兹比尔1465.68234

Destercke，Sébastien（编辑）等人，用符号和定量方法进行不确定性推理。第13届欧洲会议，ECSQARU 2015，法国康皮涅，2015年7月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9161, 506-516 (2015).
MSC公司：68T27型 03B48号 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}等人，Lect。注释计算。科学。9161506--516（2015；Zbl 1465.68234）
全文： 内政部
辛尼沙·托莫维奇;佐兰·奥格尼亚诺维奇;道德，德拉甘

无限多代理之间的概率常识。 （英语） Zbl 1465.68244号

Destercke，Sébastien（编辑）等人，用符号和定量方法进行不确定性推理。第13届欧洲会议，ECSQARU 2015，法国康皮涅，2015年7月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9161, 496-505 (2015).
MSC公司：68T27型 03B42号 03B48号
PDF格式BibTeX公司 XML格式引用
\textit{S.Tomović}等人，Lect。注释计算。科学。9161，496--505（2015；Zbl 1465.68244）
全文： 内政部
克莱门斯·库普克;德克·帕丁森;卢茨·施罗德

算术模态逻辑中的全局假设推理。 （英语） Zbl 1436.03136号

Kosowski，Adrian（编辑）等人，《计算理论基础》。2015年8月17日至19日，第20届国际研讨会，FCT 2015，波兰根斯克。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9210, 367-380 (2015).
MSC公司：03B45号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Kupke}等人，Lect。注释计算。科学。9210，367--380（2015；Zbl 1436.03136）
全文： 内政部 链接
德克斯特·科赞;拉杜·马达尔;帕南加登，普拉卡什

马尔可夫过程的度量对偶定理。 （英语） Zbl 1337.68186号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308211-227，仅电子版（2014）。
MSC公司：68问题85 03B45号 03G25 60J25型 87年第68季度 68层37
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}等人，《电子》。理论注释。计算。科学。308211--227（2014；Zbl 1337.68186）
全文： 内政部
洛伦兹·德米;巴特尔·库伊

逻辑和概率更新。 （英语） 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。控制日志。5381-404（2014年；兹bl 1354.03014）
全文： 内政部 链接
马明辉;郭美云

加权结构的信念逻辑。 （英语） Zbl 1298.03056号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学课堂讲稿6953。《人工智能课堂讲稿》，206-219（2011）。
MSC公司：03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Ma}和\textit{M.Guo}，Lect。注释计算。科学。6953、206-219（2011；Zbl 1298.03056）
全文： 内政部
卢卡·卡德利;Larsen，Kim G。;拉杜·马达尔

模块化马尔科夫逻辑。 （英语） Zbl 1333.68200号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。第38届国际学术讨论会，ICALP 2011，瑞士苏黎世，2011年7月4日至8日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学讲义6756380-391（2011）。
MSC公司：87年第68季度 03B70号 60J25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。6756380-391（2011年；Zbl 1333.68200）
全文： 内政部
周春来

直观的概率逻辑。 （英语） Zbl 1258.03025号

Ogihara，Mitsunori（编辑）等人，《计算模型的理论和应用》。2011年5月23日至25日在日本东京举行的TAMC 2011第八届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-20876-8/pbk）。计算机科学讲座笔记6648240-251（2011）。
MSC公司：03B48号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{C.Zhou}，莱克特。注释计算。科学。6648240-251（2011；Zbl 1258.03025）
全文： 内政部
热尔马诺Resconi;鲍里斯·科瓦勒丘克

Agent不确定性模型和量子力学表示：非线性建模。 （英语） Zbl 1171.68734号

Jain，Lakhmi C.（编辑）等，基于代理系统中的知识处理和决策。柏林：施普林格出版社（ISBN 978-3-540-88048-6/hbk；978-3-540-88049-3/电子书）。计算智能研究170，217-246（2009）。
MSC公司：68T20型 68T05型 81页68
PDF格式BibTeX公司 XML格式引用
\textit{G.Resconi}和\textit{B.Kovalerchuk}，Stud.Comput。因特尔。170、217--246（2009年；Zbl 1171.68734）
全文： 内政部
罗伯·迈尔斯;德克·帕丁森;卢茨·施罗德

协代数混合逻辑。 （英语） Zbl 1234.03020号

de Alfaro，Luca（编辑），软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504137-151（2009）。
MSC公司：03B70号 03B45号 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{R.Myers}等人，Lect。注释计算。科学。5504137--151（2009年；Zbl 1234.03020）
全文： 内政部
伊万·扎尼斯;罗宾·赫希

路径上的概率逻辑。 （英语） Zbl 1286.03074号

Aldini，Alessandro（编辑）等人，第六届编程语言定量方面研讨会论文集（QAPL 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第3期，79-96（2008）。
MSC公司：03B45号 03B48号
PDF格式BibTeX公司 XML格式引用
\textit{E.Tzanis}和\textit{R.Hirsch}，电子。理论注释。计算。科学。220，编号3，79-96（2008；Zbl 1286.03074）
全文： 内政部
内博伊萨·伊科迪诺维奇;米奥德拉格·拉斯科维奇;佐兰·马尔科维奇;佐兰·奥格尼亚诺维奇

测量逻辑。 （英语） Zbl 1148.68485号

Mellouli，Khaled（编辑），不确定性推理的符号和定量方法。第九届欧洲会议，2007年10月31日至11月2日，ECSQARU，突尼斯哈马马特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75255-4/pbk）。计算机科学课堂讲稿4724。人工智能课堂讲稿，128-138（2007）。
MSC公司：68T27型 68层37
PDF格式BibTeX公司 XML格式引用
\textit{N.Ikodinovic}等人，Lect。注释计算。科学。4724，128--138（2007；Zbl 1148.68485）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件