| Efficient fixpoint computation in linear tabling NF Zhou, T Sato Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 105 | 2003 |
| The language features and architecture of B-Prolog NF Zhou Theory and Practice of Logic Programming 12 (1-2), 189-218, 2012 | 104 | 2012 |
| Constraint solving and planning with Picat NF Zhou, H Kjellerstrand, J Fruhman Springer International Publishing, 2015 | 92 | 2015 |
| Implementation of a linear tabling mechanism NF Zhou, YD Shen, LY Yuan, JH You Practical Aspects of Declarative Languages: Second InternationalWorkshop …, 2000 | 87 | 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 | 73 | 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 | 64 | 2020 |
| Linear tabling strategies and optimizations NF Zhou, T Sato, YD Shen Theory and Practice of Logic programming 8 (1), 81-109, 2008 | 56 | 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 | 53 | 2017 |
| Generative Modeling with Failure in PRISM. T Sato, Y Kameya, NF Zhou IJCAI, 847-852, 2005 | 51 | 2005 |
| Programming finite-domain constraint propagators in action rules NF Zhou Theory and Practice of Logic Programming 6 (5), 483-507, 2006 | 46 | 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 | 40 | 2016 |
| 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 |
| 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 | 36 | 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 | 36 | 2010 |
| Optimizing SAT encodings for arithmetic constraints NF Zhou, H Kjellerstrand Principles and Practice of Constraint Programming: 23rd International …, 2017 | 32 | 2017 |
| A tabled prolog program for solving sokoban NF Zhou, A Dovier Fundamenta Informaticae 124 (4), 561-575, 2013 | 28 | 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 | 25 | 1990 |
