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_] sci.brooklyn.cuny.edu
        



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 Univeristy/the University of Melbourne (2005).

Conferences and events

Teaching

I am on sabbatical from Fall 2014 to Summer 2015.

Research

Software

Publications

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

Manuscripts and slides


Journal and conferrence papers

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

  2. Using Tabled Logic Programming to Solve the Petrobras Planning Problem, TPLP 2014 (R. Barták and N.F. Zhou).

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

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

  5. 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).

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

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

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

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

  10. 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).

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

  12. 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).

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

  14. 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).

  15. 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).

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

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

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

  19. 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)

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

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

  22. 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).

  23. 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).

  24. 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).

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

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

  27. 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).

  28. 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).

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

  30. 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)

  31. 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).

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

  33. 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).

  34. 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).

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

  36. 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).

  37. 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).

  38. 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

Bookmarks

Useful Commands

Hobbies

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_ sci.brooklyn.cuny.edu
        Tel. 1-718-951-5657 Fax. 1-718-951-4842