×

找到317份文件(结果1-100)

时态ASP:从逻辑基础到实际使用泰林戈. (英语) Zbl 1524.68351号

Šimkus,Mantas(编辑)等人,《推理网络》。声明式人工智能。2021年9月8日至15日,比利时鲁汶,第17所2021年国际暑期学校。辅导讲座。查姆:斯普林格。勒克特。票据计算。科学。13100, 94-114 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语法ASP忘记用叉子。 (英语) Zbl 1533.68030号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。勒克特。票据计算。科学。13416, 3-15 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发游戏的均衡设计。 (英语) Zbl 07649930号

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第22条,第16页(2019年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

pseu-Ky Fan点的存在性及其在多目标博弈中的应用。 (英语) Zbl 1439.91015号

李登峰(编辑),博弈论。2019年3月7日至9日,第三届东亚博弈论国际会议,中国福建福州,EAGT 2019。修订了选定的论文。新加坡:斯普林格。Commun公司。计算。信息科学。1082, 105-115 (2019).
MSC公司:91A44型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

认知答案集编程。 (英语) Zbl 1525.68179号

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

具有(ω)-正则布尔目标的弱子对策完美平衡点的约束存在性问题。 (英语) Zbl 1524.91017号

Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27716-29(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

逻辑定律——它们都来自哪里? (英语) Zbl 1418.03023号

Arazim,Pavel(编辑)等人,《2017年逻辑年鉴》。2017年6月19日至23日,捷克共和国赫尼茨修道院,第31届年度国际研讨会Logica会议记录。伦敦:学院出版物。209-221 (2018).
MSC公司:03A05号
PDF格式BibTeX公司 XML格式引用

关于量子逻辑和量子力学的一些评论。 (英语) Zbl 1392.81007号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

纳什均衡和互模拟不变性。 (英语) Zbl 1442.68143号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第17条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语义游戏化。 (英语) Zbl 1485.03255号

Ghosh,Sujata(编辑)等人,《逻辑及其应用》。2017年1月5日至7日在印度坎普尔举行的第七届印度会议,ICLA 2017。诉讼程序。柏林:斯普林格。勒克特。票据计算。科学。10119, 183-197 (2017).
MSC公司:03G27号 91A44型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

表达能力和复杂性是战略推理的结果。 (英语) Zbl 1374.68332号

Aceto,Luca(ed.)等人,第26届并发理论国际会议,CONCUR'15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,268-282(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份