×

找到36个文档(结果1-36)

关注论证过程:抽象论证中基于邻域的语义。 (英语) Zbl 07671011号

彼得罗·巴罗尼(编辑)等人,《逻辑与论证》。第四届国际会议,CLAR 2021,中国杭州,2021年10月20日至22日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13040, 20-39 (2021).
MSC公司:03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可撤销逻辑编程中的支持和削弱。 (英语) 兹比尔1341.68209

Liu,Weiru(编辑),不确定性推理的符号和定量方法。2011年6月29日至7月1日,第11届欧洲会议,ECSQARU 2011,英国贝尔法斯特。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22151-4/pbk)。计算机科学课堂讲稿6717。《人工智能课堂讲稿》,50-61页(2011年)。
MSC公司:68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

广义抽象论证:处理FOL片段中的论证。 (英语) Zbl 1245.68189号

Sossai,Claudio(编辑)等人,《不确定性推理的符号和定量方法》。第十届欧洲会议,ECSQARU 2009,意大利维罗纳,2009年7月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02905-9/pbk)。计算机科学课堂讲稿5590。人工智能课堂讲稿,144-155(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在可能性可解逻辑编程中建模参数累积。 (英语) Zbl 1245.68186号

Sossai,Claudio(编辑)等人,《不确定性推理的符号和定量方法》。第十届欧洲会议,ECSQARU 2009,意大利维罗纳,2009年7月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02905-9/pbk)。计算机科学课堂讲稿5590。人工智能课堂讲稿,131-143(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对扩展的BDI体系结构的不可行论证支持。 (英语) Zbl 1135.68592号

Rahwan,Iyad(编辑)等人,《多智能体系统中的论证》。2007年5月15日于美国夏威夷州火奴鲁鲁市举行的第四届国际研讨会,ArgMAS 2007。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-78914-7/pbk)。计算机科学课堂讲稿4946。人工智能课堂讲稿,145-163(2008)。
MSC公司:68T99型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可废止论证中的辩证解释。 (英语) Zbl 1148.68515号

Mellouli,Khaled(编辑),不确定性推理的符号和定量方法。第九届欧洲会议,2007年10月31日至11月2日,ECSQARU,突尼斯哈马马特。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75255-4/pbk)。计算机科学课堂讲稿4724。人工智能课堂讲稿,295-307(2007)。
MSC公司:68层37
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段