×

描述逻辑、理论组合等等。纪念弗兰兹·巴德60岁生日的文章。 (英语) Zbl 1428.68036号

计算机科学课堂讲稿11560.查姆:施普林格(ISBN 978-3-030-22101-0/pbk;978-3-0030-22102-7/电子书)。xiii,662页。(2019).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。
索引文章:
卡斯滕,卢茨;乌利·萨特勒;蒂内利、塞萨尔;安妮·亚斯敏(Anni-Yasmin Turhan);弗兰克·沃尔特,弗兰兹·巴德对知识表示和自动演绎的贡献之旅,1-14[Zbl 1443.68010号]
彼得·鲍姆加特纳(Peter Baumgartner);乌韦州瓦尔德曼,重新访问层次叠加,15-56[Zbl 1443.68212号]
博纳西纳(Bonacina)、玛丽亚·保拉(Maria Paola);方丹,帕斯卡;克里斯托夫·林盖森(Christophe Ringeissen);塞萨尔·蒂内利,理论组合:超越平等分享,57-89[Zbl 1443.68116号]
亚历山大·博尔吉达,实现一系列常规计划描述逻辑的初始步骤,90-109[Zbl 1443.68170号]
Loris Bozzato;托马斯·艾特;卢西亚诺·塞拉菲尼,在\(\mathcal中有合理异常的推理{标高}_\bot)情境化知识库,110-134[Zbl 1443.68181号]
格哈德·布鲁卡(Gerhard Brewka);马库斯·乌布利希特,非单调推理的有力解释,135-146[Zbl 1443.68171号]
Britz,Katarina;乔瓦尼·卡西尼;托马斯·梅耶(Thomas Meyer);伊万·瓦尔津扎克,《荷兰皇家航空公司对描述逻辑的可废止推理的观点》,147-173[Zbl 1443.68172号]
佩德罗·卡巴拉尔;托尔斯滕·绍布,具有时序描述逻辑公理的时序逻辑程序,174-186[Zbl 1443.68173号]
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼(Maurizio Lenzerini);里卡多·罗萨蒂,基于本体论的同行的问题,187-211[Zbl 1443.68183号]
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金,从模型完整性到数据感知过程验证,212-239[Zbl 1443.68103号]
克拉恩,延斯;Gerhard Lakemeyer;本杰明·扎里,情境演算满足描述逻辑,240-265[Zbl 1443.68174号]
Katrin M.Dannert。;埃里希·格拉德尔,起源分析:描述逻辑的一个视角?,266-285 [Zbl 1443.68177号]
马塞洛·芬格,用公理概率的线性约束扩展\(\mathcal{EL}^{+}\),286-300[兹比尔1443.68178]
Enrico Franconi;沃尔哈·科赫特,使用本体和DBoxe进行有效的查询应答,301-328[Zbl 1443.68046号]
奥尔加·杰拉西莫娃;基科特、斯坦尼斯拉夫;迈克尔·扎克哈里亚舍夫,检查本体论中介查询的数据复杂性:使用非均匀CSP和Polyanna的案例研究,329-351[兹比尔1444.68067]
亨斯特,伯恩哈德;莫里斯·帕格努科;戴维·拉贾拉特南;克劳德·萨穆特(Claude Sammut);迈克尔·泰尔舍尔,认知层次中的感知语境,352-366[Zbl 1444.68208号]
斯特芬·Hölldobler,人类会用\(\mathcal{E}\)-匹配者推理吗?,367-384 [Zbl 1444.68182号]
马托斯(Matos)、维尼修斯·比滕库尔(Vinícius Bitencourt);吉马朗斯,里卡多;尤里·戴维·桑托斯;雷娜塔·瓦瑟曼,伪压缩作为温和修复,385-403[Zbl 1444.68185号]
斯蒂芬妮·麦金太尔;戴维·托曼;格兰特·威德尔、FunDL。一系列基于特征的描述逻辑,用于查询结构化数据源404-430[Zbl 1444.68186号]
伯恩哈德·内贝尔,关于目的地不确定性下多代理路径发现中正向归纳的一些思考,431-440[Zbl 1444.68257号]
Ana Ozaki;马库斯·科洛奇;塞巴斯蒂安·鲁道夫,临时属性描述逻辑,441-474[Zbl 1444.68188号]
拉斐尔·佩尼亚洛扎,解释公理精确定位,475-496[Zbl 1444.68210号]
维埃纳·拉维山卡;金伯利·A·康奈尔。;巴利亚特·纳伦德兰,非对称统一与不统一,497-522[Zbl 1444.68088号]
克里斯托夫·林盖森,构建和组合匹配算法,523-541[兹比尔1444.68089]
鲁道夫,“约翰·塞巴斯蒂安”,Presburger概念基数约束在非常富有表现力的描述逻辑中。Allegro sexagenarioso ma non-ritardando,第542-561页[Zbl 1444.68190号]
Schmidt Schauß,曼弗雷德,关于统一、包容和统一类型的注释,562-572[Zbl 1444.68090号]
戴维·特娜·库卡拉;伯纳多·昆卡·格劳;伊恩·霍洛克斯,15年基于结果的推理,573-587[Zbl 1444.68192号]
马可·威廉;加布里埃尔·克恩·伊斯伯纳,概率描述逻辑的最大熵计算[Zbl 1444.68193号]
尤尼·佐哈尔;蒂什科夫斯基,德米特里;雷娜特·施密特(Renate A.Schmidt)。;安娜·扎曼斯基,自动化自动推理。两个通用自动推理工具610-638的案例[Zbl 1444.68290号]
Ùzçep,ࢁzgür Lütfü;拉尔夫·莫勒,带描述逻辑的有界内存流数据处理,639-660[Zbl 1444.68189号]

MSC公司:

68-06 与计算机科学有关的论文集、会议、文集等
68T27型 人工智能中的逻辑
00立方厘米 费斯特施里夫滕

传记参考:

弗兰兹·巴德
PDF格式BibTeX公司 XML格式引用