2024
Finite Groundings for ASP with Functions: A Journey through Consistency
IJCAI 2024poster
Answer set programming (ASP) is a logic programming formalism used in various areas of artificial intelligence like combinatorial problem solving and knowledge representation and reasoning. It is known that enhancing ASP with function symbols makes basic reasoning problems highly undecidable. Howeve…