ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2306.02521
  4. Cited By
Connecting Proof Theory and Knowledge Representation: Sequent Calculi
  and the Chase with Existential Rules

Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules

5 June 2023
Tim S. Lyon
Piotr Ostropolski-Nalewaja
    LRM
ArXiv (abs)PDFHTML

Papers citing "Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules"

Title
No papers