×

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

最新 引文 关联
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;科伦坡，基督徒;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço，Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯，朱利安;德米特里·特拉泰尔;亚历山大·韦斯

高级应用程序域（软件以外）的运行时验证挑战调查。 （英语） Zbl 1425.68268号

形式方法系统。设计。 54，第3号，279-335（2019）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Sánchez}等人，《形式方法系统》。设计。54，第3号，279--335（2019；Zbl 1425.68268）
全文： 内政部 arXiv公司
简·布罗森;斯蒂芬·克雷菲尔德;叶希亚·埃尔拉凯比;Dov Gabbay公司;大卫·格罗西;埃米利亚诺·洛里尼;家长，Xavier;范德托雷，Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦州施瓦岑特鲁伯

规范推理和结果。 （英语） Zbl 1482.68227号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 4，33-70（2013）。
MSC公司：68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{J.Broersen}等人，Dagstuhl Follow-Ups 4，33--70（2013；Zbl 1482.68227）
全文： 内政部
马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆

在SCIFF中集成溯源推理和约束优化。 （英语） Zbl 1251.68058号

Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649387-401（2009）。
MSC公司：68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Gavanelli}等人，Lect。注释计算。科学。5649387--401（2009年；Zbl 1251.68058）
全文： 内政部
沃哈·布莱尔;保罗·梅洛;马可·蒙塔利;保罗·托罗尼;尼古拉·赞诺

\（{\mathcal B}\）-对流层。面向代理的需求工程满足声明性业务流程建模和验证的计算逻辑。 （英语） Zbl 1175.68453号

Sadri，Fariba（编辑）等人，《多智能体系统中的计算逻辑》。第八届国际研讨会，CLIMA VIII，葡萄牙波尔图，2007年9月10日至11日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-88832-1/pbk）。计算机科学课堂讲稿5056。人工智能课堂讲稿，157-176（2009）。
MSC公司：68T42型 68T27型 60年第68季度 68单位35 90B99型
PDF格式BibTeX公司 XML格式引用
\textit{V.Bryl}等人，Lect。注释计算。科学。5056157--176（2009年；Zbl 1175.68453）
全文： 内政部
海宁·克里斯蒂安森

利用约束处理规则实现概率溯源逻辑规划。 （英语） Zbl 1229.68017号

Schrijvers，Tom（编辑）等人，《约束处理规则》。当前研究主题。柏林：施普林格出版社（ISBN 978-3-540-92242-1/pbk）。计算机科学课堂讲稿5388。人工智能课堂讲稿，85-118（2008）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{H.Christiansen}，莱克特。注释计算。科学。5388、85-118（2008年；Zbl 1229.68017）
全文： 内政部
马可·蒙塔利;保罗·托罗尼;马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛

使用逻辑编程验证声明性规范。 （英语） Zbl 1185.68419号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，440-454（2008）。
MSC公司：60年第68季度 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Montali}等人，Lect。注释计算。科学。53661440-454（2008年；兹比尔1185.68419）
全文： 内政部
伊芙琳娜·拉姆;保罗·梅洛;法布里西奥·里古齐;塞尔吉奥·斯托拉里

将归纳逻辑编程应用于过程挖掘。 （英语） Zbl 1136.68489号

Blockeel，Hendrik（编辑）等人，《感应逻辑编程》。2007年6月19日至21日在美国俄勒冈州科瓦利斯举行的第17届国际劳工大会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-78468-5/pbk）。计算机科学课堂讲稿4894。人工智能课堂讲稿，132-146（2008）。
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.Lamma}等人，Lect。注释计算。科学。4894、132--146（2008年；Zbl 1136.68489）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件