×

找到49份文件（结果1-49）

最新的 引文 关联
伊丽莎·伯尔；莎拉·爱丽丝·加格尔

金枪鱼——寻找不同的答案集：多热点权衡策略。 （英语） Zbl 07671881号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 89-102 (2022).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.Böhl}和\textit{S.A.Gaggl}，莱克特。注释计算。科学。13416，89-102（2022年；兹bl 07671881）
全文： 内政部
柴新伟；托尼·里贝罗；摩根·马根；奥利维尔·鲁克斯；井上，胜美

可达性问题的静态分析和随机搜索。 （英语） Zbl 1458.92032号

Gupta，Ankit（编辑）等人，《2018年SASB会议记录》，第九届静态分析和系统生物学国际研讨会，德国弗莱堡，2018年8月28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。350, 139-158 (2020).
MSC公司：第92页第42页 93个B03 93甲15
PDF格式BibTeX公司 XML格式引用
\textit{X.Chai}等人，《电子》。注释Theor。计算。科学。350、139--158（2020；Zbl 1458.92032）
全文： 内政部
苏·埃兹吉·伊拉兹

认知答案集编程。 （英语） Zbl 1525.68179号

Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11468, 608-626 (2019).
MSC公司：68T27型 03B42号 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{E.I.Su}，莱克特。注释计算。科学。11468608-626（2019年；兹比尔1525.68179）
全文： 内政部 链接
勒·蒂普；阮，Hieu；恩里科·蓬泰利；儿子Tran Cao

ASP at work:PhyloWS的ASP实现。 （英语） Zbl 1281.68066号

Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议（ICLP 2012）的技术交流，2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学会议录17，359-369，仅电子版（2012）。
MSC公司：68N17号 68第20页 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{T.Le}等人，LIPIcs——莱布尼茨国际程序。通知。17、359--369（2012；Zbl 1281.68066）
全文： 内政部
托马斯·艾特；迈克尔·芬克；托马斯·克伦瓦尔纳；克里斯托夫·雷德尔；彼得·舒勒

利用无根据集合进行HEX-program评估。 （英语） Zbl 1361.68030号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，160-175（2012）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Lect。注释计算。科学。7519、160-175（2012年；Zbl 1361.68030）
全文： 内政部
马里奥·阿尔维亚诺

析取数据日志程序的动态魔术集。 （英语） Zbl 1237.68211号

Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学会议录7，226-235，仅电子版（2010年）。
MSC公司：68立方英尺 68层37 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Alviano}，LIPIcs——莱布尼茨国际程序。通知。7、226--235（2010年；Zbl 1237.68211）
全文： 内政部 链接
雷切尔·本·埃利亚胡·佐哈里

重新访问量化逻辑程序。 （英语） Zbl 1226.68015号

Faber，Wolfgang（编辑）等人，《研讨会论文集》。ICLP 2008年答案集编程和其他计算范式研讨会（ASPOCP 2008），意大利乌迪内，Dcember 13，2008。【s.l.】，【s.n.】。61-74（2008）中所述。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛R.Ben Eliyahu Zohary｝，在：研讨会议事录。ICLP 2008年答案集编程和其他计算范式研讨会（ASPOCP 2008），意大利乌迪内，Dcember 13，2008。【s.l.】，【s.n.】。61-74（2008；Zbl 1226.68015）
全文： 链接
尼古拉·利昂；杰拉尔德·菲弗；沃尔夫冈·费伯；托马斯·艾特；格奥尔格·戈特洛布；西蒙娜·佩里；弗朗西斯科·斯卡切罗

用于知识表示和推理的DLV系统。 （英语） 兹比尔1367.68308

ACM事务处理。计算。日志。 7，第3期，499-562（2006）.
MSC公司：68立方英尺 68N17号 19年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{塞拉利昂}等人，ACM Trans。计算。日志。7，第3号，499--562（2006；Zbl 1367.68308）
全文： 内政部
沃尔夫冈·费伯；吉安路易吉·格雷科；尼古拉·利昂

魔术集及其在数据集成中的应用。 （英语） 兹比尔1112.68365

Eiter，Thomas（编辑）等人，数据库理论–ICDT 2005。第十届国际会议，英国爱丁堡，2005年1月5-7日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24288-0/pbk）。计算机科学讲座笔记3363306-320（2005）。
MSC公司：第68页，共15页 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{W.Faber}等人，Lect。注释计算。科学。3363、306--320（2005年；Zbl 1112.68365）
全文： 内政部
托马斯·艾特；沃尔夫冈·费伯；尼古拉·利昂；杰拉尔德·菲弗；Polleres，阿克塞尔

一种用于知识状态规划、语义和复杂性的逻辑编程方法。 （英语） Zbl 1367.68301号

ACM事务处理。计算。日志。 5，第2期，206-263（2004）.
MSC公司：68立方英尺 68N17号 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，《美国医学杂志》。计算。日志。5，第2号，206--263（2004；Zbl 1367.68301）
全文： 内政部
西比尔·施瓦兹

广义逻辑程序的选择器生成模型。（Selektor-erzeugte Modelle verallgemeinenter logischer程序。） （德语） Zbl 1101.68015号

莱比锡：莱比锡大学，Fakultät für Mathematik und Informatik（Diss.）。192页。(2004).
MSC公司：68N17号 68-02 68立方英尺 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Schwarz}，Selektor-erzeugte Modelle verallgemeinenter logischer程序。莱比锡：莱比锡大学，Fakultät für Mathematik und Informatik（2004；Zbl 1101.68015）
毛里西奥索里奥；胡安·安东尼奥·纳瓦罗；何塞·阿拉佐拉

A-Prolog的逻辑方法。 （英语） Zbl 1261.68039号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，巴西里约热内卢，里约热内卢天主教大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，284-295（2002）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Osorio}等人，《电子》。注释Theor。计算。科学。67284--295（2002年；Zbl 1261.68039）
全文： 内政部
王克文；周丽珠；林方珍

优先逻辑程序的交替不动点理论。 （英语） Zbl 0983.68025号

Lloyd，John（编辑）等人，《计算逻辑-CL 2000》。第一届国际会议，英国伦敦，2000年7月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1861, 164-178 (2000).
MSC公司：68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.Wang}等人，Lect。注释计算。科学。1861年、164年至178年（2000年；Zbl 0983.68025）
大卫·皮尔斯

答案集和构造逻辑。一： 单调数据库。 （英语） Zbl 0923.03046号

AndréFuhrmann等人，《逻辑、行动和信息》。哲学和人工智能中的逻辑论文。基于1992年秋季在德国康斯坦茨举行的一次会议。柏林：Walter de Gruyter。392-414 (1996).
审核人：S.H.Lee（首尔）
MSC公司：03B70号 第68页，共15页 68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.Pearce}，in：逻辑、动作和信息。哲学和人工智能中的逻辑论文。基于1992年秋季在德国康斯坦茨举行的一次会议。柏林：Walter de Gruyter。392-414（1996年；兹bl 0923.03046）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件