| The language features and architecture of B-Prolog NF Zhou Theory and Practice of Logic Programming 12 (1-2), 189-218, 2012 | 107 | 2012 |
| Efficient fixpoint computation in linear tabling NF Zhou, T Sato Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 99 | 2003 |
| Constraint solving and planning with Picat NF Zhou, H Kjellerstrand, J Fruhman Springer International Publishing, 2015 | 94 | 2015 |
| Implementation of a linear tabling mechanism NF Zhou, YD Shen, LY Yuan, JH You Practical Aspects of Declarative Languages: Second InternationalWorkshop …, 2000 | 88 | 2000 |
| Robust multi-agent path finding D Atzmon, R Stern, A Felner, G Wagner, R Barták, NF Zhou Proceedings of the international symposium on combinatorial search 9 (1), 2-9, 2018 | 75 | 2018 |
| Robust multi-agent path finding and executing D Atzmon, R Stern, A Felner, G Wagner, R Barták, NF Zhou Journal of Artificial Intelligence Research 67, 549-579, 2020 | 68 | 2020 |
| Linear tabling strategies and optimizations NF Zhou, T Sato, YD Shen Theory and Practice of Logic programming 8 (1), 81-109, 2008 | 58 | 2008 |
| Modeling and solving the multi-agent pathfinding problem in picat R Barták, NF Zhou, R Stern, E Boyarski, P Surynek 2017 IEEE 29th International Conference on Tools with Artificial …, 2017 | 56 | 2017 |
| Generative Modeling with Failure in PRISM. T Sato, Y Kameya, NF Zhou IJCAI, 847-852, 2005 | 52 | 2005 |
| Programming finite-domain constraint propagators in action rules NF Zhou Theory and Practice of Logic Programming 6 (5), 483-507, 2006 | 48 | 2006 |
| Parameter passing and control stack management in Prolog implementation revisited NF Zhou ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (6), 752-779, 1996 | 44 | 1996 |
| The picat-sat compiler NF Zhou, H Kjellerstrand Practical Aspects of Declarative Languages: 18th International Symposium …, 2016 | 42 | 2016 |
| Tackling NCD in LMIC: achievements and lessons learned from the NHLBI–UnitedHealth Global Health Centers of Excellence Program MM Engelgau, UK Sampson, C Rabadan-Diehl, R Smith, J Miranda, ... Global heart 11 (1), 5-15, 2016 | 38 | 2016 |
| Mode-directed tabling for dynamic programming, machine learning, and constraint solving NF Zhou, Y Kameya, T Sato 2010 22nd IEEE International Conference on Tools with Artificial …, 2010 | 38 | 2010 |
| Linear tabulated resolution based on Prolog control strategy YD Shen, LY Yuan, JH You, NF Zhou Theory and Practice of Logic Programming 1 (1), 71-103, 2001 | 37 | 2001 |
| Optimizing SAT encodings for arithmetic constraints NF Zhou, H Kjellerstrand Principles and Practice of Constraint Programming: 23rd International …, 2017 | 33 | 2017 |
| A tabled prolog program for solving sokoban NF Zhou, A Dovier Fundamenta Informaticae 124 (4), 561-575, 2013 | 29 | 2013 |
| Planning as tabled logic programming NF Zhou, R Barták, A Dovier Theory and Practice of Logic Programming 15 (4-5), 543-558, 2015 | 27 | 2015 |
| Efficient tabling of structured data with enhanced hash-consing NF Zhou, CT Have Theory and Practice of Logic Programming 12 (4-5), 547-563, 2012 | 25 | 2012 |
| A matching tree oriented abstract machine for Prolog NF Zhou, T Takagi, K Ushijima Logic programming, 159-173, 1990 | 24 | 1990 |
