conftrace_

guarded existential rule

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

conjunctive regular path query (1) ontology-mediated queries (1) ontology-mediated query answering (1) stable model semantics (1) first-order rewritability (1) automata theory (1) logic programming (1) query answering (1) conjunctive query (1) answer set programming (1)

Papers

Query Answering with Guarded Existential Rules under Stable Model Semantics AAAI 2020 First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries IJCAI 2018 Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017