| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
PADL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
The Language Features and Architecture of B-Prolog |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You |
Compiling Answer Set Programs into Event-Driven Action Rules. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Agostino Dovier |
A Tabled Prolog Program for Solving Sokoban. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal, Neng-Fa Zhou |
Proceedings of CICLOPS-WLPE 2010 |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato |
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. |
ICTAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen |
Linear tabling strategies and optimizations. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen |
Linear Tabling Strategies and Optimizations |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
A Register-Free Abstract Prolog Machine with Jumbo Instructions. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Programming finite-domain constraint propagators in Action Rules. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Programming Finite-Domain Constraint Propagators in Action Rules |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou |
Generative Modeling with Failure in PRISM. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou |
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato |
Semi-naive evaluation in linear tabling. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization |
| 1 | Neng-Fa Zhou |
A Constraint-Based Graphics Library for B-Prolog. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
CGLIB - a constraint-based graphics library. |
Softw., Pract. Exper. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Taisuke Sato |
Efficient fixpoint computation in linear tabling. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
linear tabling, prolog, recursion, tabling, optimization techniques, memoization |
| 1 | Neng-Fa Zhou |
Implementing Constrant Solvers in B-Prolog. |
Intelligent Information Processing |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear tabulated resolution based on Prolog control strategy. |
TPLP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Action Rules for Programming Constraint Propagators and Interactive User Interfaces. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Action Rules for Programming Constraint Propagators and Interactive User Interfaces. |
INAP (LNCS Volume) |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library. |
ACM Symposium on Document Engineering |
2001 |
DBLP DOI BibTeX RDF |
action rules, agents, constraints, Prolog, programming languages, graphics programming, graphical user interface design |
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear Tabulated Resolution Based on Prolog Control Strategy |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
Implementation of a Linear Tabling Mechanism. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Sosuke Kaneko |
A Hybrid Algorithm for Compiling Equality Constraints and its Implementation. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
A Linear Tabling Mechanism. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Building Java Applets by Using DJ - A Java-based Constraint Language. (PDF / PS) |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
DJ, Java, Prolog, Layout, Constraint programming, Applet |
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear Tabulated Resolutions for the Well-Founded Semantics. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Parameter Passing and Control Stack Management in Prolog Implementation Revisited. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
prolog, abstract machine |
| 1 | Neng-Fa Zhou |
A Novel Implementation Method of Delay. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Channel Routing with Constraint Logic Programming and Delay. |
IEA/AIE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Isao Nagasawa, Masanobu Umeda, Keiichi Katamine, Toyohiko Hirota |
B-Prolog: A High Performance Prolog Compiler. |
IEA/AIE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
A Logic Programming Approach to Channel Routing. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
On the Scheme of Passing Arguments in Stack Frames for Prolog. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Global Optimizations in a Prolog Compiler for the TOAM. |
J. Log. Program. |
1993 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
On the Direct Parameter Passing Mechanism for Prolog Compilers. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching. |
ICTAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Isao Nagasawa |
Implementing Graph Algorithms in BeTa-Prolog. |
IWAR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima |
A Matching Tree Oriented Abstract Machine for Prolog. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")