Listar por tema "answer set programming modulo theories"
Mostrando ítems 1-1 de 1
-
On the semantics of hybrid ASP systems based on Clingo
(MDPI, 2023-03)[Abstract]: Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult ...