Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2306.02521
Cited By
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
5 June 2023
Tim S. Lyon
Piotr Ostropolski-Nalewaja
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules"
Title
No papers