The following pages link to Logic Programming (Q5191493):
Displaying 6 items.
- Incremental Tabling for Query-Driven Propagation of Logic Program Updates (Q2870163) (← links)
- Incremental Tabling in Support of Knowledge Representation and Reasoning (Q2931264) (← links)
- Solving Multiple Dataflow Queries Using WPDSs (Q3522064) (← links)
- Retroactive Subsumption-Based Tabled Evaluation of Logic Programs (Q4930760) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
- An Incremental Bisimulation Algorithm (Q5458835) (← links)