×

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

数学和ChatGPT。技术奇点脚下的会合点。(Mathematik und ChatGPT.Ein Rendezvous am Fuße der technologischen Singularität.) (德语) Zbl 07796262号

柏林:施普林格演讲(ISBN 978-3-662-68208-1/pbk;978-3-562-68209-8/电子书)。xiv,第290页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数据库和信息系统的进展。第27届欧洲会议,ADBIS 2023,西班牙巴塞罗那,2023年9月4-7日。诉讼程序。 (英语) 兹比尔1527.68005

计算机科学课堂讲稿13985.查姆:施普林格(ISBN 978-3-031-42913-2/pbk;978-3-331-42914-9/电子书)。第二十二、254页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率知识系统的知识集成方法。 (英语) Zbl 1520.68005号

佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-032-23218-8/hbk;978-1-03-23388-8/pbk;978-1-003-27701-9/电子书)。xi,第190页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向异构知识库的起源。 (英语) Zbl 1515.68317号

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

使用域生成器评估STRIPS中的动作可逆性。 (英语) Zbl 07630648号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 226-236 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

系统W的性质及其与其他归纳推理算子的关系。 (英语) Zbl 07630647号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 206-225 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

容错集群发送问题。 (英语) Zbl 07630645号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 168-186 (2022).
PDF格式BibTeX公司 XML格式引用

具有有限域的不完整数据库中的近似键和函数依赖关系。 (英语) Zbl 07630644号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 147-167 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

函数依赖和边际分布等价变量的蕴涵问题。 (英语) Zbl 07630643号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 130-146 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

你能在等的时候回答吗? (英语) Zbl 07630642号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 111-129 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于查询知识图的RDF存储的统计信息。 (英语) Zbl 07630641号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388,93-110(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过动态逻辑中的事件-条件-操作规则修复数据库。 (英语) Zbl 07630640号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 75-92 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

电厂控制器中逻辑功能图的基于图的语义。 (英语) Zbl 07630639号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 55-74 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

扩展析取逻辑程序设计的基于假设的论证。 (英语) Zbl 07630638号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 35-54 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于作为全局特征映射变换器的消息传递神经网络的表达能力。 (英语) Zbl 07630637号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 20-34 (2022).
PDF格式BibTeX公司 XML格式引用

关于具有函数依赖性的关系模式的抽样代表。 (英语) Zbl 07630636号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388,1-19(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数据库和信息系统的进展。2022年9月5日至8日,第26届欧洲会议,ADBIS 2022,意大利都灵。诉讼程序。 (英语) Zbl 1503.68014号

计算机科学课堂讲稿13389.查姆:施普林格(ISBN 978-3-031-15739-4/pbk;978-3-331-15740-0/电子书)。第二十三、408页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信息和知识系统基础。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。 (英语) 兹比尔1499.68028

计算机科学课堂讲稿13388.查姆:施普林格(ISBN 978-3-031-11320-8/pbk;978-3-331-11321-5/电子书)。十八、237页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

贝叶斯网络。以R为例。第二版。 (英语) Zbl 1475.62005号

查普曼和霍尔/CRC统计科学系列教材佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-36651-3/hbk;978-0-429-34743-6/电子书)。第十五章,258页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数据库和信息系统的进展。第25届欧洲会议,ADBIS 2021,爱沙尼亚塔尔图,2021年8月24日至26日。诉讼程序。 (英语) Zbl 1486.68012号

计算机科学课堂讲稿12843.查姆:施普林格(ISBN 978-3-030-82471-6/pbk;978-3-0030-82472-3/电子书)。第22页,第289页。(2021).
PDF格式BibTeX公司 XML格式引用

Bat算法及其在信号、语音和图像处理中的应用——综述。 (英语) Zbl 1459.94042号

Dey,Nilanjan(编辑)等人,蝙蝠算法及其变体的应用。新加坡:斯普林格。Springer Tracts Nat.-灵感。计算。,133-153 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一类microRNA-disease网络的双曲线嵌入模型。 (英语) Zbl 1513.68061号

MSC公司:68层35 92立方厘米
PDF格式BibTeX公司 XML格式引用

拍卖描述语言(ADL):表示基于拍卖的市场的通用框架。 (英语) Zbl 1464.68388号

De Giacomo,Giuseppe(编辑)等人,《2020年ECAI》。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。325825-832(2020年)。
MSC公司:68层35 91B26型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

巩固模态知识库。 (英语) Zbl 1464.68386号

De Giacomo,Giuseppe(编辑)等人,《2020年ECAI》。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。325, 648-655 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通用决定点过程的高性能采样。 (英语) 兹比尔1470.60132

MSC公司:60G55型 65层99 68层35
PDF格式BibTeX公司 XML格式引用

数据库和信息系统的进展。第24届欧洲会议,ADBIS 2020,法国里昂,2020年8月25-27日。诉讼程序。 (英语) Zbl 1464.68007号

计算机科学课堂讲稿12245.查姆:施普林格(ISBN 978-3-030-54831-5/pbk;978-3-0030-54832-2/电子书)。第xx页,第219页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于统一逻辑控制模型的解推理算法。 (英语。俄文原件) Zbl 1464.68387号

赛博。系统。分析。 56,第2期,187-194(2020); 翻译自Kibern。修女。分析。2020年,第2期,第21-30页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

构造地质模型的事件序列解释:提取构造序列的基于知识的方法。 (英语) Zbl 07266060号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。2012年1月12日,第318-333页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

强极小MapReduce算法:一个terasort案例研究。 (英语) Zbl 07266059号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012031-317(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于逻辑的方法对强分布式数据流进行增量监控和优化。 (英语) Zbl 07266056号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 242-262 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构化论证的动力学:对默认论证逻辑的变化进行建模。 (英语) Zbl 07266055号

Herzig,Andreas(编辑)等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 222-241 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

整数游戏描述逻辑:GDL数字扩展。 (英语) Zbl 07266053号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012191-210(2020年)。
PDF格式BibTeX公司 XML格式引用

命题依赖逻辑中模型检查和可满足性的参数化复杂性。 (英语) Zbl 07266051号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 157-174 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在一般信息空间中测量不一致性。 (英语) Zbl 07266050号

Herzig,Andreas(编辑)等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 140-156 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

类型理论中的概率推理——交叉类型案例。 (英语) Zbl 07266049号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 122-139 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多样性、依赖性和独立性。 (英语) Zbl 07266048号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 106-121 (2020).
PDF格式BibTeX公司 XML格式引用

在多对数时间中有适当的层次结构,并且没有完整的问题。 (英语) Zbl 07266047号

Herzig,Andreas(编辑)等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 90-105 (2020).
PDF格式BibTeX公司 XML格式引用

ASPARTIX-V19–一个基于答案集编程的抽象论证系统。 (英语) Zbl 07266046号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 79-89 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

社会整合:理性地相信证据和贵族身份的多重价值逻辑。 (英语) Zbl 07266045号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 58-78 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于矩阵和(K)-关系。 (英语) Zbl 07266044号

Andreas Herzig等人,《信息和知识系统基础》。第11届国际研讨会,FoIKS 2020,德国多特蒙德,2020年2月17日至21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 42-57 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于蕴涵和重命名的条件知识库的标准形式。 (英语) 兹比尔1456.68184

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 22-41 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有有限域的不完整数据库中的功能依赖性。 (英语) Zbl 1456.68028号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 1-21 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可解释人工智能的知识图。基础、应用和挑战。 (英语) Zbl 1434.68034号

语义网研究47.阿姆斯特丹:IOS出版社;海德堡:Akademische Verlagsgesellschaft AKA(ISBN 978-1-64368-080-4/pbk;978-1-643 68-081-1/电子书)。vii,592页。(2020).
PDF格式BibTeX公司 XML格式引用

信息和知识系统基础。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。 (英语) Zbl 1435.68031号

计算机科学课堂讲稿12012.查姆:施普林格(ISBN 978-3-030-39950-4/pbk;978-3-0.30-39951-1/电子书)。十八、335页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

机载实时咨询专家系统知识数据库中的人工智能代理,用于模拟以人为中心的物体的典型运行情况。 (英语。俄文原件) Zbl 1476.68256号

J.计算。系统。科学。国际。 58,编号6,932-944(2019); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2019年,第6期,第90-102页(2019年)。
MSC公司:68层35 68单位35
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件