弗兰兹·巴德;帕特里克·科普曼;弗里德里希·米歇尔;安妮·亚斯敏（Anni-Yasmin Turhan）;本杰明·扎里丝 使用\（\mathcal{FL}_0（飞行高度层）\mathit{wer}\）推理器。 （英文） 兹比尔1530.68243 理论与实践。日志。程序。 22，第2期，162-192（2022）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，《理论与实践》。日志。程序。22，第2号，162--192（2022；Zbl 1530.68243） 全文： 内政部 arXiv公司 OA许可证
弗兰兹·巴德;雅库布·里德瓦尔 利用模型理论寻找具有具体领域的可判定且易于处理的描述逻辑。 （英文） Zbl 07606343号 J.汽车。推理 66，第3期，357-407（2022年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{J.Rydval}，J.Autom。推理66，No.3，357--407（2022；Zbl 07606343） 全文： 内政部
弗兰兹·巴德;奥利弗·费尔南德斯·吉尔;巴夫洛斯·马兰蒂迪斯 描述逻辑中的近似：加权树自动机如何帮助定义\（\mathcal）中所需的概念比较度量{FL}_0（飞行高度层）\). （英文） Zbl 1485.68245号 Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10168, 3-26 (2017).MSC公司：68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，Lect。注释计算。科学。10168，3--26（2017；Zbl 1485.68245） 全文： 内政部
弗兰兹·巴德;阮晋平;Stefan博格沃特;巴巴拉·莫拉夫斯卡 在没有顶层构造函数的描述逻辑中决定一致性并计算局部一致性。 （英文） Zbl 1358.68272号 圣母院J.形式逻辑 57，第4期，443-476（2016）. 审核人：埃里克·马丁（悉尼） MSC公司：68T27型 03B45号 2017年第68季度 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，《圣母院J.形式逻辑》57，第4期，443--476（2016；Zbl 1358.68272） 全文： 内政部 欧几里得
弗兰兹·巴德;马塞尔·利普曼 使用时间描述逻辑进行运行时验证-重新访问LTL。 （英文） Zbl 1310.68140号 J.应用。日志。 12，第4号，584-613（2014）.MSC公司：60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{M.Lippmann}，J.Appl。日志。12，第4号，584--613（2014；Zbl 1310.68140） 全文： 内政部
弗兰兹·巴德;阮晋平;Stefan博格沃特;巴巴拉·莫拉夫斯卡 描述逻辑（\mathcal{EL}）中没有顶层概念的统一。 （英文） Zbl 1341.68205号 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。人工智能课堂讲稿，70-84（2011）。MSC公司：68T27型 2017年第68季度 2012年第68季度 68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，Lect。注释计算。科学。6803，70-84（2011；Zbl 1341.68205） 全文： 内政部
康拉德·德雷舍尔;刘洪凯;弗兰兹·巴德;斯蒂芬·古勒曼;乌韦·彼得森;彼得·斯坦克;迈克尔·泰尔舍尔 将ABox更新付诸行动。 （英文） Zbl 1193.68233号 Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。2009年9月16日至18日，意大利特伦托，第七届国际研讨会，FroCoS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。《人工智能课堂讲稿》，214-229（2009）。MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Drescher}等人，Lect。注释计算。科学。5749，214--229（2009；Zbl 1193.68233） 全文： 内政部 链接
弗兰兹·巴德;安德烈亚斯·鲍尔;马赛尔·利普曼 使用时间描述逻辑进行运行时验证。 （英文） Zbl 1193.68160号 Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。2009年9月16日至18日，意大利特伦托，第七届国际研讨会，FroCoS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。《人工智能课堂讲稿》，149-164（2009）。MSC公司：60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，Lect。注释计算。科学。57491149-164（2009年；兹bl 1193.68160） 全文： 内政部
Franz巴德;巴巴拉·莫拉夫斯卡 描述逻辑中的统一（\mathcal{EL}）。 （英文） Zbl 1242.68300号 Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595，350-364（2009）。MSC公司：68T27型 03B35型 2017年第68季度 2012年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{B.Morawska}，莱克特。注释计算。科学。5595、350-364（2009年；Zbl 1242.68300） 全文： 内政部
弗兰兹·巴德;扬·赫拉迪克;拉斐尔·佩尼亚洛萨 Automata可以显示描述逻辑的PSpace结果。 （英文） Zbl 1149.68073号 Inf.计算。 206，编号9-10，1045-1056（2008）.MSC公司：68T27型 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Baader｝等人，信息计算。206，编号9--10，1045--1056（2008；Zbl 1149.68073） 全文： 内政部 链接