Pages that link to "Item:Q4930773"
From MaRDI portal
The following pages link to Tabling with Answer Subsumption: Implementation, Applications and Performance (Q4930773):
Displaying 10 items.
- Auto-tabling for subproblem presolving in MiniZinc (Q1701238) (← links)
- XSB: extending Prolog with tabled logic programming (Q2893097) (← links)
- Pre-indexed Terms for Prolog (Q2949716) (← links)
- (Q4535475) (← 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)
- One-hot conversion: towards faster table-based A2B conversion (Q6061537) (← links)