Efficient fixpoint computation in linear tabling NF Zhou, T Sato Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 104 | 2003 |
The language features and architecture of B-Prolog NF Zhou Theory and Practice of Logic Programming 12 (1-2), 189-218, 2012 | 103 | 2012 |
Constraint solving and planning with Picat NF Zhou, H Kjellerstrand, J Fruhman Springer International Publishing, 2015 | 90 | 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 | 67 | 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 | 62 | 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 | 52 | 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 | 45 | 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 |