×

找到88个文档（结果1-88）

最新的 引文 关联
亚历山德罗·阿塔尔;让-克里斯托夫荣格;安德烈亚·马祖洛;安娜·奥扎基;弗兰克·沃尔特

没有贝丝和克雷格的生活：描述和模态逻辑中的定义和插入词，包括名词和角色。 （英语） Zbl 07760995号

ACM事务处理。计算。日志。 24，第4号，第34号论文，51页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{A.Artale}等人，ACM翻译。计算。日志。24，第4号，第34号论文，51页（2023；Zbl 07760995）
全文： 内政部 arXiv公司
OA许可证
塔尼亚·布劳恩;马塞尔·格尔克

可解释和探索的决策支持。 （英语） Zbl 1522.68713号

Braun，Tanya（编辑）等人，基于图形的表示和推理。第27届概念结构国际会议，ICCS 2022，德国明斯特，2022年9月12日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13403, 99-114 (2022).
MSC公司：68单位35 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Braun}和\textit{M.Gehrke}，莱克特。注释计算。科学。13403，99-114（2022；Zbl 1522.68713）
全文： 内政部
奥利弗·马克格拉夫;丹尼尔·斯坦;Anthony W·林。

整数超立方体与查询的学习并集（应用于一元分解）。 （英语） Zbl 1493.68170号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 243-265 (2021).
MSC公司：68问题32 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛O.Markgraf｝等人，Lect。注释计算。科学。12760243-265（2021年；Zbl 1493.68170）
全文： 内政部 arXiv公司
菲利普·巴特克;马丁·苏达

神经优先推荐。 （英语） Zbl 07437098号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 525-542 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.Bártek}和\textit{M.Suda}，莱克特。注释计算。科学。12699、525--542（2021；Zbl 07437098）
全文： 内政部
塔内尔·塔米特;德克·德拉海姆;普里特·Järv

常识推理的自信。 （英语） Zbl 07437097号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 507-524 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Tammet}等人，Lect。注释计算。科学。12699、507--524（2021；Zbl 07437097）
全文： 内政部
埃马努伊尔·克拉萨纳基斯;安德烈亚斯·西梅尼迪斯

定义行为化关系，以便在半自动程序合成中进行推理。 （英语） Zbl 1528.68081号

J.日志。阿尔盖布。方法计划。 123，文章ID 100714，29 p.（2021）.
MSC公司：68号30 03B70号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Krasanakis}和\textit{A.Symeonidis}，J.Log。阿尔盖布。方法计划。123，文章ID 100714，29 p.（2021；Zbl 1528.68081）
全文： 内政部
尼古拉·赞帕纳基;西奥多·帕特科斯;乔治·弗洛里斯;普列克索萨基斯，迪米特里斯

修改事件演算理论以从意外观察中恢复。 （英语） Zbl 1511.68270号

安。数学。Artif公司。智力。 89，编号1-2，209-236（2021）.
MSC公司：68T27型 03B42号 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{N.Tsanpanaki}等人，《数学年鉴》。Artif公司。智力。89，编号1--2，209--236（2021；Zbl 1511.68270）
全文： 内政部
伊丽莎白·德·玛丽亚;辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨

建模为时间自动机的尖峰神经网络：具有参数学习。 （英语） Zbl 1530.68086号

自然计算。 19，第1期，135-155（2020年）.
MSC公司：2007年第68季度 03B44号 65年第68季度 第68季度第60季度 68T05型 92秒20 92C20美元
PDF格式BibTeX公司 XML格式引用
\textit{E.De Maria}等人，《自然计算》。19，第1号，135--155（2020；Zbl 1530.68086）
全文： 内政部 arXiv公司 哈尔
穆罕默德·哈桑贝格;丹尼尔·克罗宁;亚历山德罗·阿巴特

利用时间逻辑进行深度强化学习。 （英语） Zbl 1455.68190号

Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288, 1-22 (2020).
MSC公司：2017年10月68日 03B44号 05年3月 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Hasanbeig｝等人，Lect。注释计算。科学。12288，1-22（2020；Zbl 1455.68190）
全文： 内政部
日期：Prasanna;罗伯特·巴顿;凯瑟琳·舒曼;托马斯·波托克

在绝热量子计算机上有效嵌入QUBO问题。 （英语） Zbl 1417.81081号

量子信息处理。 18，第4号，第117号论文，第31页（2019年）.
MSC公司：81页68 68T05型 68页第10页 03日第10天 2005年第68季度 第68季度12 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Date}等人，《量子信息处理》。18，第4号，第117号论文，31页（2019年；Zbl 1417.81081）
全文： 内政部 链接
汉斯·德·尼维尔

三值几何分辨率的包含算法。 （英语） Zbl 1405.68317号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-40228-4/pbk；978-3-3169-40229-1/电子书）。9706计算机科学课堂讲稿。人工智能课堂讲稿，257-272（2016）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{H.de Nivelle}，莱克特。注释计算。科学。9706257--272（2016；Zbl 1405.68317）
全文： 内政部 arXiv公司
蒙特塞拉特赫莫;安娜·奥扎基

多值依赖的精确学习。 （英语） Zbl 1388.68030号

Chaudhuri，Kamalika（编辑）等人，《算法学习理论》。2015年10月4日至6日，第26届国际会议，ALT 2015，加拿大阿联酋班夫。诉讼程序。查姆：施普林格（ISBN 978-3-319-24485-3/pbk；978-3-3169-24486-0/电子书）。计算机科学9355课堂讲稿。《人工智能课堂讲稿》，73-88（2015）。
MSC公司：第68页，共15页 03B70号 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{M.Hermo}和\textit{A.Ozaki}，莱克特。注释计算。科学。9355、73-88（2015年；Zbl 1388.68030）
全文： 内政部
伊拉里奥·博纳西纳;尼古拉·加莱西

伪部分、横截性和局部性，代数证明系统中空间测度的组合特征。 （英语） Zbl 1364.03081号

第四届理论计算机科学创新会议论文集，ITCS'13，美国加利福尼亚州伯克利，2013年1月9-12日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1859-4）。455-472 (2013).
MSC公司：20层03 03B35型 2017年第68季度 65年第68季度 68吨15 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛I.Bonacina｝和\textit｛N.Galesi｝，载于：第四届理论计算机科学创新会议论文集，ITCS'13，美国加利福尼亚州伯克利，2013年1月9-12日。纽约州纽约市：计算机协会（ACM）。455--472（2013年；Zbl 1364.03081）
全文： 内政部
安德烈·普拉泽

随机混合程序的随机微分动态逻辑。 （英语） Zbl 1341.68030号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，446-460（2011）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，莱克特。注释计算。科学。6803446--460（2011；Zbl 1341.68030）
全文： 内政部
布洛克，盖伊·N。;瓦西尔·皮赫尔;劳拉·库巴特科

使用模糊逻辑从微阵列数据中检测基因调控网络。 （英语） 兹比尔1181.92026

Jin，Yaochu（编辑）等，《生物信息学和计算生物学中的模糊系统》。柏林：施普林格出版社（ISBN 978-3-540-89967-9/hbk；978-3-540-89968-6/电子书）。《模糊性和软计算研究》242141-163（2009）。
MSC公司：92立方厘米 03B52号 92D10型
PDF格式BibTeX公司 XML格式引用
\textit{G.N.Brock}等人，《模糊软计算研究》。242141-163（2009年；Zbl 1181.92026）
全文： 内政部
凯西奥·波尔波·德坎波斯;法比奥·加利亚迪·科兹曼;何塞·爱德华多·奥乔亚·卢纳

在具有随机独立性的关系概率逻辑中组合一组一致的句子。 （英语） Zbl 1172.03316号

J.应用。日志。 第7期，第2期，第137-154页（2009年）.
MSC公司：03B48 68T27型 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit{C.P.de Campos}等人，J.Appl。日志。7，第2号，137--154（2009；Zbl 1172.03316）
全文： 内政部 链接
佩德罗·卡巴拉尔

答案集编程中的偏函数和等式。 （英语） Zbl 1185.68149号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，392-406（2008）。
MSC公司：68N17号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}，莱克特。注释计算。科学。5366、392--406（2008年；Zbl 1185.68149）
全文： 内政部
曼弗雷德·杰格

模型理论表达性分析。 （英语） Zbl 1137.68591号

De Raedt，Luc（编辑）等人，概率归纳逻辑编程。理论和应用。柏林：施普林格出版社（ISBN 978-3-540-78651-1/pbk）。计算机科学课堂讲稿4911。人工智能课堂讲稿，325-339（2008）。
MSC公司：68T27型 68N17号 03C98号
PDF格式BibTeX公司 XML格式引用
\textit{M.Jaeger}，莱克特。注释计算。科学。4911325-339（2008年；Zbl 1137.68591）
全文： 内政部
恩德雷·博罗斯;茨城县，Toshihide;Kazuhisa Makino

不完整示例的布尔分析。 （英语） Zbl 1502.68141号

Karlsson，Rolf（编辑）等人，《算法理论——SWAT’96》。第五届斯堪的纳维亚算法理论研讨会，冰岛雷克雅未克，1996年7月3日至5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1097, 440-451 (1996).
MSC公司：68问题32 03B70号 06E30年 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Boros}等人，Lect。注释计算。科学。1097440-451（1996年；Zbl 1502.68141）
全文： 内政部
Akira宫城郎;Eiji Takimoto;酒井吉福;亚基拉·马鲁卡

学习正交\（F\）-Horn公式。 （英语） Zbl 1527.68111号

Jantke，Klaus P.（编辑）等人，《算法学习理论》。第六届国际研讨会，ALT’95，日本福冈，1995年10月18日至20日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。997, 110-122 (1995).
MSC公司：68问题32 03B70号 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{A.Miyashiro}等人，Lect。注释计算。科学。997110--122（1995年；Zbl 1527.68111）
全文： 内政部
福特诺，兰斯;威廉·加萨奇;桑杰·贾恩;Efim金伯;马丁·库默;斯图亚特·库尔茨;马克·普莱斯科维奇;西奥多·斯莱曼;罗伯特·索洛维;弗兰克·斯蒂芬

推断程度的极端。 （英语） Zbl 0813.03026号

Ann.纯粹应用。逻辑 66，第3期，231-276（1994年）.
审核人：C.Witteveen（代尔夫特）
MSC公司：2015年3月1日 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{L.Fortnow}等人，Ann.Pure Appl。逻辑66，No.3，231--276（1994；Zbl 0813.03026）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件