Neng-Fa Zhou

Available identifiers

zbMath Open zhou.neng-faMaRDI QIDQ2893098

List of research outcomes

Publication	Date of Publication	Type
Robust Multi-Agent Path Finding and Executing	2020-05-14	Paper
Planning as tabled logic programming	2017-11-09	Paper
Using Tabled Logic Programming to Solve the Petrobras Planning Problem	2014-11-25	Paper
Efficient tabling of structured data with enhanced hash-consing	2013-03-13	Paper
The language features and architecture of B-Prolog	2012-06-25	Paper
Linear tabling strategies and optimizations	2008-01-21	Paper
Programming finite-domain constraint propagators in Action Rules	2006-08-28	Paper
Linear tabulated resolution based on Prolog control strategy	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4420277	2003-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4413060	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4499247	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4944866	2000-03-22	Paper
Global Optimizations in a Prolog Compiler for the Toam	1993-06-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Neng-Fa Zhou