Pages that link to "Item:Q5449592"
From MaRDI portal
The following pages link to A Local Algorithm for Incremental Evaluation of Tabled Logic Programs (Q5449592):
Displaying 5 items.
- Incremental Tabling for Query-Driven Propagation of Logic Program Updates (Q2870163) (← links)
- Incremental Algorithms for Local Search from Existential Second-Order Logic (Q3524163) (← links)
- An Algorithm for Local Variable Elimination in Normal Logic Programs (Q5302880) (← links)
- Efficient Local Unfolding with Ancestor Stacks for Full Prolog (Q5458800) (← links)
- An Incremental Bisimulation Algorithm (Q5458835) (← links)