×

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

最新 引文 关联
高桥，Kazuko;广岛美和

修复论证框架的拓扑条件和解决方案。 （英语） Zbl 07789765号

Herzig，Andreas（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 101-118 (2023).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Takahashi｝和\textit｛H.Miwa｝，Lect。注释计算。科学。14156，101-118（2023；Zbl 07789765）
全文： 内政部
提摩太·坎皮克;Dov Gabbay公司;乔瓦尼·萨托

抽象论证中的说服负担。 （英语） Zbl 07671022号

彼得罗·巴罗尼（编辑）等人，《逻辑与论证》。第四届国际会议，CLAR 2021，中国杭州，2021年10月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13040, 224-243 (2021).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Kampik}等人，Lect。注释计算。科学。13040、224--243（2021；Zbl 07671022）
全文： 内政部 链接
杰雷米·多芬;蒂兹·里恩斯特拉;范德托雷、伦德特

抽象论证的新弱可接受语义。 （英语） Zbl 07671016号

彼得罗·巴罗尼（编辑）等人，《逻辑与论证》。第四届国际会议，CLAR 2021，中国杭州，2021年10月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13040, 112-126 (2021).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.Dauphin}等人，Lect。注释计算。科学。13040112-126（2021年；兹bl 07671016）
全文： 内政部
克拉默，马科斯;扬尼克·斯波尔

面向相关性接受可接受参数集的选择-推荐语义。 （英语） Zbl 07671015号

彼得罗·巴罗尼（编辑）等人，《逻辑与论证》。第四届国际会议，CLAR 2021，中国杭州，2021年10月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13040, 94-111 (2021).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Cramer}和\textit{Y.Spörl}，莱克特。注释计算。科学。13040、94-111（2021；Zbl 07671015）
全文： 内政部
王宗顺;吴嘉超

模糊论证框架的动力学。 （英语） Zbl 07578374号

Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，中国杭州，2020年4月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 287-307 (2020).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Wang}和\textit{J.Wu}，Lect。注释计算。科学。12061，287--307（2020；Zbl 07578374）
全文： 内政部
马克斯·克拉默;艾曼纽尔·安娜·迪特兹·索尔丹哈

逻辑编程、论证和人类推理。 （英语） Zbl 07578360号

Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，2020年4月6日至9日，中国杭州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 58-79 (2020).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Cramer}和\textit{E.-A.Dietz Saldanha}，莱克特。注释计算。科学。12061，58-79（2020年；兹bl 07578360）
全文： 内政部
杰雷米·多芬;马克斯·克拉默;范德托雷、伦德特

结合抽象论证语义的动态方法。 （英语） Zbl 07229664号

廖北水（编辑）等，《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。日志。亚洲：研究日志。天秤座。，21-43 (2019).
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Dauphin}等人，in：动力学、不确定性和推理。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。21-43（2019年；Zbl 07229664）
全文： 内政部 链接
徐玉明;徐立东;克劳德特·凯罗尔

具有联合可接受性的基于扩展的论证语义的结构分析。 （英语） Zbl 07229663号

廖北水（编辑）等，《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。日志。亚洲：研究日志。天秤座。，1-20 (2019).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Xu}等人，in：动力学、不确定性和推理。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。1-20（2019年；兹bl 07229663）
全文： 内政部
林戈·鲍曼;汉内斯·斯特拉斯

抽象论证中的开放性问题。 （英语） Zbl 1432.68425号

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9060, 325-339 (2015).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Baumann}和\textit{H.Strass}，莱克特。注释计算。科学。9060325--339（2015年；Zbl 1432.68425）
全文： 内政部
林戈·鲍曼;斯潘林，克里斯托夫

无限论证框架。关于扩张的存在性和唯一性。 （英语） Zbl 1432.68424号

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9060, 281-295 (2015).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Baumann}和\textit{C.Spanring}，Lect。注释计算。科学。9060281--295（2015年；Zbl 1432.68424）
全文： 内政部
彼得罗·巴罗尼;马西米利亚诺·贾科明;辽、北水

我不在乎，我不知道我知道的太多了！论抽象论证中的不完全性和不确定性。 （英语） 兹比尔1432.68423

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。第9060、265-280页（2015年）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Baroni}等人，Lect。注释计算。科学。9060，265--280（2015；Zbl 1432.68423）
全文： 内政部
菲利普·贝斯纳德;西尔维·多特;安德烈亚斯·赫齐格

用逻辑对参数图进行编码。 （英语） Zbl 1418.68191号

Laurent，Anne（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。2014年7月15日至19日，第15届国际会议，IPMU 2014，法国蒙彼利埃。诉讼程序。第二部分。查姆：斯普林格。Commun公司。计算。信息科学。443, 345-354 (2014).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Besnard}等人，Commun。计算。信息科学。443345-354（2014年；Zbl 1418.68191）
全文： 内政部 链接
辽、北水;黄华新

论证的部分语义。 （英语） Zbl 1298.03079号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学课堂讲稿6953。人工智能课堂讲稿，151-164（2011）。
MSC公司：03B60 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{B.Liao}和\textit{H.Huang}，Lect。注释计算。科学。6953、151--164（2011年；Zbl 1298.03079）
全文： 内政部
莎拉·爱丽丝·加格尔;斯特凡·沃尔特兰

基于无冲突集的论证语义的强等价性。 （英语） Zbl 1341.68254号

Liu，Weiru（编辑），不确定性推理的符号和定量方法。2011年6月29日至7月1日，第11届欧洲会议，ECSQARU 2011，英国贝尔法斯特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22151-4/pbk）。计算机科学课堂讲稿6717。人工智能课堂讲稿，38-49（2011）。
MSC公司：68层37 03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛S.A.Gaggl｝和\textit｛S.Woltran｝，Lect。注释计算。科学。6717，38-49（2011；Zbl 1341.68254）
全文： 内政部
胡安·卡洛斯·尼维斯;毛里西奥索里奥;克劳迪娅·塞佩达

基于分层最小模型表达基于扩展的语义。 （英语） Zbl 1246.68213号

Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。《人工智能课堂讲稿》，305-319（2009）。
MSC公司：68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Nieves}等人，Lect。注释计算。科学。5514305-319（2009年；Zbl 1246.68213）
全文： 内政部
凯罗尔，C。;德弗雷德，C。;Lagasquie-Schiex，医学博士。

处理论证中的无知：部分论证框架的语义。 （英语） Zbl 1148.68503号

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

将论证语义学与怀疑论进行比较。 （英语） 1148.68500兹罗提

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件