×

找到11个文档(结果1-11)

基于回溯包容的逻辑程序表评估。 (英语) Zbl 1306.68006号

Janhunen,Tomi(编辑)等人,《人工智能中的逻辑》。第十二届欧洲会议,JELIA 2010,芬兰赫尔辛基,2010年9月13-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15674-8/pbk)。计算机科学课堂讲稿6341。人工智能课堂讲稿,130-142(2010)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用演绎数据库系统对逻辑程序进行高效且可扩展的归纳。 (英语) Zbl 1201.68086号

Stephen Muggleton等人,《归纳逻辑编程》。2006年8月24日至27日在西班牙圣地亚哥举行的第16届国际劳工大会。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-540-73846-6/pbk)。计算机科学课堂讲稿4455。人工智能课堂讲稿,184-198(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段