Education:
Ph.D., Kyushu University of Japan - 1991 (Computer Science)
Books and Publications
"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: Peer Reviewed Article) 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: Edited Book) 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: Peer Reviewed Article) 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: Other Article) 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: Peer Reviewed Article) 2009
"A Report on the B-Prolog CSP Solver." Proceedings of the Second International CSP Solver Competition: 89-95. (Books and Publications: Peer Reviewed Article) 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: Peer Reviewed Article) 2008
"A Register-free Abstract Prolog Machine With Jumbo Instructions." Proceedings of the International Conference on Logic Programming: 455-57. (Books and Publications: Peer Reviewed Article) 2007
"An Overview of B-Prolog." Association for Logic Programming Newsletter, May. (Books and Publications: Other Article) 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: Peer Reviewed Article) 2007
"Programming Finite-Domain Constraint Propagators in Action Rules." Theory and Practice of Logic Programming 6.5: 483-508. (Books and Publications: Peer Reviewed Article) 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: Peer Reviewed Article) 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: Peer Reviewed Article) 2005
Awards, Honors and Fellowships
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
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
Member, Program Committee, 9th International Colloquium on Implementation of Constraint and Logic Programming Systems. (Professional Leadership: Committee Service) 2009
