Neng-Fa Zhou

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 19

Top Topics

Logic Programming

Combinatorial Search

Top Venues

Theory Pract. Log. Program.

Publications

Neng-Fa Zhou
Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination (Short Paper). CP (2024)
Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap
A Comparison of SAT Encodings for Acyclicity of Directed Graphs. SAT (2023)
Neng-Fa Zhou
Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat. ICLP Technical Communications (2021)
Neng-Fa Zhou
In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem. CP (2020)
Neng-Fa Zhou
Yet Another Comparison of SAT Encodings for the At-Most-K Constraint. CoRR (2020)
Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou
Robust Multi-Agent Path Finding and Executing. J. Artif. Intell. Res. 67 (2020)
Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou
Robust Multi-Agent Path Finding. SOCS (2018)
Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou
Robust Multi-Agent Path Finding. AAMAS (2018)
Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Sci. Comput. Program. 147 (2017)
Neng-Fa Zhou, Jonathan Fruhman
Canonicalizing High-Level Constructs in Picat. PADL (2017)
Neng-Fa Zhou, Roman Barták
// Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding. ICLP (Technical Communications) (2017)
Dor Atzmon, Ariel Felner, Roni Stern, Glenn Wagner, Roman Barták, Neng-Fa Zhou
k-Robust Multi-Agent Path Finding. SOCS (2017)
Neng-Fa Zhou, Håkan Kjellerstrand
Optimizing SAT Encodings for Arithmetic Constraints. CP (2017)
Roman Barták, Neng-Fa Zhou, Roni Stern, Eli Boyarski, Pavel Surynek
Modeling and Solving the Multi-agent Pathfinding Problem in Picat. ICTAI (2017)
Roman Barták, Neng-Fa Zhou, Agostino Dovier
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. KnowProS@IJCAI (2016)
Neng-Fa Zhou
Programming in Picat. RuleML (2016)
Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou
Compiling and Executing PDDL in Picat. CILC (2016)
Roman Barták, Agostino Dovier, Neng-Fa Zhou
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. ICTAI (2016)
Neng-Fa Zhou, Håkan Kjellerstrand
The Picat-SAT Compiler. PADL (2016)
Roman Barták, Agostino Dovier, Neng-Fa Zhou
On modeling planning problems in tabled logic programming. PPDP (2015)
Neng-Fa Zhou, Roman Barták, Agostino Dovier
Planning as tabled logic programming. Theory Pract. Log. Program. 15 (4-5) (2015)
Neng-Fa Zhou, Roman Barták, Agostino Dovier
Planning as Tabled Logic Programming. CoRR (2015)
Roman Barták, Neng-Fa Zhou
Using Tabled Logic Programming to Solve the Petrobras Planning Problem. Theory Pract. Log. Program. 14 (4-5) (2014)
Neng-Fa Zhou
Combinatorial Search With Picat. CoRR (2014)
Roman Barták, Neng-Fa Zhou
Using Tabled Logic Programming to Solve the Petrobras Planning Problem. CoRR (2014)
Neng-Fa Zhou
Picat: A Scalable Logic-based Language and System (Invited talk). SLATE (2013)
Neng-Fa Zhou, Jonathan Fruhman
Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations CoRR (2013)
Roman Barták, Neng-Fa Zhou
On Modeling Planning Problems: Experience from the Petrobras Challenge. MICAI (2) (2013)
Neng-Fa Zhou, Agostino Dovier
A Tabled Prolog Program for Solving Sokoban. Fundam. Informaticae 124 (4) (2013)
Neng-Fa Zhou, Christian Theil Have
Efficient tabling of structured data with enhanced hash-consing. Theory Pract. Log. Program. 12 (4-5) (2012)
Neng-Fa Zhou
The language features and architecture of B-Prolog. Theory Pract. Log. Program. 12 (1-2) (2012)
Neng-Fa Zhou, Christian Theil Have
Efficient Tabling of Structured Data with Enhanced Hash-Consing CoRR (2012)
Neng-Fa Zhou, Masato Tsuru, Eitaku Nobuyama
A Comparison of CP, IP, and SAT Solvers through a Common Interface. ICTAI (2012)
Neng-Fa Zhou, Agostino Dovier
A Tabled Prolog Program for Solving Sokoban. ICTAI (2011)
Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You
Compiling Answer Set Programs into Event-Driven Action Rules. LPNMR (2011)
Neng-Fa Zhou
The Language Features and Architecture of B-Prolog CoRR (2011)
Neng-Fa Zhou, Agostino Dovier
A Tabled Prolog Program for Solving Sokoban. CILC (2011)
Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. ICTAI (2) (2010)
Germán Vidal, Neng-Fa Zhou
Proceedings of CICLOPS-WLPE 2010 CoRR (2010)
Neng-Fa Zhou
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. ICLP (2009)
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
Linear tabling strategies and optimizations. Theory Pract. Log. Program. 8 (1) (2008)
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
Linear Tabling Strategies and Optimizations CoRR (2007)
Neng-Fa Zhou
A Register-Free Abstract Prolog Machine with Jumbo Instructions. ICLP (2007)
Neng-Fa Zhou
Programming finite-domain constraint propagators in Action Rules. Theory Pract. Log. Program. 6 (5) (2006)
Neng-Fa Zhou
Programming Finite-Domain Constraint Propagators in Action Rules CoRR (2005)
Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou
Generative Modeling with Failure in PRISM. IJCAI (2005)
Neng-Fa Zhou
A Constraint-Based Graphics Library for B-Prolog. CP (2004)
Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato
Semi-naive evaluation in linear tabling. PPDP (2004)
Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. ECAI (2004)
Neng-Fa Zhou
CGLIB - a constraint-based graphics library. Softw. Pract. Exp. 33 (13) (2003)
Neng-Fa Zhou, Taisuke Sato
Efficient fixpoint computation in linear tabling. PPDP (2003)
Neng-Fa Zhou
Implementing Constrant Solvers in B-Prolog. Intelligent Information Processing (2002)
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
Linear tabulated resolution based on Prolog control strategy. Theory Pract. Log. Program. 1 (1) (2001)
Neng-Fa Zhou
Action Rules for Programming Constraint Propagators and Interactive User Interfaces. INAP (LNCS Volume) (2001)
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
Implementation of a Linear Tabling Mechanism. J. Funct. Log. Program. 2001 (10) (2001)
Neng-Fa Zhou
Action Rules for Programming Constraint Propagators and Interactive User Interfaces. INAP (2001)
Neng-Fa Zhou
Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library. ACM Symposium on Document Engineering (2001)
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
Linear Tabulated Resolution Based on Prolog Control Strategy CoRR (2000)
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
Implementation of a Linear Tabling Mechanism. PADL (2000)
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR (1999)
Neng-Fa Zhou, Sosuke Kaneko
A Hybrid Algorithm for Compiling Equality Constraints and its Implementation. Electron. Notes Theor. Comput. Sci. 30 (2) (1999)
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
A Linear Tabling Mechanism. ICLP (1999)
Neng-Fa Zhou
Building Java Applets by Using DJ - A Java-based Constraint Language. COMPSAC (1999)
Neng-Fa Zhou
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints. IJCSLP (1998)
Neng-Fa Zhou
Parameter Passing and Control Stack Management in Prolog Implementation Revisited. ACM Trans. Program. Lang. Syst. 18 (6) (1996)
Neng-Fa Zhou
Channel Routing with Constraint Logic Programming and Delay. IEA/AIE (1996)
Neng-Fa Zhou, Isao Nagasawa, Masanobu Umeda, Keiichi Katamine, Toyohiko Hirota
B-Prolog: A High Performance Prolog Compiler. IEA/AIE (1996)
Neng-Fa Zhou
A Novel Implementation Method of Delay. JICSLP (1996)
Neng-Fa Zhou
A Logic Programming Approach to Channel Routing. ICLP (1995)
Neng-Fa Zhou
On the Scheme of Passing Arguments in Stack Frames for Prolog. ICLP (1994)
Neng-Fa Zhou
On the Direct Parameter Passing Mechanism for Prolog Compilers. ILPS (1993)
Neng-Fa Zhou
Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching. ICTAI (1993)
Neng-Fa Zhou
Global Optimizations in a Prolog Compiler for the TOAM. J. Log. Program. 15 (4) (1993)
Neng-Fa Zhou, Isao Nagasawa
Implementing Graph Algorithms in BeTa-Prolog. IWAR (1992)
Neng-Fa Zhou, Kazuo Ushijima, Toshihisa Takagi
Bidirectional inference of mode information for logic programs. Systems and Computers in Japan 22 (4) (1991)
Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima
A Matching Tree Oriented Abstract Machine for Prolog. ICLP (1990)