Guarded Negation Transitive Closure Logic

Documenti analoghi

• A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
  di: Figueira, Diego, et al.
  Pubblicazione: (2025)
• A Simple Algorithm for Consistent Query Answering under Primary Keys
  di: Figueira, Diego, et al.
  Pubblicazione: (2023)
• Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
  di: Figueira, Diego, et al.
  Pubblicazione: (2022)
• Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
  di: Nakamura, Yoshiki
  Pubblicazione: (2024)
• Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
  di: Nakamura, Yoshiki
  Pubblicazione: (2023)