×

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

最新 引文 关联
弗拉维奥·埃弗拉多;毛里西奥·奥索里奥

针对采用半自动方法构建程序的答案集编程方法——扩展版和修订版。 （英语） 兹伯利07516358

Pozos-Parra，Pilar（编辑）等人，《第十一届和第十二届拉丁美洲逻辑/语言、算法和新推理方法研讨会论文集》，LANMR，墨西哥普埃布拉，2018年11月15日和2019年11月十五日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。354, 29-44 (2020).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{F.Everardo}和\textit{M.Osorio}，电子。注释Theor。计算。科学。354、29-44（2020；Zbl 07516358）
全文： 内政部
迈克尔·莫拉克

认识论逻辑程序：一种不同的世界观。 （英语） Zbl 07453102号

Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）30652-64（2019年）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Morak}，电子。程序。西奥。计算。科学。（EPTCS）306、52--64（2019；Zbl 07453102）
全文： arXiv公司 链接
汤米·詹胡宁;伊尔卡·尼梅尔

为非单调推理量身定制的累积性。 （英语） Zbl 1432.68442号

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9060, 96-111 (2015).
MSC公司：68T27型 03B60号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{T.Janhunen}和\textit{I.Niemelä}，莱克特。注释计算。科学。9060，96-111（2015；Zbl 1432.68442）
全文： 内政部
马丁·斯洛塔;约昂·莱特

关于知识更新的统一观点。 （英语） Zbl 1362.68268号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。人工智能课堂讲稿，372-384（2012）。
MSC公司：68T27型 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Slota}和\textit{J.Leite}，莱克特。注释计算。科学。7519、372--384（2012年；Zbl 1362.68268）
全文： 内政部
汤米·詹胡宁;伊尔卡·尼梅尔

在答案集程序转换中应用可见强等价。 （英语） Zbl 1357.68037号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学课堂讲稿7265，363-379（2012）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{T.Janhunen}和\textit{I.Niemelä}，莱克特。注释计算。科学。7265，363--379（2012；Zbl 1357.68037）
全文： 内政部 链接
詹姆斯·德尔格兰德;托尔斯滕·绍布;汉斯·托姆皮茨;斯特凡·沃尔特兰

在答案集语义下合并逻辑程序。 （英语） Zbl 1251.68057号

Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649160-174（2009）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Delgrande}等人，Lect。注释计算。科学。5649160-174（2009年；兹比尔1251.68057）
全文： 内政部 链接
胡安·朱利安;奥德尔·帕皮尼;埃里克·沃贝尔

合并以逻辑程序为代表的信念基础。 （英语） Zbl 1245.68187号

Sossai，Claudio（编辑）等人，《不确定性推理的符号和定量方法》。第十届欧洲会议，ECSQARU 2009，意大利维罗纳，2009年7月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02905-9/pbk）。计算机科学课堂讲稿5590。人工智能课堂讲稿，371-382（2009）。
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Hué}等人，Lect。注释计算。科学。5590、371--382（2009年；Zbl 1245.68187）
全文： 内政部
西基、广岛

关于答案集语义中的否定展开。 （英语） 兹比尔1185.68183

Michael Hanus（编辑），基于逻辑的程序合成和转换。2008年7月17日至18日在西班牙巴伦西亚举行的2008年LOPSTR第18届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-00514-5/pbk）。计算机科学课堂讲稿5438，168-184（2009）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{H.Seki}，莱克特。注释计算。科学。5438、168--184（2009年；Zbl 1185.68183）
全文： 内政部
Johannes Oetsch;汉斯·托姆皮茨

答案集语义下的程序通信：非基础情况。 （英语） Zbl 1185.68173号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，591-605（2008）。
MSC公司：68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Oetsch}和\textit{H.Tompits}，莱克特。注释计算。科学。5366、591--605（2008年；Zbl 1185.68173）
全文： 内政部
特鲁什琴斯基，米洛斯奥;斯特凡·沃尔特兰

模块化编程逻辑程序的相对超等价。 （英语） Zbl 1185.68186号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366576-590（2008）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Truszczyn ski}和\textit{S.Woltran}，莱克托。注释计算。科学。5366、576--590（2008年；Zbl 1185.68186）
全文： 内政部 链接
约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰

在超等价条件下消除答题程序中的析取和否定。 （英语） Zbl 1185.68177号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，561-575（2008）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Pührer}等人，Lect。注释计算。科学。5366、561--575（2008年；Zbl 1185.68177）
全文： 内政部
马丁·格布瑟;托尔斯滕·绍布;汉斯·托姆皮茨;斯特凡·沃尔特兰

基于无基础集的答案集语义下程序等价性的替代特征。 （英语） Zbl 1138.68559号

Hartmann，Sven（编辑）等人，《信息和知识系统基础》。第五届国际研讨会，FoIKS 2008，意大利比萨，2008年2月11日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77683-3/pbk）。计算机科学课堂讲稿4932，24-41（2008）。
MSC公司：68T27型 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。4932，24-41（2008年；兹bl 1138.68559）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件