Neng-Fa Zhou

Teaching |  Research | Publications | Software | Memberships | Contact

Tel. 1-718-951-5000 (ext.) 2073 Fax. 1-718-951-4842
Email: zhou [a_t_]

I am a professor of Computer and Information Science at Brooklyn College and Graduate Center of the City University of New York. I received a BS degree in Computer Science from Nanjing University, China, in 1984, and MS and PhD degrees in Computer Science and Engineering from Kyushu University, Japan, in 1988 and 1991, respectively. Before joining Brooklyn College, I was an associate professor at Kyushu Institute of Technology from 1991-1999. I had visiting positions at Yale University (1997), University of Alberta (1998), Tokyo Institute of Technology (2002), and Monash Univerisity/the University of Melbourne (2005). (See what ChatGPT says about me).

Program Committees and Events





Have a look at the list of publications on the DBLP server.

Manuscripts and slides


Journal and conferrence papers

  1. A Comparison of SAT Encodings for Acyclicity of Directed Graphs, SAT'23. (N.F. Zhou, R. Want, and R. Yap)

  2. Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat, ICLP, 2021.(N.F. Zhou)

  3. In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem, the 26rd International Conference on Principles and Practice of Constraint Programming, 585-602, 2020 (N.F. Zhou)

  4. Optimizing SAT Encodings for Arithmetic Constraints, the 23rd International Conference on Principles and Practice of Constraint Programming, 671-686, 2017 (N.F. Zhou and H. Kjellerstrand)

  5. Modeling and Solving the Multi-Agent Pathfinding Problem in Picat, ICTAI, 2017 (R. Bartak, N.F. Zhou, R. Stern, E. Boyarski, and P. Surynek)

  6. Canonicalizing High-Level Constructs in Picat (Most Practical Paper Award),Nineteenth International Symposium on Practical Aspects of Declarative Languages, 19-33, 2017 (N.F. Zhou and J. Fruhman)

  7. Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models, ICTAI'16, (R. Bartak, N.-F. Zhou, A. Dovier).

  8. Compiling and Executing PDDL in Picat, CILC 2016, 132-147 (M. De Bortoli, R. Bartak, A. Dovier, N.-F. Zhou)

  9. The Picat-SAT Compiler, Eighteenth International Symposium on Practical Aspects of Declarative Languages, 48-62, 2016 (N.F. Zhou and H. Kjellerstrand)

  10. Planning as Tabled Logic Programming, Theory and Practice of Logic Programming, 2015 ( N.-F. Zhou, R. Bartak, and A. Dovier)

  11. On modeling planning problems in tabled logic programming, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Pages 31-42, 2015 (R. Bartak, A. Dovier, N.-F. Zhou)

  12. Combinatorial Search With Picat, ICLP 2014, Invited talk (N.F. Zhou)

  13. Using Tabled Logic Programming to Solve the Petrobras Planning Problem, Theory and Practice of Logic Programming 2014 (R. Bartak and N.F. Zhou)

  14. A Tabled Prolog Program for Solving Sokoban, Fundamenta Informaticae, 2013 (N.F. Zhou and A. Dovier)

  15. Efficient Tabling of Structured Data with Enhanced Hash-Consing, Theory and Practice of Logic Programming, 2012 (N.F. Zhou and C.T. Have)

  16. The Language Features and Architecture of B-Prolog, Theory and Practice of Logic Programming, Special issue on Prolog systems, Vol. 12, nos.1-2, pp.189-218, 2012 (N.F. Zhou)

  17. Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations, CICLOPS, 2012 (N.F. Zhou and J. Fruhman)

  18. Compiling Answer Set Programs into Event-Driven Action Rules, LPNMR'11, (N.F. Zhou, Y.D. Shen, and J.H. You)

  19. Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving, ICTAI'10, (N.F. Zhou, Y. Kameya, and T. Sato)

  20. Encoding Table Constraints in CLP(FD) Based on Pair-wise AC, ICLP'09, pp.402-416, 2009 (N.F. Zhou)

  21. Linear Tabling Strategies and Optimizations, Theory and Practice of Logic Programming, Vol.8, No.1, pp.81-109, 2008 (N.F. Zhou, T. Sato, and Y.D. Shen)

  22. A Register-free Abstract Prolog Machine with Jumbo Instructions ( ICLP'07 poster and CUNY TR), 2007 (N.F. Zhou)

  23. Programming Finite-Domain Constraint Propagators in Action Rules, Theory and Practice of Logic Programming, Vol.6, No.5, pp.483-508, 2006 (N.F. Zhou)

  24. Generative modeling with failure in PRISM, IJCAI'05, pp.847-852 (T. Sato, Y. Kameya, and N.F. Zhou)

  25. Semi-naive Evaluation in Linear Tabling, ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP-04), Verona, pp.90-97 (N.F. Zhou, Y. Shen, and T. Sato)

  26. Yet More Efficient EM Learning for Parameterized Logic Programs through Intergoal Sharing, ECAI'2004, pp.490-494 (Y. Kameya, T. Sato, and N.F. Zhou)

  27. A Constraint-based Graphics Library for B-Prolog, poster and demo presentation at CP'2004, pp.819-820 (N.F. Zhou)

  28. Efficient Fixpoint Computation in Linear Tabling, ACM PPDP-03, pp.275-283, Uppsala (N.F. Zhou and T. Sato)

  29. CGLIB - A Constraint-based Graphics Library
    Software - Practice and Experience, Vol.33, No.13, pp.1199-1216, 2003 (N.F. Zhou)

  30. Toward a High-performance System for Symbolic and Statistical Modeling
    Proc. IJCAI Workshop on Learning Statistical Models from Relational Data, pp. 153-159, 2003 (N.F. Zhou, T. Sato, K. Hasida)

  31. Implementing Constraint Solvers in B-Prolog
    IFIP World Congress, Intelligent Information Processing, pp.249-260, Kluwer Academic Publishers, 2002 (N.F. Zhou)

  32. Action Rules for Programming Constraint Propagators and Interactive User Interfaces
    Tutorial given at INAP, extended abstract to appear in LNAI, 2002 (N.F. Zhou)

  33. Authoring Graphics-rich and Interactive Documents in CGLIB - A Constraint-based Graphics Library
    Proceedings of the ACM Symposium on Document Engineering, pp.28-38, November, 2001 (N.F. Zhou)

  34. A Linear Tabling Mechanism , The Journal of Functional and Logic Programming, 2001., Also appears in PADL'00, LNCS.1753, pp.109-123, 2000 (N.F. Zhou, Y.D. Shen, L. Yuan, and J. You)

  35. Linear Tabulated Resolution based on Prolog Control Strategy, Theory and Practice of Logic Programming, Vol.1, No.1, pp.71-103, 2001 (Y.D. Shen, L.Y. Yuan, J.H. You, N.F. Zhou)

  36. Garbage Collection in B-Prolog , Proc. of the First Workshop on Memory Management in Logic Programming Implementations, CL'2000, 2000 (N.F. Zhou)

  37. Building Java Applets by Using DJ -- A Java-based Constraint Language, Proc. of the IEEE COMPSAC'99, 442-447, 1999 (N.F. Zhou)

  38. A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints, Proc. Joint International Conference and Symposium on Logic Programming, pp.70-84, MIT Press, 1998 (N.F. Zhou)

  39. Parameter Passing and Control Stack Management in Prolog Implementation Revisited, ACM Transactions on Programming Languages and Systems, Vol.18, No.6, pp.752-779, November, 1996 (N.F. Zhou)

  40. A Novel Implementation Method for Delay, Joint Internatinal Conference and Symposium on Logic Programming, pp.97-111, MIT Press, 1996 (N.F. Zhou)

  41. Channel Routing with Constraint Logic Programming and Delay, The 9th International Conference on Industrial Applications of AI, pp.217-231, Gordon and Breach Science Publishers, 1996 (N.F. Zhou)

  42. On Translating Prolog Programs into C (In Japanese), JIPS Transactions on Information Processing, Vol.37, No.6, pp.1130-1137, 1996 (K. Katamine, T. Hirota, N.F. Zhou, and Isao Nagasawa)

  43. A Logic Programming Approach to Channel Routing
    Proc. 12th International Conference on Logic Programming, MIT Press,pp.217-231, 1995 (N.F. Zhou)

  44. On the Scheme of Passing Arguments in Stack Frames for Prolog
    Proc. Eleventh International Conference on Logic Programming, MIT Press, pp.159-174, 1994 (N.F. Zhou)

  45. An Efficient Finite-domain Constraint Solver in Beta-Prolog
    Journal of Japanese Society for Artificial Intelligence, Vol.9, pp.275-282, 1994 (N.F. Zhou and I. Nagasawa)

  46. Global Optimizations in a Prolog Compiler for the TOAM
    Journal of Logic Programming, pp.275-294, 1993 (N.F. Zhou)

  47. Beta-Prolog: An Exted Prolog with Boolean Tables for Combinatorial Search
    Proc. 5th IEEE International Conference on Tools with Artificial Intelligence, IEEE Computer Society, pp.312-319, November 1993 (N.F. Zhou)

  48. Bidirectional Inference of Mode Information for Logic Programs
    Trans. IEICE Japan, Vol.J73-DI,No.2, 1990 (In Japanese), English version appears in ``Systems and Computers in Japan'', Vol.5, No.1, 1991 (N.F. Zhou: T. Takagi, and K.Ushijima)

  49. A Matching Tree Oriented Abstract Machine for Prolog
    Proc. 7th International Conference on Logic Programming, MIT Press, pp.159-173, 1990 (N.F. Zhou: T. Takagi, and K.Ushijima)

Professional Memberships


Useful Commands


Contact me

        Department of Computer and Information Science
        Brooklyn College
        The City University of New York
        2900 Bedford Avenue, Brooklyn, NY 11210-2889
        zhou a_t_
        Tel. 1-718-951-5657 Fax. 1-718-951-4842