×

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

选择逻辑的顺序计算。 (英语) Zbl 07628196号

Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13385, 331-349 (2022).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非累积逻辑的表示结果。 (英语) Zbl 07547775号

Ghosh,Sujata(编辑)等人,《逻辑、理性与互动》。第八届国际研讨会,LORI 2021,中国西安,2021年10月16-18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13039, 259-272 (2021).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非单调次一致逻辑系统的序列型演算。 (英语) Zbl 07455717号

Ricca,Francesco(ed.)等人,《第36届逻辑编程(技术通信)国际会议论文集》,ICLP 2020,UNICAL,Rende(CS),意大利,2020年9月18日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)325178-191(2020年)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

具有强否定的次协调构造逻辑是一种无收缩的相关逻辑。 (英语) 兹比尔1406.03045

Czelakowski,Janusz(编辑),Don Pigozzi关于抽象代数逻辑、泛代数和计算机科学。查姆:施普林格(ISBN 978-3-319-74771-2/hbk;978-3-3169-74772-9/电子书)。对Logic的杰出贡献16323-379(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

默认逻辑的强大后门。 (英语) Zbl 1475.68366号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9710, 45-59 (2016).
PDF格式BibTeX公司 XML格式引用

为非单调推理量身定制的累加性。 (英语) Zbl 1432.68442号

Eiter,Thomas(编辑)等人,《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。9060, 96-111 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格哈德·布鲁卡对人工智能的贡献一瞥。 (英语) Zbl 1432.68003号

Eiter,Thomas(编辑)等人,《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。9060, 1-16 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于违约的真相。 (英语) Zbl 1357.68223号

Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。《计算机科学讲义》7265422-435(2012)。
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Lifschitz和限制。 (英语) Zbl 1357.68221号

Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,386-389(2012)。
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从特纳的普遍因果逻辑到GK的逻辑。 (英语) Zbl 1357.68220号

Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,380-385(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

致弗拉基米尔·利夫希茨(Vladimir Lifschitz)65岁生日。 (英语) 兹比尔1357.01013

Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学讲义7265,1-13(2012)。
MSC公司:01A70号 68-03 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

论证理论与决策辅助。 (英语) Zbl 1200.90106号

Ehrgott,Matthias(编辑)等人,《多标准决策分析趋势》。柏林:施普林格出版社(ISBN 978-1-4419-5903-4/hbk;978-1-441 9-5904-1/电子书)。《运筹学与管理科学国际丛书》142177-208(2010)。
MSC公司:90B50型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

稳定模型的13个定义。 (英语) Zbl 1287.68021号

Blass,Andreas(编辑)等人,《逻辑与计算领域》。尤里·古雷维奇70岁生日之际献给他的散文。柏林:施普林格出版社(ISBN 978-3-642-15024-1/pbk)。《计算机科学讲义》6300488-503(2010)。
MSC公司:68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

默认情况下进程的语义描述。 (英语) Zbl 1248.68477号

Borgida,Alexander T.(编辑)等人,《概念建模:基础和应用》。纪念约翰·米洛波洛斯的论文。柏林:施普林格出版社(ISBN 978-3-642-02462-7/pbk)。计算机科学讲座笔记5600,82-98(2009)。
MSC公司:68立方英尺
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种简单的模态逻辑,用于推理揭示的信念。 (英语) Zbl 1245.03019号

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

一个稳定模型的十二个定义。 (英语) Zbl 1185.68166号

Garcia de la Banda,Maria(编辑)等人,《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89981-5/pbk)。计算机科学课堂讲稿5366,37-51(2008)。
MSC公司:68N17号 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在任意世界假设下,正常逻辑程序的自顶向下的查询应答过程。 (英语) Zbl 1148.68336号

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

将多智能体自认知逻辑转换为逻辑程序。 (英语) Zbl 1270.68335号

Dix,Jurgen(编辑)等人,CLIMA’2002。多代理系统中的计算逻辑(FLoC卫星事件),丹麦哥本哈根,2002年8月1日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》70,第5期,54-71(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份