Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Implementation of a Linear Tabling Mechanism
- Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
- Computer ScienceJ. Funct. Log. Program.
- 2001
TLDR
The language features and architecture of B-Prolog
- Neng-Fa Zhou
- Computer ScienceTheory and Practice of Logic Programming
- 3 March 2011
TLDR
Constraint Solving and Planning with Picat
- Neng-Fa Zhou, Håkan Kjellerstrand, J. Fruhman
- Computer ScienceSpringerBriefs in Intelligent Systems
- 7 November 2015
This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in…
Generative Modeling with Failure in PRISM
- Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou
- Computer ScienceIJCAI
- 30 July 2005
TLDR
Toward a High-performance System for Symbolic and Statistical Modeling
- Neng-Fa Zhou, Taisuke Sato
- Computer Science
- 2002
TLDR
Linear tabling strategies and optimizations
- Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
- Computer ScienceTheory and Practice of Logic Programming
- 23 May 2007
TLDR
Global Optimizations in a Prolog Compiler for the TOAM
- Neng-Fa Zhou
- Computer ScienceJ. Log. Program.
- 1 April 1993
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
- Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato
- Computer Science22nd IEEE International Conference on Tools with…
- 27 October 2010
TLDR
Programming finite-domain constraint propagators in Action Rules
- Neng-Fa Zhou
- Computer ScienceTheory and Practice of Logic Programming
- 1 June 2005
TLDR
Robust Multi-Agent Path Finding and Executing
- Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, R. Barták, Neng-Fa Zhou
- Computer ScienceJ. Artif. Intell. Res.
- 12 March 2020
TLDR
...
1
2
3
4
5
...