The following pages link to Neng-Fa Zhou (Q2893098):
Displayed 13 items.
- The language features and architecture of B-Prolog (Q2893099) (← links)
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem (Q2931274) (← links)
- (Q4413060) (← links)
- (Q4420277) (← links)
- Linear tabulated resolution based on Prolog control strategy (Q4452626) (← links)
- (Q4499247) (← links)
- Planning as tabled logic programming (Q4592996) (← links)
- Global Optimizations in a Prolog Compiler for the Toam (Q4696740) (← links)
- Efficient tabling of structured data with enhanced hash-consing (Q4911133) (← links)
- (Q4944866) (← links)
- Robust Multi-Agent Path Finding and Executing (Q5109900) (← links)
- Linear tabling strategies and optimizations (Q5437650) (← links)
- Programming finite-domain constraint propagators in Action Rules (Q5482274) (← links)