Guarded tuple-generating dependencies (GTGDs) are a natural extension of...
Conjunctive query (CQ) answering over knowledge bases is an important
re...
Logic-based paradigms are nowadays widely used in many different fields,...
Answer Set Programming (ASP) is a well-established declarative problem
s...