Default Negation for Non-Guarded Existential Rules
ACM SIGMOD Conference on Principles of DB Systems, pp. 79-90, 2015.
The problem of query answering under the well-founded and stable model semantics for normal existential rules, that is, existential rules enriched with default negation, has recently attracted a lot of interest from the database and KR communities. In particular, it has been thoroughly studied for classes of normal existential rules that ...More
Full Text (Upload PDF)
PPT (Upload PPT)