我们非常感谢支持
西蒙斯基金会和会员机构。

计算机科学逻辑

最近提交的作者和标题

[总共24个条目:1-24]
[每页显示多达25个条目:更少的|更多的]

2021年6月23日星期三

[1] 必威精装版App西汉姆联arxiv:2106.11818.[PDF.PS.其他]
标题:线性逻辑,$π$ -calculus,以及它们的metatheory:作为流程的证明的配方
主题: 计算机科学逻辑(CS.LO)
[2] 必威精装版App西汉姆联arXiv: 2106.11798[PDF.PS.其他]
标题:具有归纳定义的一阶逻辑循环证明系统中扦插消除的反射
注释:18页
主题: 计算机科学逻辑(CS.LO);逻辑(math.LO)
[3] 必威精装版App西汉姆联arxiv:2106.11729[PDF.]
标题:组合者的参考书目
作者: 斯蒂芬沃法
主题: 计算机科学逻辑(CS.LO);离散数学(cs.DM)
[4] 必威精装版App西汉姆联arxiv:2106.11508[PDF.其他]
标题:通信模式模型:动态网络分布式系统的动作模型的扩展
作者: 迭戈a委拉斯凯兹(法国国立大学Autónoma de México),阿曼德卡斯塔涅达(法国国立大学Autónoma de México),David A. Rosenblueth.(Universidad NacionalAutónomadeMéxico)
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886.
Journal-ref:EPTCS 335,2021,PP。307-321
主题: 计算机科学逻辑(CS.LO)
[5] 必威精装版App西汉姆联arxiv:2106.11506[PDF.PS.其他]
标题:基于信仰和预期效用的故障逻辑
作者: Aldoivánramírezabarca(乌得勒支大学),Jan Broersen.(乌特勒支大学)
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886.
Journal-ref:EPTCS 335,2021,PP。281-294
主题: 计算机科学逻辑(CS.LO);多验系统(CS.MA)
[6] 必威精装版App西汉姆联arxiv:2106.11501[PDF.其他]
标题:从概率知识
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886.
Journal-ref:EPTCS 335,2021,PP。171-186
主题: 计算机科学逻辑(CS.LO);人工智能(CS.AI)
[7] 必威精装版App西汉姆联arxiv:2106.11498[PDF.其他]
标题:没有有限模型属性用于量化公告的逻辑
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886.
Journal-ref:EPTCS 335,2021,PP。129-138
主题: 计算机科学逻辑(CS.LO)
[8] 必威精装版App西汉姆联arxiv:2106.11495.[PDF.其他]
标题:信仰,论证及其动态的认识认识框架
作者: 阿尔弗雷多Burrieza(马拉加大学),Antonio Yuste-Ginel(马拉加)大学
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886..Antonio Yuste-Ginel的研究活动已被倒立者授予的部分资助。MECD-FPU 2016/04113的Ministerio de Feirsidades(西班牙)
Journal-ref:EPTCS 335,2021,PP。69-83
主题: 计算机科学逻辑(CS.LO)
[9] 必威精装版App西汉姆联arxiv:2106.11494[PDF.PS.其他]
标题:基于语言的决定
作者: 亚当Bjorndahl(卡内基梅隆大学),Joseph Y. Halpern.(康奈尔大学)
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886.
Journal-ref:EPTCS 335,2021,PP。55-67
主题: 计算机科学逻辑(CS.LO)
[10] 必威精装版App西汉姆联arxiv:2106.11493.[PDF.PS.其他]
标题:用名称重新审视认知逻辑
作者: MartaBílková.(捷克科科学院计算机科学研究所),克里斯托夫佐伊(格罗宁根大学),奥利维尔罗伊(Bayreuth大学)
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886.
Journal-ref:EPTCS 335,2021,PP。39-54
主题: 计算机科学逻辑(CS.LO)
[11] 必威精装版App西汉姆联arxiv:2106.11492[PDF.PS.其他]
标题:基于不确定性的多智能体理解逻辑
作者: Carlos Areces.(Famaf,Universidad NacionaldeCórdoba和阿根廷Conicet),Raul Fervari.(Famaf,Universidad NacionaldeCórdoba和阿根廷Conicet),Andrésr.Saravia.(Famaf,Universidad NacionaldeCórdoba和阿根廷Conicet),FernandoR.Velázquez-Quesada(荷兰阿姆斯特丹大学ILLC)
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886.
Journal-ref:EPTCS 335,2021,PP。23-37
主题: 计算机科学逻辑(CS.LO);多验系统(CS.MA)
[12] 必威精装版App西汉姆联arxiv:2106.11735.(来自cs.lg的跨列表)[PDF.其他]
标题:提升模型检查的关系MDPs
主题: 机器学习(CS.LG);人工智能(CS.AI);计算机科学逻辑(CS.LO)
[13] 必威精装版App西汉姆联arxiv:2106.11504(来自cs.ai的跨列表)[PDF.其他]
标题:知道如何计划
作者: 延君李(南开大学),燕京王(北京大学)
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886.
Journal-ref:EPTCS 335,2021,PP。233-247
主题: 人工智能(CS.AI);计算机科学逻辑(CS.LO)
[14] 必威精装版App西汉姆联arxiv:2106.11499.(来自CS.DC的跨列表)[PDF.PS.其他]
标题:火!
作者: Krisztina Fruzsa.(Tu Wien),罗马的库兹涅茨(Tu Wien),乌尔里希施密德(涂维恩)
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886.
Journal-ref:EPTCS 335, 2021, pp. 139-153
主题: 分布式,并行和群集计算(CS.DC);计算机科学中的逻辑(cs.LO);多验系统(CS.MA)
[15] 必威精装版App西汉姆联arxiv:2106.11497(来自cs.ai的跨列表)[PDF.其他]
标题:de Re更新
作者: 迈克尔·科恩(斯坦福大学),温唐(北京大学),燕京王(北京大学)
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886.
Journal-ref:EPTCS 335,2021,PP。103-117
主题: 人工智能(CS.AI);计算机科学逻辑(CS.LO)
[16] 必威精装版App西汉姆联arxiv:2106.11496.(来自cs.ai的跨列表)[PDF.PS.其他]
标题:集体论证:汇总双极论证框架的支持关系的情况
作者: 陈胖子(孙中山大学逻辑与认知与认知与哲学系)
注释:在诉讼中,TAK 2021,必威精装版App西汉姆联arxiv:2106.10886..被第18届理性与知识理论方面会议接受(TARK-2021)
Journal-ref:EPTCS 335, 2021, pp. 87-102
主题: 人工智能(CS.AI);计算机科学逻辑(CS.LO)

星期二,2021年6月22日

[17] 必威精装版App西汉姆联arXiv: 2106.10946[PDF.PS.其他]
标题:通过Datalog $ ^ \ neg $
注释:逻辑编程理论与实践的考虑(TPLP)
主题: 计算机科学逻辑(CS.LO);人工智能(CS.AI)
[18] 必威精装版App西汉姆联arxiv:2106.10685(来自cs.ai的跨列表)[PDF.其他]
标题:MILP,PSeudo-Boolean和OMT求解器,用于关键任务无线网络中的中继节点的最佳容错放置
注释:33页,11个数字
Journal-ref:基础Informaticae,174(3-4):229-258,2020
主题: 人工智能(CS.AI);分布式、并行和集群计算(cs.DC);计算机科学中的逻辑(cs.LO);网络和互联网架构(cs.NI)
[19] 必威精装版App西汉姆联arxiv:2106.10562(来自cs.ai的跨列表)[PDF.其他]
标题:数据管理和机器学习中基于分数的解释:反事实分析的答案集编程方法
作者: Leopoldo Bertssi
注释:秋季学校短期课程相关的论文。必威精装版App西汉姆联ARXIV Admin注意:文本重叠必威精装版App西汉姆联ARXIV:2007.12799.
主题: 人工智能(CS.AI);数据库(cs.DB);机器学习(cs.LG);计算机科学逻辑(CS.LO)

2021年6月21日星期一

[20] 必威精装版App西汉姆联arxiv:2106.10232[PDF.其他]
标题:扩展参数定时自动机的基准库
注释:这是在第15届国际测试和证明会议(TAP 2021)上发表的同名手稿的作者(和扩展版)。
Journal-ref:计算机科学书系列(LNC,第12740卷),2021,PP 39-50中的讲义说明
主题: 计算机科学逻辑(CS.LO)
[21] 必威精装版App西汉姆联arXiv: 2106.10122[PDF.PS.其他]
标题:指导图形模型中部分连续聚集功能的渐近消除
主题: 计算机科学逻辑(CS.LO)
[22] 必威精装版App西汉姆联arxiv:2106.10192(cross-list from cs.GT) [PDF.其他]
标题:并发游戏的平衡设计
注释:同意2019年与附录
Journal-ref:Vol. 140, 2019, 22:1—22:16
主题: 计算机科学与博弈论(CS.GT);人工智能(CS.AI);计算机科学中的逻辑(cs.LO);多验系统(CS.MA)

星期五,19六月十二日

[23] 必威精装版App西汉姆联arXiv: 2106.09161(来自cs.lg的跨列表)[PDF.其他]
标题:MUNGOJERRIE:LINEMER-TIME目标的加强学习
注释:MUNGOJERRIE可以使用这个https url
主题: 机器学习(CS.LG);计算机科学中的逻辑(cs.LO);系统和控制(Eess.sy)

星期四,2021年6月17日

[24] 必威精装版App西汉姆联arxiv:2106.08470(cross-list from cs.PL) [PDF.PS.其他]
标题:介绍类型属性
主题: 编程语言(cs.PL);计算机科学逻辑(CS.LO)
[总共24个条目:1-24]
[每页显示多达25个条目:更少的|更多的]

禁用mathjax.MathJax是什么?

链接:必威精装版App西汉姆联表单界面找到CS2106.接触Help.访问密钥信息)