×

找到404个文档(结果1-100)

一种结构化的两极论证理论,用于在实际推理中提供解释。 (英语) Zbl 07789768号

安德烈亚斯·赫齐格(编辑)等人,《逻辑与论证》。第五届国际会议,CLAR 2023,中国杭州,2023年9月10日至12日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14156, 157-171 (2023).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于欧氏空间中两个具有规定边长的仿射等价框架的存在性。 (英语。俄文原件) 兹比尔07780150

同胞。数学。J。 64,第6期,1273-1278(2023); 来自Sib的翻译。材料Zh。64,第6期,1131-1137(2023)。
PDF格式BibTeX公司 XML格式引用

具有高阶有理(循环)项的逻辑框架。 (英语) Zbl 07770332号

Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13992, 68-88 (2023).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

用二元决策图表示抽象的辩证框架。 (英语) Zbl 07671887号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13416177-189(2022)。
MSC公司:68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

伊莎贝尔的同调类型理论。 (英语) Zbl 07699429号

Cohen,Liron(ed.)等人,第十二届交互式定理证明国际会议,ITP 2021,意大利罗马,虚拟会议,2021年6月29日至7月1日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。193,第12条,第8页(2021年)。
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用

定性不确定性的抽象论证:动态逻辑分析。 (英语) Zbl 07671020号

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

聚类分析的一般粗糙建模。 (英语) Zbl 1495.68229号

Ramanna,Sheela(编辑)等人,《粗糙集》。2021年9月19日至24日,斯洛伐克布拉迪斯拉发,IJCRS 2021国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12872, 75-82 (2021).
PDF格式BibTeX公司 XML格式引用

PDE框架中的局部故障局部恢复:线性解算器的情况。 (英语) Zbl 1482.65003号

Kozubek,Tomáš(编辑)等人,《科学与工程中的高性能计算》,第四届国际会议,2019年5月20日至23日,捷克卡罗林卡,HPCSE 2019。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。12456, 17-38 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Dastani,Mehdi(编辑)等人,《逻辑与论证》。第三届国际会议,CLAR 2020,中国杭州,2020年4月6日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12061, 287-307 (2020).
MSC公司:03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抽象辩证框架的基础语义讨论游戏。 (英语) Zbl 1464.68363号

Prakken,Henry(编辑)等人,《论证的计算模型》。第八届会议记录,COMMA 2020,意大利佩鲁贾大学,虚拟会议,2020年9月8日至11日。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。326, 431-442 (2020).
MSC公司:68T27型 91A80型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抽象辩证论证的认知解释。 (英语) Zbl 1464.68360号

Prakken,Henry(编辑)等人,《论证的计算模型》。第八届会议记录,COMMA 2020,意大利佩鲁贾大学,虚拟会议,2020年9月8日至11日。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。326, 227-238 (2020).
MSC公司:68T27型 03B42型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

三值语义下SETAF和无支持ADF的表达性。 (英语) Zbl 1464.68353号

Prakken,Henry(编辑)等人,《论证的计算模型》。第八届会议记录,COMMA 2020,意大利佩鲁贾大学,虚拟会议,2020年9月8日至11日。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。326, 191-202 (2020).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用

从权利要求的角度看基于排名的语义。 (英语) 兹比尔1464.68345

Prakken,Henry(编辑)等人,《论证的计算模型》。第八届会议记录,COMMA 2020,意大利佩鲁贾大学,虚拟会议,2020年9月8日至11日。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。326, 111-122 (2020).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间抽象辩证框架:一种简单的基于翻译的方法。 (英语) Zbl 1464.68343号

Prakken,Henry(编辑)等人,《论证的计算模型》。第八届会议记录,COMMA 2020,意大利佩鲁贾大学,虚拟会议,2020年9月8日至11日。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。326, 103-110 (2020).
MSC公司:68T27型 03B50号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

上下文类型,解释。受邀的教程。 (英语) Zbl 1455.03016号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。35-37 (2020).
MSC公司:03B38型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

说服性论证和认识态度。 (英语) Zbl 1496.03074号

Soares Barbosa,Luís(编辑)等人,《动态逻辑》。新趋势和应用。2019年10月7日至11日,第二届国际研讨会,DALI 2019,葡萄牙波尔图。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12005, 104-123 (2020).
MSC公司:03B42型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

金融中的机器学习。从理论到实践。 (英语) Zbl 1435.62012号

查姆:施普林格(ISBN 978-3-030-41067-4/hbk;978-3-0.30-41068-1/电子书)。xxv,548页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

更新论证框架以实施扩展。 (英语) Zbl 07229666号

廖北水(编辑)等,《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:斯普林格。日志。亚洲:研究日志。伦敦银行同业拆借利率。,63-79(2019年)。
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

大规模混合整数非线性优化的多树分解方法。 (英语) Zbl 1446.90109号

Velásquez-Bermüdez,Jesüs M.(编辑)等人,《供应链和智能制造中的大规模优化》,理论与应用。查姆:施普林格。Springer Optim公司。申请。149, 27-58 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抽象辩证框架首选语义的讨论游戏。 (英语) Zbl 07170123号

Kern-Isberner,Gabriele(编辑)等,《不确定性推理的符号和定量方法》。2019年9月18日至20日,第15届欧洲会议,ECSQARU 2019,塞尔维亚贝尔格莱德。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11726, 62-73 (2019).
MSC公司:第68页第37页
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

AGM满足抽象论证:Dung框架的收缩。 (英语) Zbl 1525.68149号

Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。2019年5月7日至11日,意大利伦德,第16届欧洲会议,JELIA 2019。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11468, 41-57 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

评价论点网络:毛利人的一个案例研究毛利辩证法。 (英语) Zbl 07160622号

Blackburn,Patrick(编辑)等人,《逻辑、理性与互动》。2019年LORI第七届国际研讨会,中国重庆,2019年10月18-21日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。11813, 355-369 (2019).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抽象辩证框架的三值接受条件。 (英语) Zbl 1433.68415号

Accattoli,Beniamino(编辑)等人,《逻辑和语义框架与应用第13次研讨会论文集》,LSFA 18,巴西福塔莱萨,2018年9月26日至28日。阿姆斯特丹:爱思唯尔。电子。理论注释。计算。科学。344, 3-23 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图形和几何。 (英语) 兹比尔1425.05001

学术讨论会出版物。美国数学学会65.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-5087-8/hbk;978-1-4740-5354-1/电子书)。x、 第444页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用ADF对答案集进行基于论证的解释。 (英语) Zbl 1522.68531号

Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2019年6月3日至7日,第15届国际会议,LPNMR 2019,美国宾夕法尼亚州费城。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11481, 89-102 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

点线框架。 (英语) Zbl 1407.52027号

Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),487-504(2019)。
PDF格式BibTeX公司 XML格式引用

车身-铰链框架的刚度。 (英语) Zbl 1407.52028号

Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),435-459(2019)。
PDF格式BibTeX公司 XML格式引用

组合局部和全局刚性的归纳结构。 (英语) Zbl 1421.52023号

Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),413-434(2019)。
PDF格式BibTeX公司 XML格式引用

平面刚度。 (英语) Zbl 1421.52025

Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),377-412(2019)。
PDF格式BibTeX公司 XML格式引用

一般尺寸中的通用整体刚度。 (英语) Zbl 1407.52026号

Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),第341-350页(2019年)。
MSC公司:52立方厘米25
PDF格式BibTeX公司 XML格式引用

张力整体性。 (英语) Zbl 1407.52025号

Sitharam,Meera(编辑)等人,《几何约束系统原理手册》。佛罗里达州博卡拉顿:CRC出版社。离散数学。申请。(博卡拉顿),299-315(2019)。
MSC公司:52立方厘米25
PDF格式BibTeX公司 XML格式引用

用于决策的动态论证框架的P-DeLP实例化。 (英语) Zbl 1440.68264号

Chesñevar,Carlos I.(编辑)等人,基于论证的亲昵证明。纪念吉列尔莫·西马里70岁生日的文章。伦敦:学院出版物。致敬37,103-122(2018)。
PDF格式BibTeX公司 XML格式引用

经济与老龄化。第二卷:政策和应用。 (英语) Zbl 1444.91002号

查姆:Palgrave Macmillan(ISBN 978-3-319-93356-6/pbk;978-3-3169-93357-3/ebook)。xi,第320页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

经济与老龄化。第一卷:理论。 (英语) 兹比尔1443.91001

查姆:Palgrave Macmillan(ISBN 978-3-319-93247-7/pbk;978-3-3169-93248-4/ebook)。xl,371(2018)。
MSC公司:91-02 91B62型 91D20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

辩论中的抽象:必要但危险。 (英语) 兹比尔1430.68314

Modgil,Sanjay(编辑)等人,《论证的计算模型》。2018年9月12日至14日,波兰华沙,2018年COMMA第七届会议记录。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。305, 85-96 (2018).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

研究抽象辩证框架的子类。 (英语) Zbl 1430.68304号

Modgil,Sanjay(编辑)等人,《论证的计算模型》。2018年9月12日至14日,波兰华沙,2018年COMMA第七届会议记录。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。305, 61-72 (2018).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于基于简单对立假设的论证框架的语义。 (英语) Zbl 1430.68307号

Modgil,Sanjay(编辑)等人,《论证的计算模型》。2018年9月12日至14日,波兰华沙,第七届会议记录,COMMA 2018。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。305, 9-20 (2018).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有模态的子结构逻辑的统一框架。 (英语) Zbl 1402.03030号

Eiter,Thomas(编辑)等人,LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特:EasyChair。EPiC计算系列46,435-455(2017)。
MSC公司:03B47号 03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合和次指数线性逻辑。 (英语) Zbl 1395.03034号

Nigam,Vivek(编辑)等人,《逻辑和语义框架及其应用第11次研讨会论文集》(LSFA 2016),葡萄牙波尔图,2016年。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记33295-111(2017)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件