×

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

最新的 引文 关联
杰拉尔多·西马里。;Martinez、Maria Vanina;斯利瓦，艾米;苏布拉曼尼亚，V.S。

在概率逻辑程序中集中最可能的世界计算。 （英语） Zbl 1260.68393号

安。数学。Artif公司。智力。 64，编号2-3，113-143（2012）.
审核人：Ion Iancu（克雷奥瓦）
MSC公司：68层37 68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{G.I.Simari}等人，《数学年鉴》。Artif公司。智力。64，编号2--3，113--143（2012；Zbl 1260.68393）
全文： 内政部
马蒂亚斯·布罗切勒;杰拉尔多·西马里。;苏布拉曼尼亚，V.S。

使用直方图更好地回答概率逻辑程序的查询。 （英语） Zbl 1251.68052号

Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649，40-54（2009）。
MSC公司：68N17号 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Broecheler}等人，Lect。注释计算。科学。5649、40-54（2009年；Zbl 1251.68052）
全文： 内政部
萨阿德、埃马德

关于混合概率逻辑程序与随机可满足性的关系。 （英语） Zbl 1245.68220号

Greco，Sergio（编辑）等，可扩展不确定性管理。第二届国际会议，2008年10月1日至3日，意大利那不勒斯，SUM 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87992-3/pbk）。计算机科学课堂讲稿5291。人工智能课堂讲稿，356-371（2008）。
MSC公司：68层37 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.Saad}，莱克特。注释计算。科学。5291、356--371（2008；Zbl 1245.68220）
全文： 内政部
马里奥·罗德里格斯-阿塔莱霍;卡洛斯·迪亚斯（Carlos A.Romero-Díaz）。

重温定量逻辑编程。 （英语） Zbl 1137.68341号

Garrigue，Jacques（编辑）等人，《函数和逻辑编程》。2008年4月14日至16日，第九届国际研讨会，FLOPS 2008，日本伊势。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78968-0/pbk）。计算机科学课堂讲稿4989，272-288（2008）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Rodríguez Artalejo｝和\textit｛C.A.Romero-Díaz｝，Lect。注释计算。科学。4989、272--288（2008年；Zbl 1137.68341）
全文： 内政部
萨阿德、埃马德

定性和定量推理的逻辑方法。 （英语） Zbl 1148.68538号

Mellouli，Khaled（编辑），不确定性推理的符号和定量方法。第九届欧洲会议，2007年10月31日至11月2日，ECSQARU，突尼斯哈马马特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75255-4/pbk）。计算机科学课堂讲稿4724。人工智能课堂讲稿，173-186（2007）。
MSC公司：68层37 68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.Saad}，莱克特。注释计算。科学。4724，173--186（2007；Zbl 1148.68538）
全文： 内政部
萨米尔·库勒;马丁内斯（M.Vanina Martinez）;瑙，达纳;斯利瓦，艾米;杰拉尔多·西马里。;苏布拉曼尼亚，V.S。

计算动作概率逻辑程序的最可能世界：（10^{30000}）世界的可缩放估计。 （英语） Zbl 1138.68054号

安。数学。Artif公司。智力。 51，编号2-4，295-331（2007）.
MSC公司：68T27型 68层37
PDF格式BibTeX公司 XML格式引用
\textit{S.Khuller}等人，《数学年鉴》。Artif公司。智力。51，编号2--4，295--331（2007；Zbl 1138.68054）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件