Neng-Fa Zhou
Professor
Computer and Information Science
Location: 1161a Ingersoll Hall
Phone: 718.951.5000 x2073
Fax: 718.951.4842
Email:
Neng-Fa Zhou's Web site
Neng-Fa Zhou 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, he was an associate professor at Kyushu Institute of Technology from 1991-1999. He had visiting positions at Yale University (1997), University of Alberta (1998), Tokyo Institute of Technology (2002), and Monash Univeristy/the University of Melbourne (2005).
Education:
Ph.D., Kyushu University of Japan - 1991 (Computer Science)
Areas of Expertise:
Neng-Fa Zhou has published papers on programming languages, constraint-solving, AI planning, graphics, and machine learning systems in leading journals and conferences. His papers on the compilation of logic programs, constraint solving, and tabling have received many citations. He is the principal designer and implementer of the B-Prolog and Picat systems. He served on the program committees of several leading conferences, including ICLP, IJCAI, AAAI, ECAI, and PADL.
Books and Publications
N.F. Zhou and H. Kjellerstrand, Optimizing SAT Encodings for Arithmetic Constraints, the 23rd International Conference on Principles and Practice of Constraint Programming, 671-686, 2017. (Books and Publications: Article (Peer-reviewed)) 2017
N.F. Zhou and J. Fruhmanm Canonicalizing High-Level Constructs in Picat, Nineteenth International Symposium on Practical Aspects of Declarative Languages, 19-33, 2016. (Books and Publications: Article (Peer-reviewed)) 2017
Roman Bartak, Neng-Fa Zhou, Roni Stern, Eli Boyarski, Pavel Surynek: Modeling and Solving the Multi-Agent Pathfinding Problem in Picat, ICTAI, 8 pages, 2017.
(Books and Publications: Article (Peer-reviewed)) 2017
N.F. Zhou and H. Kjellerstrand: The Picat-SAT Compiler, Eighteenth International Symposium on Practical Aspects of Declarative Languages, pp.48-62, 2016. (Books and Publications: Article (Peer-reviewed)) 2016
Roman Barták, Agostino Dovier, Neng-Fa Zhou: Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. ICTAI 2016: 91-97
(Books and Publications: Article (Peer-reviewed)) 2016
N.F. Zhou, H. Kjellerstrand, and J. Fruhman: Constraint Solving and Planning with Picat, Springer, 2015, ISBN:978-3-319-25881-2. (Books and Publications: Book (Authored)) 2015
N.F. Zhou, R. Bartak, and A. Dovier: Planning as Tabled Logic Programming, Journal of Theory and Practice of Logic Programming, 15(4-5), pp.543-558, 2015. (Books and Publications: Article (Peer-reviewed)) 2015
R. Bartak, A. Dovier, and N.F. Zhou: On modeling planning problems in logic programming, ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pp.31-42, 2015. (Books and Publications: Article (Peer-reviewed)) 2015
Bartak, R. and N.F. Zhou. "Using Tabled Logic Programming to Solve the Petrobras Planning Problem." Theory and Practice of Logic Programming 14.4-5: 697-710. (Books and Publications: Article (Peer-reviewed)) 2014
Zhou, N.F. and A. Dovier. "A Tabled Prolog Program for Solving Sokoban." Fundamenta Informaticae 124.4: 561-75. (Books and Publications: Article (Peer-reviewed)) 2013
"The Language Features and Architecture of B-Prolog." Theory and Practice of Logic Programming: Special Issue on Prolog Systems 12.1-2: 189-218. (Books and Publications: Article (Peer-reviewed)) 2012
Russo, Claudio V. and Neng-Fa Zhou. Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Springer. (Books and Publications: Book (Edited)) 2012
Zhou, N.F., Y.D. Shen and J.H. You. "Compiling Answer Set Programs Into Event-Driven Action Rules." Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning. (Books and Publications: Article (Peer-reviewed)) 2011
Zhou, Neng-Fa, Agostino Dovier, and Yuanlin Zhang. "BPSolver's Solutions to the Third ASP Competition Problems." Association of Logic Programming Newsletter, June. (Books and Publications: Article (Other)) 2011
"Encoding Table Constraints in CLP(FD) Based on Pair-wise AC." Proceedings of the International Conference on Logic Programming: 402-16. (Books and Publications: Article (Peer-reviewed)) 2009
"A Report on the B-Prolog CSP Solver." Proceedings of the Second International CSP Solver Competition: 89-95. (Books and Publications: Article (Peer-reviewed)) 2008
Zhou, N.F., T. Sato and Y.D. Shen. "Linear Tabling Strategies and Optimizations." Theory and Practice of Logic Programming 8.1: 81-109. (Books and Publications: Article (Peer-reviewed)) 2008
"A Register-free Abstract Prolog Machine With Jumbo Instructions." Proceedings of the International Conference on Logic Programming: 455-57. (Books and Publications: Article (Peer-reviewed)) 2007
"An Overview of B-Prolog." Association for Logic Programming Newsletter, May. (Books and Publications: Article (Other)) 2007
Kameya, Y., T. Sato, N.F. Zhou and Y. Izumi. "PRISM: A Logic Programming Language and System for Probabilistic Modeling" (in Japanese). Computer Software 24.4: 2-22. (Books and Publications: Article (Peer-reviewed)) 2007
"Programming Finite-Domain Constraint Propagators in Action Rules." Theory and Practice of Logic Programming 6.5: 483-508. (Books and Publications: Article (Peer-reviewed)) 2006
Sato, T., Y. Kameya and N.F. Zhou. "Generative Modeling With Failure in PRISM." Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, July 30-Aug. 5, 2005: 847-52. (Books and Publications: Article (Peer-reviewed)) 2005
Zhou, N.F. and M. Wallace. "A Simple Constraint Solver in Action Rules for the CP'05 Solver Competition." Proceedings of the Second International Workshop on Constraint Propagation and Implementation Held in Conjunction With Eleventh International Conference on Principles and Practice of Constraint Programming (CP'2005): 1-6. (Books and Publications: Article (Peer-reviewed)) 2005
Awards, Honors and Fellowships
NSF, CCF, $385,855., From Declarative Specifications of Search Problems to Efficient Solutions. (Awards and Honors) 2016
NSF, for "An Integrated Parallel Constraint Programming Platform for Combinatorial Search Problems." 2010-13. (Grants and Fellowships) 2010
The International B-Prolog Team won second place in the P category in the second ASP Solvers Competition. (Awards and Honors) 2009
Winner of two categories in the Second International Solvers Competition, BPrologCSPSolver. (Awards and Honors) 2007
Research Activities
Member, Program Committee, 25th International Conference on Logic Programming. 2009
Conferences, Seminars and Symposiums
N.F. Zhou, Programming in Picat, Tutorial, Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016) (Conferences, Seminars and Symposiums: Conference Presentation) 2016
"Combinatorial Search With Picat." ICLP. http://arxiv.org/abs/1405.2538. (Conferences, Seminars and Symposiums: Invited Talk) 2014
Zhou, Neng-Fa and Agostino Dovier. "A Tabled Prolog Program for Solving Sokoban." 23rd IEEE International Conference on Tools with Artificial Intelligence. (Conferences, Seminars and Symposiums: Conference Presentation) 2011
Zhou, N.F., Y. Kameya and T. Sato. "Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving." 22th International Conference on Tools With Artificial Intelligence. (Conferences, Seminars and Symposiums: Conference Presentation) 2010
"AR (Action Rules): The Language, Implementation and Applications." Cassini Imaging Central Laboratory for Operations Conference. (Conferences, Seminars and Symposiums: Invited Talk) 2006
Professional Leadership
16th International Colloquium on Implementation of Constraint and LOgic Programming Systems (Professional Leadership: Committee Service) 2018
5th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (Professional Leadership: Committee Service) 2018
ICLP 2018 - 34th International Conference on Logic Programming (Professional Leadership: Committee Service) 2018
PADL 2018 20th International Symposium on Practical Aspects of Declarative Languages (Professional Leadership: Committee Service) 2018
RuleML+RR 2018, 2nd International Joint Conference on Rules and Reasoning (Professional Leadership: Committee Service) 2018
International Joint Conference on Artificial Intelligence (Professional Leadership: Committee Service) 2017
International Conference on Logic Programming (Professional Leadership: Committee Service) 2017
25th International Joint Conference on Artificial Intelligence (Professional Leadership: Committee Service) 2016
32nd International Conference on Logic Programming (ICLP'16), general co-chair. (Professional Leadership: Committee Service) 2016
Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016) (Professional Leadership: Committee Service) 2016
31st International Conference on Logic Programming (ICLP 2015) (Professional Leadership: Committee Service) 2015
Seventeenth International Symposium on Practical Aspects of Declarative Languages (PADL'15) (Professional Leadership: Committee Service) 2015
Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15) (Professional Leadership: Committee Service) 2015
Member, Program Committee, 9th International Colloquium on Implementation of Constraint and Logic Programming Systems. (Professional Leadership: Committee Service) 2009
