×

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

最新的 引文 关联
马里奥·阿尔维亚诺；多达罗，胭脂红；尼古拉·利昂；弗朗西斯科·里卡

WASP进展。 （英语） Zbl 1467.68021号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9345, 40-54 (2015).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Alviano}等人，Lect。票据计算。科学。9345，40-54（2015；Zbl 1467.68021）
全文： 内政部
里卡，F。；格拉索，G。；阿尔维亚诺，M。；M.曼纳。；V·利奥。；伊利塔诺，S。；北卡罗来纳州塞拉利昂。

在Gioia-Tauro海港通过答案集编程进行团队建设。 （英语） 兹比尔1250.90050

理论与实践。日志。程序。 12，第3期，361-381（2012）.
MSC公司：90比90 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{F.Ricca}等人，《理论与实践》。日志。程序。12，第3号，361--381（2012；Zbl 1250.90050）
全文： 内政部
沃尔夫冈·费伯；尼古拉·利昂；西蒙娜·佩里

DLV的智能接地器。 （英语） Zbl 1357.68032号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学课堂讲稿7265，247-264（2012）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛W.Faber｝等人，Lect。票据计算。科学。7265，247--264（2012；Zbl 1357.68032）
全文： 内政部
弗朗西斯科·卡利默里；苏珊娜·科萨；乔瓦姆巴蒂斯塔·伊安尼；尼古拉·利昂

ASP中的可计算函数：理论与实现。 （英语） Zbl 1185.68150号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。《计算机科学讲义》5366407-424（2008）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Calimeri}等人，Lect。票据计算。科学。5366、407--424（2008年；Zbl 1185.68150）
全文： 内政部
安娜玛丽亚·布里亚；沃尔夫冈·费伯；尼古拉·利昂

标准形式的嵌套程序。 （英语） Zbl 1178.68131号

Hölldobler，Steffen（编辑）等人，《人工智能中的逻辑》。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87802-5/pbk）。计算机科学课堂讲稿5293。人工智能课堂讲稿，76-88（2008）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Bria｝等人，Lect。票据计算。科学。5293，76-88（2008年；Zbl 1178.68131）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件