×

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

最新的 引文 关联
劳拉·佐丹奴；阿尔贝托·马泰利；丹尼尔·杜普雷

使用DLTL的\（\mathcal{EL}\）本体和时态答案集推理操作。 （英语） Zbl 07671891号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13416, 231-244 (2022).
MSC公司：68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，Lect。票据计算。科学。13416、231--244（2022；Zbl 07671891）
全文： 内政部
肯·佐藤；劳拉·佐丹奴；马蒂奥·巴多尼

PROLEG元解释程序在国际私法中选择管辖权和法律的实施。 （英语） 兹伯利07671013

彼得罗·巴罗尼（编辑）等人，《逻辑与论证》。第四届国际会议，CLAR 2021，中国杭州，2021年10月20日至22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13040, 60-75 (2021).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{K.Satoh}等人，Lect。票据计算。科学。13040，60-75（2021；Zbl 07671013）
全文： 内政部
劳拉·佐丹奴；阿尔贝托·马泰利；马蒂奥·斯皮奥塔；丹尼尔·塞塞德尔·杜普雷

使用约束时态答案集编程进行业务流程验证。 （英语） Zbl 1298.68174号

理论与实践。日志。程序。 13，No.4-5，641-655（2013）.
审核人：Jana Köhler（卢塞恩）
MSC公司：60年第68季度 68N17号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，《理论与实践》。日志。程序。13、编号4--5、641--655（2013；Zbl 1298.68174）
全文： 内政部
劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨

（mathcal{EL}^\bot）非单调扩张的表演算。 （英语） Zbl 1332.68209号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学讲义6793。《人工智能课堂讲稿》，180-195（2011）。
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，Lect。票据计算。科学。6793180-195（2011年；兹比尔1332.68209）
全文： 内政部
基诺维斯，瓦莱里奥；劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；吉安·卢卡（Gian Luca），披萨

用于访问控制的条件构造逻辑及其序列演算。 （英语） Zbl 1333.03104号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学讲义6793。人工智能课堂讲稿，164-179（2011）。
MSC公司：03B70号 03B25号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{V.Genovese}等人，莱克特。票据计算。科学。6793、164--179（2011年；Zbl 1333.03104）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件