Neng-Fa Zhou

Neng-Fa Zhou, Jonathan Fruhman: Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations. CoRR abs/1301.7673 (2013)

Neng-Fa Zhou: The language features and architecture of B-Prolog. TPLP 12(1-2): 189-218 (2012)

Neng-Fa Zhou, Christian Theil Have: Efficient tabling of structured data with enhanced hash-consing. TPLP 12(4-5): 547-563 (2012)

Neng-Fa Zhou, Masato Tsuru, Eitaku Nobuyama: A Comparison of CP, IP, and SAT Solvers through a Common Interface. ICTAI 2012: 41-48

Claudio V. Russo, Neng-Fa Zhou (Eds.): Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7149, Springer 2012, isbn 978-3-642-27693-4

Neng-Fa Zhou, Christian Theil Have: Efficient Tabling of Structured Data with Enhanced Hash-Consing. CoRR abs/1210.1611 (2012)

Neng-Fa Zhou, Agostino Dovier: A Tabled Prolog Program for Solving Sokoban. CILC 2011: 215-228

Neng-Fa Zhou, Agostino Dovier: A Tabled Prolog Program for Solving Sokoban. ICTAI 2011: 896-897

Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You: Compiling Answer Set Programs into Event-Driven Action Rules. LPNMR 2011: 376-381

Neng-Fa Zhou: The Language Features and Architecture of B-Prolog. CoRR abs/1103.0812 (2011)

Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato: Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. ICTAI (2) 2010: 213-218

Germán Vidal, Neng-Fa Zhou: Proceedings of CICLOPS-WLPE 2010. CoRR abs/1009.4020 (2010)

Neng-Fa Zhou: Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. ICLP 2009: 402-416

Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear tabling strategies and optimizations. TPLP 8(1): 81-109 (2008)

Neng-Fa Zhou: A Register-Free Abstract Prolog Machine with Jumbo Instructions. ICLP 2007: 455-457

Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear Tabling Strategies and Optimizations. CoRR abs/0705.3468 (2007)

Neng-Fa Zhou: Programming finite-domain constraint propagators in Action Rules. TPLP 6(5): 483-507 (2006)

Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou: Generative Modeling with Failure in PRISM. IJCAI 2005: 847-852

Neng-Fa Zhou: Programming Finite-Domain Constraint Propagators in Action Rules. CoRR abs/cs/0506005 (2005)

Neng-Fa Zhou: A Constraint-Based Graphics Library for B-Prolog. CP 2004: 819-820

Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou: Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. ECAI 2004: 490-494

Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato: Semi-naive evaluation in linear tabling. PPDP 2004: 90-97

Neng-Fa Zhou: CGLIB - a constraint-based graphics library. Softw., Pract. Exper. 33(13): 1199-1216 (2003)

Neng-Fa Zhou, Taisuke Sato: Efficient fixpoint computation in linear tabling. PPDP 2003: 275-283

Neng-Fa Zhou: Implementing Constrant Solvers in B-Prolog. Intelligent Information Processing 2002: 249-260

Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. Journal of Functional and Logic Programming 2001(10) (2001)

Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear tabulated resolution based on Prolog control strategy. TPLP 1(1): 71-103 (2001)

Neng-Fa Zhou: Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library. ACM Symposium on Document Engineering 2001: 28-37

Neng-Fa Zhou: Action Rules for Programming Constraint Propagators and Interactive User Interfaces. INAP 2001: 57

Neng-Fa Zhou: Action Rules for Programming Constraint Propagators and Interactive User Interfaces. INAP (LNCS Volume) 2001: 197-204

Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123

Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolution Based on Prolog Control Strategy. CoRR cs.AI/0003046 (2000)

Neng-Fa Zhou, Sosuke Kaneko: A Hybrid Algorithm for Compiling Equality Constraints and its Implementation. Electr. Notes Theor. Comput. Sci. 30(2): 199-207 (1999)

Neng-Fa Zhou: Building Java Applets by Using DJ - A Java-based Constraint Language. COMPSAC 1999: 442-447

Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: A Linear Tabling Mechanism. ICLP 1999: 618

Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205

Neng-Fa Zhou: A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints. IJCSLP 1998: 70-84

Neng-Fa Zhou: Parameter Passing and Control Stack Management in Prolog Implementation Revisited. ACM Trans. Program. Lang. Syst. 18(6): 752-779 (1996)

Neng-Fa Zhou: A Novel Implementation Method of Delay. JICSLP 1996: 97-111

Neng-Fa Zhou: Channel Routing with Constraint Logic Programming and Delay. IEA/AIE 1996: 383-388

Neng-Fa Zhou, Isao Nagasawa, Masanobu Umeda, Keiichi Katamine, Toyohiko Hirota: B-Prolog: A High Performance Prolog Compiler. IEA/AIE 1996: 790

Neng-Fa Zhou: A Logic Programming Approach to Channel Routing. ICLP 1995: 217-231

Neng-Fa Zhou: On the Scheme of Passing Arguments in Stack Frames for Prolog. ICLP 1994: 159-174

Neng-Fa Zhou: Global Optimizations in a Prolog Compiler for the TOAM. J. Log. Program. 15(4): 275-294 (1993)

Neng-Fa Zhou: Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching. ICTAI 1993: 312-319

Neng-Fa Zhou: On the Direct Parameter Passing Mechanism for Prolog Compilers. ILPS 1993: 655

Neng-Fa Zhou, Isao Nagasawa: Implementing Graph Algorithms in BeTa-Prolog. IWAR 1992: 23-32

Neng-Fa Zhou, Kazuo Ushijima, Toshihisa Takagi: Bidirectional inference of mode information for logic programs. Systems and Computers in Japan 22(4): 1-9 (1991)

Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima: A Matching Tree Oriented Abstract Machine for Prolog. ICLP 1990: 159-173