×

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

因果方程的相似阶。 (英文) Zbl 1432.03044号

Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 500-513 (2014).
MSC公司:03B60号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在答案集编程中表示因果计算器的语言。 (英文) Zbl 1245.68048号

Gallagher,John P.(编辑)等人,第27届逻辑编程国际会议的技术交流(ICLP 2011),美国肯塔基州列克星敦,2011年7月6日至10日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-31-6)。LIPIcs–莱布尼茨国际信息学会议录11,51-61,仅电子版(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

解释性非单调推理。 (英文) Zbl 1092.68092号

逻辑的进展4.新泽西州哈肯萨克:世界科学(ISBN 981-256-101-3/hbk;978-981-256-780-2/电子书)。xiv,408页。(2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段