×

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

答案集编程变得简单。 (英语) Zbl 1529.68070号

Lopez-Garcia,Pedro(编辑)等人,《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13160, 133-150 (2023).
PDF格式BibTeX公司 XML格式引用

语法ASP忘记用叉子。 (英语) 兹伯利07671874

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 3-15 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一致等价下的句法遗忘。 (英语) Zbl 07437048号

Faber,Wolfgang(编辑)等人,《人工智能中的逻辑》。第17届欧洲会议,JELIA 2021,虚拟活动,2021年5月17日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12678, 297-312 (2021).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

针对采用半自动方法构建程序的答案集编程方法——扩展版和修订版。 (英语) Zbl 07516358号

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

筛选结果依据…

文档类型

出版年份

主字段