Folgen
Neng-Fa Zhou
Neng-Fa Zhou
Professor of Computer Science, The City University of New York
Bestätigte E-Mail-Adresse bei sci.brooklyn.cuny.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Efficient fixpoint computation in linear tabling
NF Zhou, T Sato
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
1132003
The language features and architecture of B-Prolog
NF Zhou
Theory and Practice of Logic Programming 12 (1-2), 189-218, 2012
962012
Implementation of a linear tabling mechanism
NF Zhou, YD Shen, LY Yuan, JH You
International Symposium on Practical Aspects of Declarative Languages, 109-123, 2000
872000
Constraint solving and planning with Picat
NF Zhou, H Kjellerstrand, J Fruhman
Springer International Publishing, 2015
702015
Linear tabling strategies and optimizations
NF Zhou, T Sato, YD Shen
Theory and Practice of Logic programming 8 (1), 81-109, 2008
572008
Generative Modeling with Failure in PRISM.
T Sato, Y Kameya, NF Zhou
IJCAI, 847-852, 2005
522005
Robust multi-agent path finding
D Atzmon, R Stern, A Felner, G Wagner, R Barták, NF Zhou
Eleventh Annual Symposium on Combinatorial Search, 2018
492018
Programming finite-domain constraint propagators in action rules
NF Zhou
Theory and Practice of Logic Programming 6 (5), 483-507, 2006
442006
Parameter passing and control stack management in Prolog implementation revisited
NF Zhou
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (6), 752-779, 1996
411996
Modeling and solving the multi-agent pathfinding problem in picat
R Barták, NF Zhou, R Stern, E Boyarski, P Surynek
2017 IEEE 29th International Conference on Tools with Artificial …, 2017
372017
Mode-directed tabling for dynamic programming, machine learning, and constraint solving
NF Zhou, Y Kameya, T Sato
2010 22nd IEEE International Conference on Tools with Artificial …, 2010
362010
Linear tabulated resolution based on Prolog control strategy
YD Shen, LY Yuan, JH You, NF Zhou
Theory and Practice of Logic Programming 1 (1), 71-103, 2001
322001
The picat-sat compiler
NF Zhou, H Kjellerstrand
International Symposium on Practical Aspects of Declarative Languages, 48-62, 2016
302016
Tackling NCD in LMIC: achievements and lessons learned from the NHLBI–UnitedHealth Global Health Centers of Excellence Program
MM Engelgau, UK Sampson, C Rabadan-Diehl, R Smith, J Miranda, ...
Global heart 11 (1), 5-15, 2016
292016
Robust multi-agent path finding and executing
D Atzmon, R Stern, A Felner, G Wagner, R Barták, NF Zhou
Journal of Artificial Intelligence Research 67, 549-579, 2020
282020
A tabled Prolog program for solving Sokoban
NF Zhou, A Dovier
Fundamenta Informaticae 124 (4), 561-575, 2013
282013
A matching tree oriented abstract machine for Prolog
NF Zhou, T Takagi, K Ushijima
Logic programming, 159-173, 1990
281990
Optimizing SAT encodings for arithmetic constraints
NF Zhou, H Kjellerstrand
International Conference on Principles and Practice of Constraint …, 2017
272017
Efficient tabling of structured data with enhanced hash-consing
NF Zhou, CT Have
Theory and Practice of Logic Programming 12 (4-5), 547-563, 2012
272012
Planning as tabled logic programming
NF Zhou, R Barták, A Dovier
Theory and Practice of Logic Programming 15 (4-5), 543-558, 2015
242015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20