Neng-Fa Zhou

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A comparison of SAT encodings for acyclicity of directed graphs	2024-11-26	Paper
Robust multi-agent path finding and executing Journal of Artificial Intelligence Research	2020-05-14	Paper
Planning as tabled logic programming Theory and Practice of Logic Programming	2017-11-09	Paper
Using tabled logic programming to solve the Petrobras planning problem Theory and Practice of Logic Programming	2014-11-25	Paper
Efficient tabling of structured data with enhanced hash-consing Theory and Practice of Logic Programming	2013-03-13	Paper
The language features and architecture of B-Prolog Theory and Practice of Logic Programming	2012-06-25	Paper
Linear tabling strategies and optimizations Theory and Practice of Logic Programming	2008-01-21	Paper
Programming finite-domain constraint propagators in Action Rules Theory and Practice of Logic Programming	2006-08-28	Paper
Linear tabulated resolution based on Prolog control strategy Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 1964825 (Why is no real title available?)	2003-08-17	Paper
scientific article; zbMATH DE number 1950447 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1497825 (Why is no real title available?)	2001-03-05	Paper
scientific article; zbMATH DE number 1420802 (Why is no real title available?)	2000-03-22	Paper
Global Optimizations in a Prolog Compiler for the Toam The Journal of Logic Programming	1993-06-29	Paper

Research outcomes over time

This page was built for person: Neng-Fa Zhou