厄兹普、厄兹圭尔·吕特福;拉尔夫·莫勒 带描述逻辑的有界内存流数据处理。 （英语） Zbl 1444.68189号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 639-660 (2019).MSC公司：68T27型 第68页，共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Ø.L.Özçep}和\textit{R.Möller}，莱克特。注释计算。科学。11560639-660（2019年；Zbl 1444.68189） 全文： 内政部
尤尼·佐哈尔;蒂什科夫斯基，德米特里;雷娜特·施密特（Renate A.Schmidt）。;安娜·扎曼斯基 自动化自动推理。两个通用自动推理工具的案例。 （英语） Zbl 1444.68290号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 610-638 (2019).MSC公司：68伏15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zohar}等人，Lect。注释计算。科学。11560110-1638（2019年；兹比尔1444.68290） 全文： 内政部
马可·威廉;加布里埃尔·克恩·伊斯伯纳 概率描述逻辑的最大熵计算。 （英语） Zbl 1444.68193号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 588-609 (2019).MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Wilhelm}和\textit{G.Kern-Isberner}，莱克特。注释计算。科学。11560588-609（2019年；兹比尔1444.68193） 全文： 内政部
戴维·特娜·库卡拉;伯纳多·昆卡·格劳;伊恩·霍洛克斯 15年的基于结果的推理。 （英语） Zbl 1444.68192号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 573-587 (2019).MSC公司：68T27型 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Tena Cucala}等人，Lect。注释计算。科学。11560573--587（2019年；Zbl 1444.68192） 全文： 内政部
曼弗雷德·施密特·沙乌 关于统一、包容和统一类型的注释。 （英语） Zbl 1444.68090号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 562-572 (2019).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。11560、562--572（2019年；Zbl 1444.68090） 全文： 内政部
鲁道夫，“约翰·塞巴斯蒂安” Presburger概念基数约束在非常富有表现力的描述逻辑中。快板的性别是非性别的。 （英语） Zbl 1444.68190号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560542-561（2019年）。MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Rudolph}，莱克特。注释计算。科学。11560542--561（2019年；Zbl 1444.68190） 全文： 内政部
克里斯托弗·林盖森 构建和组合匹配算法。 （英语） 兹比尔1444.68089 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 523-541 (2019).MSC公司：2012年第68季度 03B70号 68周05 PDF格式BibTeX公司 XML格式引用 \textit{C.Ringeissen}，莱克特。注释计算。科学。11560523--541（2019年；Zbl 1444.68089） 全文： 内政部 哈尔
维埃娜·拉维珊卡;金伯利·A·康奈尔。;巴利亚特·纳伦德兰 非对称统一和不统一。 （英语） Zbl 1444.68088号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 497-522 (2019).MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Ravishankar}等人，Lect。注释计算。科学。11560497--522（2019年；Zbl 1444.68088） 全文： 内政部 arXiv公司
拉斐尔·佩尼亚洛萨 解释公理精确定位。 （英语） Zbl 1444.68210号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 475-496 (2019).MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{R.Peñaloza}，勒克特。注释计算。科学。11560475--496（2019年；Zbl 1444.68210） 全文： 内政部 链接
安娜·奥扎基;马库斯·科洛奇;塞巴斯蒂安·鲁道夫 时间属性描述逻辑。 （英语） Zbl 1444.68188号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 441-474 (2019).MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛A.Ozaki｝等人，Lect。注释计算。科学。11560、441--474（2019年；Zbl 1444.68188） 全文： 内政部
伯恩哈德·内贝尔 关于目的地不确定性下多代理路径发现中正向归纳的几点思考。 （英语） Zbl 1444.68257号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 431-440 (2019).MSC公司：68T42型 PDF格式BibTeX公司 XML格式引用 \textit{B.Nebel}，莱克特。注释计算。科学。11560431-440（2019年；Zbl 1444.68257） 全文： 内政部
斯蒂芬妮·麦金太尔;大卫·托曼;格兰特·威德尔 FunDL。一系列基于特征的描述逻辑，用于查询结构化数据源。 （英语） Zbl 1444.68186号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 404-430 (2019).MSC公司：68T27型 第68页，共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.McIntyre}等人，Lect。注释计算。科学。11560404--430（2019年；Zbl 1444.68186） 全文： 内政部
马托斯，维尼丘斯·比登古;里卡多·吉马朗斯;桑托斯，尤里·戴维;雷纳塔·沃瑟曼 伪压缩是温和的修复。 （英语） Zbl 1444.68185号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 385-403 (2019).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛V.B.Matos｝等人，Lect。注释计算。科学。11560385--403（2019年；Zbl 1444.68185） 全文： 内政部 链接
斯特芬·Hölldobler 人类用（mathcal{E}）matchers推理吗？ （英语） Zbl 1444.68182号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 367-384 (2019).MSC公司：68T27型 68N17号 91E10型 PDF格式BibTeX公司 XML格式引用 \textit{S.Hölldobler}，莱克特。注释计算。科学。11560367--384（2019年；Zbl 1444.68182） 全文： 内政部
伯恩哈德·亨斯特;莫里斯·帕格努科;戴维·拉贾拉特南;克劳德·萨穆特;迈克尔·泰尔舍尔 认知层次中的感知语境。 （英语） Zbl 1444.68208号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 352-366 (2019).MSC公司：68立方英尺 68T45型 91E10型 PDF格式BibTeX公司 XML格式引用 \textit{B.Hengst}等人，Lect。注释计算。科学。11560352--366（2019年；Zbl 1444.68208） 全文： 内政部 arXiv公司
奥尔加·杰拉西莫娃;斯坦尼斯拉夫·基科特;扎卡里亚舍夫，迈克尔 检查本体论中介查询的数据复杂性：使用非均匀CSP和Polyanna的案例研究。 （英语） Zbl 1444.68067号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 329-351 (2019).MSC公司：第68页，共15页 65年第68季度 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{O.Gerasimova}等人，Lect。注释计算。科学。11560329--351（2019年；Zbl 1444.68067） 全文： 内政部
恩里科·弗兰科尼;沃尔哈·科赫特 使用本体和DBox进行有效的查询应答。 （英语） Zbl 1443.68046号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 301-328 (2019).MSC公司：第68页，共15页 03B70号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{E.Franconi}和\textit{V.Kerhet}，莱克特。注释计算。科学。11560301-328（2019年；Zbl 1443.68046） 全文： 内政部
马塞洛·芬格 用公理概率的线性约束扩展\（\mathcal{EL}^{+}\）。 （英语） Zbl 1443.68178号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 286-300 (2019).MSC公司：68T27型 2017年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}，莱克特。注释计算。科学。11560286--300（2019年；Zbl 1443.68178） 全文： 内政部
Katrin M.丹纳特。;埃里希·格拉德尔 起源分析：描述逻辑的一个视角？ （英语） Zbl 1443.68177号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560226-285（2019年）。MSC公司：68T27型 第68页，共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Dannert}和\textit{E.Grädel}，莱克特。注释计算。科学。11560266--285（2019年；Zbl 1443.68177） 全文： 内政部
克拉恩，延斯;格哈德·莱克梅耶;本杰明·扎里 情境演算符合描述逻辑。 （英语） 兹比尔1443.68174 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 240-265 (2019).MSC公司：68T27型 60年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Claßen}等人，Lect。注释计算。科学。11560240-265（2019年；Zbl 1443.68174） 全文： 内政部
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 从模型完整性到数据感知流程的验证。 （英语） Zbl 1443.68103号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 212-239 (2019).MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。11560212-239（2019年；Zbl 1443.68103） 全文： 内政部
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 基于本体论的同龄人的问题。 （英语） Zbl 1443.68183号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 187-211 (2019).MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。11560187-211（2019年；兹比尔1443.68183） 全文： 内政部
佩德罗·卡巴拉尔;托尔斯滕·绍布 具有时态描述逻辑公理的时态逻辑程序。 （英语） Zbl 1443.68173号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 174-186 (2019).MSC公司：68T27型 03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}和\textit{T.Schaub}，莱克特。注释计算。科学。11560174-186（2019年；兹比尔1443.68173） 全文： 内政部
卡塔琳娜·布里茨;乔瓦尼·卡西尼;托马斯·梅耶;伊万·瓦尔津扎克 KLM对描述逻辑的可废止推理的观点。 （英语） Zbl 1443.68172号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 147-173 (2019).MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Britz}等人，Lect。注释计算。科学。11560、147--173（2019年；Zbl 1443.68172） 全文： 内政部 链接
格哈德·布鲁卡;马库斯·乌布利希特 对非单调推理的有力解释。 （英语） Zbl 1443.68171号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 135-146 (2019).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}和\textit{M.Ulbricht}，莱克特。注释计算。科学。11560、135-146（2019年；Zbl 1443.68171） 全文： 内政部
洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 在\（\mathcal中有合理例外的推理｛埃尔｝_\bot）上下文化知识库。 （英语） 兹比尔1443.68181 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 110-134 (2019).MSC公司：68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzato}等人，Lect。注释计算。科学。11560、110-134（2019年；Zbl 1443.68181） 全文： 内政部
亚历山大·博吉达 实现一系列常规计划描述逻辑的初始步骤。 （英语） Zbl 1443.68170号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 90-109 (2019).MSC公司：68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Borgida}，莱克特。注释计算。科学。11560，90-109（2019；Zbl 1443.68170） 全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）;帕斯卡·方丹;克里斯托弗·林盖森;塞萨尔·蒂内利 理论结合：超越平等分享。 （英语） Zbl 1443.68116号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 57-89 (2019).MSC公司：68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人，Lect。注释计算。科学。11560，57-89（2019年；Zbl 1443.68116） 全文： 内政部 哈尔
彼得·鲍姆加特纳;乌韦·沃尔德曼 重温了等级叠加。 （英语） Zbl 1443.68212号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 15-56 (2019).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{U.Waldmann}，莱克特。注释计算。科学。11560，15-56（2019年；兹比尔1443.68212） 全文： 内政部 arXiv公司
卡斯滕·卢茨;乌利·萨特勒;塞萨尔·蒂内利;安妮·亚斯敏（Anni-Yasmin Turhan）;弗兰克·沃尔特 Franz Baader对知识表示和自动演绎的贡献之旅。 （英语） Zbl 1443.68010号 Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。11560, 1-14 (2019).MSC公司：68-03 01A70号 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}等人，Lect。注释计算。科学。11560，1-14（2019年；Zbl 1443.68010） 全文： 内政部