Finite Groundings for ASP with Functions: A Journey through Consistency
机构 * Knowledge-Based Systems Group, TU Dresden(图腾大学达姆施塔特分校知识系统小组) ; LIRMM, Inria, University of Montpellier, CNRS(里尔毫米研究所、法国国家信息与自动化技术研究院、蒙彼利埃大学、国家科学研究中心) ; Massachusetts Institute of Technology(麻省理工学院)
Comments to be published at IJCAI 2024