×

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

最新的 引文 关联
圭多州长；弗朗西斯科·奥利维埃里；安东尼诺·罗托洛；克里斯塔尼·马特奥

对稳定解释的推断。 （英语） 兹伯利07671892

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

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）
全文： DOI程序
弗朗西斯科·奥利维埃里；圭多州长；克里斯塔尼·马特奥；阿卜杜勒·萨塔尔

计算不可行的元逻辑。 （英语） Zbl 07437034号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 69-84 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{F.Olivieri}等人，Lect。注释计算。科学。12678，69-84（2021年；兹bl 07437034）
全文： DOI程序 链接
迈克尔·马赫（Michael J.Maher）。；伊利亚斯·塔赫马齐迪斯；格里戈里斯·安东尼奥；斯蒂芬·韦德；程龙

重新思考不可行推理：一种可扩展的方法。 （英语） Zbl 1472.68191号

理论与实践。日志。程序。 20，第4期，552-586（2020年）.
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.J.Maher}等人，《理论与实践》。日志。程序。20，第4号，552--586（2020；Zbl 1472.68191）
全文： DOI程序 arXiv公司
利维奥·罗巴尔多；塞萨尔·巴托里尼；莫妮卡·帕尔米拉尼；阿里安娜·罗西；米歇尔·马托尼；加布里埃尔·伦齐尼

将GDPR规定规范化为具体的I/O逻辑：DAPRECO知识库。 （英语） Zbl 1477.68299号

J.逻辑语言信息。 第4期第29页，第401-449页（2020年）.
MSC公司：68立方英尺 03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Robaldo}等人，J.Logic Lang.Inf.29，No.4，401-449（2020；Zbl 1477.68299）
全文： DOI程序 链接
圭多州长

实用规范推理与可废止道义逻辑。 （英语） Zbl 1517.68356号

d'Amato，Claudia（编辑）等人，《推理网络》。学习、不确定性、流媒体和可扩展性。2018年9月22日至26日，卢森堡埃什苏尔阿尔泽特，2018年第14届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。11078, 1-25 (2018).
MSC公司：68T27型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{G.总督}，莱克特。注释计算。科学。11078，1-25（2018；Zbl 1517.68356）
全文： DOI程序
阿卜杜勒拉夫·赫卡姆；马达琳娜·克罗伊托鲁；皮埃尔·比斯克特

可失效推理工具剖析的一阶逻辑基准。 （英语） Zbl 1518.68362号

Benzmüller，Christoph（编辑）等人，《规则与推理》。2018年9月18-21日，卢森堡，第二届国际联席会议，RuleML+RR 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11092, 81-97 (2018).
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Hecham}等人，Lect。注释计算。科学。11092、81-97（2018年；Zbl 1518.68362）
全文： DOI程序 链接
圭多州长

模态规则：用模态运算符扩展不可行逻辑。 （英语） Zbl 1518.68361号

Benzmüller，Christoph（编辑）等人，《规则与推理》。2018年9月18-21日，卢森堡，第二届国际联席会议，RuleML+RR 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11092, 9-30 (2018).
MSC公司：68T27型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{G.总督}，莱克特。注释计算。科学。11092，9--30（2018；Zbl 1518.68361）
全文： DOI程序
劳拉·佐丹奴；阿尔贝托·马泰利；马蒂奥·斯皮奥塔；丹尼尔·塞塞德尔·杜普雷

使用约束时态答案集编程进行业务流程验证。 （英语） 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）
全文： DOI程序
哈拉尔贝克；托马斯·艾特；托马斯·克伦瓦尔纳

交通法规不一致性管理：形式化和复杂性结果。 （英语） Zbl 1361.68220号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，80-93（2012）。
MSC公司：68T27型 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{H.Beck}等人，Lect。注释计算。科学。7519、80-93（2012年；Zbl 1361.68220）
全文： DOI程序
万惠；本杰明·格罗夫；迈克尔·基弗；保罗·福多；梁森林

默认逻辑编程和论证理论。 （英语） Zbl 1251.68230号

Hill，Patricia M.（编辑）等人，《逻辑编程》。第25届国际会议，ICLP 2009，美国加利福尼亚州帕萨迪纳，2009年7月14日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649，432-448（2009）。
MSC公司：68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wan}等人，Lect。注释计算。科学。5649、432--448（2009年；Zbl 1251.68230）
全文： DOI程序
阿明·赫扎特；阿卜哈亚·纳亚克；穆罕默德·奥根

面向上下文相关的可废除规则。 （英语） Zbl 1175.68437号

Sadri，Fariba（编辑）等人，《多智能体系统中的计算逻辑》。第八届国际研讨会，CLIMA VIII，葡萄牙波尔图，2007年9月10日至11日。修改选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-88832-1/pbk）。计算机科学课堂讲稿5056。《人工智能讲义》，193-213（2009）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Hezart}等人，Lect。注释计算。科学。5056193-213（2009年；Zbl 1175.68437）
全文： DOI程序
雷吉斯·里维雷特；安东尼诺·罗托洛

时间道义上的不可行逻辑：一种分析方法。 （英语） Zbl 1161.68790号

Casanovas，Pompeu（编辑）等人，《法律的可计算模型》。语言、对话、游戏、本体论。柏林：施普林格出版社（ISBN 978-3-540-85568-2/pbk）。计算机科学讲义4884。人工智能课堂讲稿，239-253（2008）。
MSC公司：68T27型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.Riveret}和\textit{A.Rotolo}，莱克特。注释计算。科学。4884，239--253（2008；Zbl 1161.68790）
全文： DOI程序
戈麦斯，塞尔吉奥·亚历杭德罗；卡洛斯·伊万·切斯尼瓦尔；吉列尔莫·里卡多·西马里

通过论证以网络形式进行可击败的推理。 （英语） Zbl 1159.68350号

国际信息技术杂志。Decis公司。制造商。 7，第1期，71-101（2008）.
MSC公司：68米10 68第05页 68第20页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Gómez}等人，《国际科技期刊》。Decis公司。制造商。7，第1号，第71-101条（2008；Zbl 1159.68350）
全文： DOI程序
圭多州长；安东尼诺·罗托洛

不断变化的法律制度：废除和废止。一： 修正可废止理论。 （英语） Zbl 1143.03306号

范德梅登，罗恩（编辑）等，《计算机科学中的道义逻辑》。第九届国际会议，DEON 2008，卢森堡，卢森堡，2008年7月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70524-6/pbk）。计算机科学课堂讲稿5076。人工智能课堂讲稿，3-18（2008）。
MSC公司：03A05号 03B60号 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{G.总督}和\textit{A.Rotolo}，莱克特。注释计算。科学。5076，3--18（2008；Zbl 1143.03306）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件