Volume: Vol-3835 NMR 2024 | Year: 2024

Paper: « paper18 | short1

Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)

• Lukas Gerlach 0002 ORCID dblp
• David Carral ORCID dblp
• Markus Hecher ORCID dblp Wikidata

183-186 PDF