×

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

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

使用DLTL的\（\mathcal｛EL｝\）本体论和时态答案集对动作进行推理。 （英语） Zbl 07671891号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，2022年LPNMR，意大利热那亚，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元解释程序在国际私法中选择管辖权和法律的实施。 （英语） Zbl 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）.
审核人：贾纳·科勒（卢塞恩）
MSC公司：60年第68季度 68N17号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，《理论与实践》。日志。程序。13、编号4--5、641--655（2013；Zbl 1298.68174）
全文： 内政部
劳拉·佐丹奴;阿尔贝托·马泰利

验证代理是否符合多方协议。 （英语） 兹比尔1250.68267

Fisher，Michael（编辑）等人，《多智能体系统中的计算逻辑》。第九届国际研讨会，CLIMA IX，德国德累斯顿，2008年9月29日至30日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-02733-8/pbk）。计算机科学5405课堂讲稿。人工智能课堂讲稿，17-36（2009）。
MSC公司：68T42型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}和\textit{A.Martelli}，莱克特。注释计算。科学。5405、17-36（2009年；Zbl 1250.68267）
全文： 内政部
佐丹奴，L。;A.马泰利。;萨皮诺，M.L。

条件逻辑程序设计的一种溯源证明过程。 （英语） Zbl 1419.68118号

Gabbay，Dov M.（编辑）等人，《实践推理》。正式和应用实用推理国际会议，FAPR’96，德国波恩，1996年6月3日至7日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1085, 231-245 (1996).
MSC公司：68T27型 第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，Lect。注释计算。科学。1085、231--245（1996年；Zbl 1419.68118）
全文： 内政部
D.加巴伊。;佐丹奴，L。;A.马泰利。;奥利维蒂，N。

逻辑编程语言中假设的更新、优先级和不一致性。 （英语） Zbl 1496.68316号

Marek，V.W.（编辑）等人，《逻辑编程和非单调推理》。第三次国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26日至28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。928, 203-216 (1995).
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.Gabbay}等人，Lect。注释计算。科学。928203-216（1995年；Zbl 1496.68316）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件