Answer set programming; Logic programming; Non-monotonic reasoning

GASP: Answer Set Programming with Lazy Grounding

In recent years, Answer Set Programming has gained popularity as a viable paradigm for applications in knowledge representation and reasoning. This paper presents a novel methodology to compute answer sets of an answer set program. The proposed …