Hui Wan - Homepage

        Hui Wan

        Computer Science Department
        Stony Brook University
        Stony Brook, NY 11794, USA

        Email: hwan at cs dot sunysb dot edu

I am a Ph.D. Student in Knowledge Based Systems Lab , Computer Science Department, Stony Brook University. My advisor is Professor Michael Kifer.

Curriculum Vitae

PDF version

Education

2003 - now: Ph.D. Candidate, Computer Science, Stony Brook University, New York, U.S.A.

Dissertation: Reasoning about Uncertainty and Correlated Beliefs

2003: M.S. in Computer Science, Chinese Academy of Sciences, Beijing, China
2000: B.E. in Computer Science, Special Class for Gifted Young, University of Science and Technology of China, Hefei, China

Research Interests

Knowledge Representation, Artificial Intelligence
Semantic Web, Web Services
Data Mining, Machine Learning
Logic Programming
Databases

Research Projects

SILK (Semantic Inferencing on Large Knowledge): A knowledge representation language and a knowledge representation system with reasoner, UI and interchange. A multi-institution project sponsored by Vulcan Inc.

LPDA (Logic Programming with Defaults and Argumentation Theories): A new framework that unifies most of the earlier proposals for defeasible reasoning in logic programs. LPDA is currently implemented in SILK V1.

OpenRuleBench: A suite of benchmarks for analyzing the performance and scalability of different rule engines.

BLP (Belief Logic Programming): A novel form of quantitative knowledge representation for reasoning with uncertain and inconsistent information. BLP was designed specifically to account for correlation of evidence obtained from non-independent and, possibly, contradictory information sources. Unlike the previous efforts to integrate uncertainty and logic programming, BLP can correlate structural information contained in rules and provides more accurate certainty estimates.

Flora2: An Open Source project providing a sophisticated object-oriented knowledge base language and application development environment. Applications of FLORA-2 include intelligent agents, Semantic Web, ontology management, integration of information, and others.

Publications

Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence, Hui Wan and Michael Kifer, Proceedings of 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 316-328, 2009. pdf bibtex
Query Answering in Belief Logic Programming, Hui Wan and Michael Kifer, Proceedings of 3rd International Conference on Scalable Uncertainty Management (SUM), pp. 268-281, 2009. pdf bibtex
Belief Logic Programming with Cyclic Dependencies, Hui Wan, Proceedings of 3rd International Conference on Web Reasoning and Rule Systems (RR), pp. 150-165, 2009. pdf bibtex
Logic Programming with Defaults and Argumentation Theories, Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor and Senlin Liang, Proceedings of 25th International Conference on Logic Programming (ICLP), pp. 432-448, 2009. pdf bibtex slides
OpenRuleBench: An Analysis of the Performance of Rule Engines, Senlin Liang, Paul Fodor, Hui Wan and Michael Kifer, Proceedings of 18th International World Wide Web Conference (WWW), pp. 601-610, 2009. pdf bibtex
Personalized Tag Recommendations via Social Network and Content-based Similarity Metrics, Andrew Byde, Hui Wan and Steve Cayzer, International Conference on Weblogs and Social Media (ICWSM), 2007. pdf bibtex
Belief Logic Programming and its Extensions, Hui Wan and Michael Kifer, Technical Report, http://www.cs.sunysb.edu/~hwan/BLP_TR.html, Stony Brook University, 2009. pdf

Last update: Sep 5, 2009
email