×

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

最新的 引文 关联
于刘文;卡伦·阿纳西;斯尔詹·维西奇;李旭;范德托雷、伦德特

基于原则的两极论证语义分析。 （英语） Zbl 07855122号

Sarah Gaggl等人，《人工智能中的逻辑》。第18届欧洲会议，JELIA 2023，德国德累斯顿，2023年9月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14281, 209-224 (2023).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Yu}等人，Lect。注释计算。科学。14281、209--224（2023；Zbl 07855122）
全文： DOI程序
陈，陈;佩雷·帕尔多;范德托雷、伦德特;于刘文

形式论证中最薄弱的环节：前瞻性和基于原则的分析。 （英语） Zbl 1534.68226号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 61-83 (2023).
审核人：埃里克·马丁（悉尼）
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Chen}等人，Lect。注释计算。科学。14156，61-83（2023年；Zbl 1534.68226）
全文： DOI程序
克里斯托夫·本兹穆勒;家长，Xavier;范德托雷、伦德特

为伦理和法律推理设计规范理论：LogiKEy公司框架、方法和工具支持。 （英语） Zbl 1493.68286号

Artif公司。智力。 287，文章ID 103348，28 p.（2020）.
MSC公司：68T01型 03A05号 03B16号 03B35型 03B45号 68T27型 68立方英尺 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}等人，Artif。智力。287，文章ID 103348，28 p.（2020；Zbl 1493.68286）
全文： DOI程序 arXiv公司
杰雷米·多芬;马克斯·克拉默;范德托雷、伦德特

结合抽象论证语义的动态方法。 （英语） 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）
全文： DOI程序 链接
布罗森，简;斯蒂芬·克雷菲尔德;叶希亚·埃尔拉凯比;Dov Gabbay公司;大卫·格罗西;埃米利亚诺·洛里尼;家长，Xavier;范德托雷，Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦州施瓦岑特鲁伯

规范推理和结果。 （英语） Zbl 1482.68227号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 4，33-70（2013）。
MSC公司：68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{J.Broersen}等人，Dagstuhl Follow-Ups 4，33--70（2013；Zbl 1482.68227）
全文： DOI程序
布罗森，简;范德托雷、伦德特

计算机科学中道义逻辑和规范推理的十个问题。 （英语） Zbl 1253.03041号

Nick Bezhanishvili等人，《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根，2010年8月，ESSLLI2011年，斯洛文尼亚卢布尔雅那，2011年8月。精选课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-31484-1/pbk）。计算机科学课堂讲稿7388，55-88（2012）。
审核人：David Makinson（伦敦）
MSC公司：03B45号 03A05号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Broersen}和\textit{L.van der Torre}，莱克特。注释计算。科学。7388，55-88（2012；Zbl 1253.03041）
全文： DOI程序
塞雷娜·维拉塔;圭多·波埃拉;加贝，多夫·M。;范德托雷、伦德特

争论信息来源的可信度。 （英语） 兹比尔1341.68271

Liu，Weiru（编辑），不确定性推理的符号和定量方法。2011年6月29日至7月1日，第11届欧洲会议，ECSQARU 2011，英国贝尔法斯特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22151-4/pbk）。计算机科学课堂讲稿6717。人工智能课堂讲稿，74-85（2011）。
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit｛S.Villata｝等人，Lect。注释计算。科学。6717、74-85（2011年；Zbl 1341.68271）
全文： DOI程序 链接
苏希拉·卡奇;范德托雷、伦德特;埃米尔·韦德尔

关于不相容论点的可接受性。 （英语） Zbl 1148.68522号

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件