Neng‐Fa Zhou

Robust Multi-Agent Path Finding and Executing

Dor Atzmon, Roni Stern, Ariel Felner et al. · Journal of Artificial Intelligence Research · 2020 · 64 citations · Full text

Engineering, Field Robotics, Robust Mapf Plans +16

The language features and architecture of B-Prolog

Neng‐Fa Zhou · Theory and Practice of Logic Programming · 2011 · 62 citations

Engineering, Well-founded Semantics, Higher-order Logic +20

Linear tabling strategies and optimizations

Neng‐Fa Zhou, Taisuke Sato, Yi-Dong Shen · Theory and Practice of Logic Programming · 2007 · 41 citations

Mathematical Programming, Engineering, Looping Subgoals +19

Programming finite-domain constraint propagators in Action Rules

Neng‐Fa Zhou · Theory and Practice of Logic Programming · 2006 · 35 citations

Mathematical Programming, Engineering, Verification +17

Efficient fixpoint computation in linear tabling

Neng‐Fa Zhou, Taisuke Sato · 2003 · 34 citations

Mathematical Programming, Engineering, Compiler Technology +24