Zhang, Guijun; He, Yangjun; Guo, Haifeng; Feng, Yuanjing; Xu, Jianming A differential evolution algorithm for multimodal optimization based on abstract convex underestimation. (Chinese. English summary) Zbl 1289.90160 J. Softw. 24, No. 6, 1177-1195 (2013). MSC: 90C26 68T20 90C59 PDFBibTeX XMLCite \textit{G. Zhang} et al., J. Softw. 24, No. 6, 1177--1195 (2013; Zbl 1289.90160) Full Text: DOI
Guo, Hai-Feng; Jayaraman, Bharat Logic programming with solution preferences. (English) Zbl 1170.68004 J. Log. Algebr. Program. 78, No. 1, 1-21 (2008). MSC: 68N17 PDFBibTeX XMLCite \textit{H.-F. Guo} and \textit{B. Jayaraman}, J. Log. Algebr. Program. 78, No. 1, 1--21 (2008; Zbl 1170.68004) Full Text: DOI
Pontelli, Enrico; Villaverde, Karen; Guo, Hai-Feng; Gupta, Gopal PALS: Efficient or-parallel execution of prolog on Beowulf clusters. (English) Zbl 1132.68325 Theory Pract. Log. Program. 7, No. 6, 633-695 (2007). MSC: 68N17 PDFBibTeX XMLCite \textit{E. Pontelli} et al., Theory Pract. Log. Program. 7, No. 6, 633--695 (2007; Zbl 1132.68325) Full Text: DOI
Guo, Hai-Feng; Liu, Miao; Roop, Partha S.; Ramakrishnan, C. R.; Ramakrishnan, I. V. Precise specification matching for adaptive reuse in embedded systems. (English) Zbl 1122.68074 J. Appl. Log. 5, No. 2, 333-355 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{H.-F. Guo} et al., J. Appl. Log. 5, No. 2, 333--355 (2007; Zbl 1122.68074) Full Text: DOI
Guo, Hai-Feng; Liu, Miao; Jayaraman, Bharat Relaxation on optimization predicates. (English) Zbl 1131.68377 Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 425-426 (2006). MSC: 68N17 PDFBibTeX XMLCite \textit{H.-F. Guo} et al., Lect. Notes Comput. Sci. 4079, 425--426 (2006; Zbl 1131.68377) Full Text: DOI
Pontelli, Enrico; Villaverde, Karen; Guo, Hai-Feng; Gupta, Gopal Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms. (English) Zbl 1103.68441 J. Parallel Distrib. Comput. 66, No. 10, 1267-1293 (2006). MSC: 68N17 68M14 PDFBibTeX XMLCite \textit{E. Pontelli} et al., J. Parallel Distrib. Comput. 66, No. 10, 1267--1293 (2006; Zbl 1103.68441) Full Text: DOI
Guo, Hai-Feng Mode-directed fixed point computation. (English) Zbl 1152.68412 Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28538-5/pbk). Lecture Notes in Computer Science 3662. Lecture Notes in Artificial Intelligence, 253-265 (2005). MSC: 68N17 PDFBibTeX XMLCite \textit{H.-F. Guo}, Lect. Notes Comput. Sci. 3662, 253--265 (2005; Zbl 1152.68412) Full Text: DOI
Pemmasani, Giridhar; Guo, Hai-Feng; Dong, Yifei; Ramakrishnan, C. R.; Ramakrishnan, I. V. Online justification for tabled logic programs. (English) Zbl 1122.68386 Kameyama, Yukiyoshi (ed.) et al., Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21402-X/pbk). Lecture Notes in Computer Science 2998, 24-38 (2004). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Pemmasani} et al., Lect. Notes Comput. Sci. 2998, 24--38 (2004; Zbl 1122.68386) Full Text: DOI
Guo, Hai-Feng; Gupta, Gopal A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives. (English) Zbl 1053.68531 Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 181-196 (2001). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{H.-F. Guo} and \textit{G. Gupta}, Lect. Notes Comput. Sci. 2237, 181--196 (2001; Zbl 1053.68531) Full Text: Link
Guo, Hai-Feng; Ramakrishnan, C. R.; Ramakrishnan, I. V. Speculative beats conservative justification. (English) Zbl 1053.68532 Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 150-165 (2001). MSC: 68N17 PDFBibTeX XMLCite \textit{H.-F. Guo} et al., Lect. Notes Comput. Sci. 2237, 150--165 (2001; Zbl 1053.68532) Full Text: Link
Villaverde, K.; Pontelli, E.; Guo, H.; Gupta, G. PALS: An or-parallel implementation of Prolog on Beowulf architectures. (English) Zbl 1053.68545 Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 27-42 (2001). MSC: 68N17 PDFBibTeX XMLCite \textit{K. Villaverde} et al., Lect. Notes Comput. Sci. 2237, 27--42 (2001; Zbl 1053.68545) Full Text: Link