Follow
Neng-Fa Zhou
Neng-Fa Zhou
Professor of Computer Science, The City University of New York
Verified email at sci.brooklyn.cuny.edu - Homepage
Title
Cited by
Cited by
Year
Efficient fixpoint computation in linear tabling
NF Zhou, T Sato
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
1062003
The language features and architecture of B-Prolog
NF Zhou
Theory and Practice of Logic Programming 12 (1-2), 189-218, 2012
1042012
Implementation of a linear tabling mechanism
NF Zhou, YD Shen, LY Yuan, JH You
Practical Aspects of Declarative Languages: Second InternationalWorkshop …, 2000
862000
Constraint solving and planning with Picat
NF Zhou, H Kjellerstrand, J Fruhman
Springer International Publishing, 2015
822015
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
592018
Linear tabling strategies and optimizations
NF Zhou, T Sato, YD Shen
Theory and Practice of Logic programming 8 (1), 81-109, 2008
572008
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
542020
Generative Modeling with Failure in PRISM.
T Sato, Y Kameya, NF Zhou
IJCAI, 847-852, 2005
532005
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
502017
Programming finite-domain constraint propagators in action rules
NF Zhou
Theory and Practice of Logic Programming 6 (5), 483-507, 2006
472006
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
431996
The picat-sat compiler
NF Zhou, H Kjellerstrand
Practical Aspects of Declarative Languages: 18th International Symposium …, 2016
402016
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
372010
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
362016
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
352001
Optimizing SAT encodings for arithmetic constraints
NF Zhou, H Kjellerstrand
Principles and Practice of Constraint Programming: 23rd International …, 2017
312017
A tabled prolog program for solving sokoban
NF Zhou, A Dovier
Fundamenta Informaticae 124 (4), 561-575, 2013
292013
Planning as tabled logic programming
NF Zhou, R Barták, A Dovier
Theory and Practice of Logic Programming 15 (4-5), 543-558, 2015
262015
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
262012
A matching tree oriented abstract machine for Prolog
NF Zhou, T Takagi, K Ushijima
Logic programming, 159-173, 1990
251990
The system can't perform the operation now. Try again later.
Articles 1–20