Partial Compilation of ASP Programs
Sign Up to like & getrecommendations! Published in 2019 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068419000231
Abstract: Abstract Answer Set Programming (ASP) is a well-known declarative formalism in logic programming. Efficient implementations made it possible to apply ASP in many scenarios, ranging from deductive databases applications to the solution of hard combinatorial… read more here.
Keywords: asp systems; asp; partial compilation; input program ... See more keywords
On the Semantics of Hybrid ASP Systems Based on Clingo
Sign Up to like & getrecommendations! Published in 2023 at "Algorithms"
DOI: 10.3390/a16040185
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 to provide… read more here.
Keywords: semantics; asp systems; clingo; systems based ... See more keywords