Pages that link to "Item:Q4930773"
From MaRDI portal
The following pages link to Tabling with Answer Subsumption: Implementation, Applications and Performance (Q4930773):
Displaying 7 items.
- XSB: Extending Prolog with Tabled Logic Programming (Q2893097) (← links)
- Pre-indexed Terms for Prolog (Q2949716) (← links)
- Fixpoint semantics and optimization of recursive Datalog programs with aggregates (Q4592728) (← links)
- Tabling with Sound Answer Subsumption (Q4593070) (← links)
- Description, Implementation, and Evaluation of a Generic Design for Tabled CLP (Q4957184) (← links)
- (Q5020972) (← links)
- Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP (Q5108525) (← links)
