×

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

最新的 引文 关联
恰基萨卡马；Tran Cao儿子

将逻辑程序和论证框架相互关联。 （英语） Zbl 07671898号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13416, 322-335 (2022).
MSC公司：68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{C.Sakama}和\textit{Tran Cao Son}，Lect。票据计算。科学。13416，322--335（2022；Zbl 07671898）
全文： 内政部
里卡多·贡萨阿尔维斯；汤米·詹胡宁；克诺尔，马蒂亚斯；约昂·莱特

一致等价下的句法遗忘。 （英语） 兹比尔07437048

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12678, 297-312 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Gonçalves}等人，Lect。票据计算。科学。12678、297--312（2021；Zbl 07437048）
全文： 内政部
克诺尔，马蒂亚斯；何塞·胡里奥·阿弗雷斯

在遗忘时保持强等价性。 （英语） Zbl 1432.68059号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8761, 412-425 (2014).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Knorr}和\textit{J.Alferes}，莱克特。票据计算。科学。8761、412--425（2014年；Zbl 1432.68059）
全文： 内政部
汤米·詹胡宁；伊尔卡·尼梅尔

在答案集程序转换中应用可见的强等价性。 （英语） 兹比尔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 1254.68248号

Tessaris，Sergio（编辑）等人，《推理网络》。信息系统的语义技术。2009年8月30日至9月4日，意大利布里森-布列萨诺2009年第五届国际暑期学校。辅导讲座。柏林：施普林格出版社（ISBN 978-3-642-03753-5/pbk）。计算机科学讲座笔记5689，40-110（2009）。
MSC公司：68立方英尺 68米11 68N17号 68T20型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Lect。票据计算。科学。5689、40-110（2009年；Zbl 1254.68248）
全文： 内政部
佩德罗·卡巴拉尔；谢尔盖·奥廷索夫；大卫·皮尔斯

良好且部分稳定的语义逻辑方面。 （英语） Zbl 1248.68128号

Frid，Anna（编辑）等人，《计算机科学——理论与应用》。2009年8月18日至23日，在俄罗斯新西伯利亚举行的第四届国际计算机科学研讨会，CSR 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03350-6/pbk）。计算机科学讲座笔记5675,1-11（2009）。
MSC公司：68N17号 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}等人，Lect。票据计算。科学。5675，1--11（2009年；Zbl 1248.68128）
全文： 内政部
鲍里斯·科涅夫；卡斯滕·卢茨；德克·沃尔特；弗兰克·沃尔特

模块化的形式属性。 （英语） Zbl 1242.68315号

Stuckenschmidt，Heiner（编辑）等人，《模块本体论》。知识模块化的概念、理论和技术。柏林：施普林格出版社（ISBN 978-3-642-01906-7/pbk）。计算机科学课堂讲稿5445，25-66（2009）。
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{B.Konev}等人，Lect。票据计算。科学。5445，25-66（2009年；兹比尔1242.68315）
全文： 内政部
特鲁什琴斯基，米洛斯奥；斯特凡·沃尔特兰

模块化编程逻辑程序的相对超等价。 （英语） 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公司：第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{M.Truszczyn ski}和\textit{S.Woltran}，莱克托。票据计算。科学。5366、576--590（2008年；Zbl 1185.68186）
全文： 内政部 链接
迈克尔·芬克

在这里和那里的逻辑中，通过反模型实现应答编程的等价性。 （英语） Zbl 1185.68157号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，99-113（2008）。
MSC公司：第68页第17页 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Fink}，莱克特。票据计算。科学。5366，99-113（2008；Zbl 1185.68157）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件