Pages that link to "Item:Q2799047"
From MaRDI portal
The following pages link to Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Q2799047):
Displayed 5 items.
- A monotone preservation result for Boolean queries expressed as a containment of conjunctive queries (Q2274499) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- (Q5094143) (← links)
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views (Q5886523) (← links)
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232) (← links)