Since June 2010, I have been working for IBM T. J. Watson Research Center.
to be redirected to my IBM homepage.
Computer Science Department
Stony Brook University
Stony Brook, NY 11794, USA
Email: hwan at cs dot sunysb dot edu
I got my Ph.D. degree from Computer
Science Department, Stony
Brook University. My adviser is Professor Michael Kifer.
PDF version (as of May 2010)
Ph.D., Computer Science, Stony Brook University, New York, U.S.A., August
Professor Michael Kifer
Dissertation: Reasoning about Uncertainty and Correlated Beliefs
Science, Chinese Academy of Sciences, Beijing, China, 2003.
B.E., Computer Science, Special Class for
Gifted Young, University
of Science and Technology of China, Hefei, China, 2000.
- Knowledge Representation, Artificial Intelligence
- Natural Language Processing
- Logic Programming, Programming Languages
- Semantic Web, Web Services
- Data Mining, Machine Learning
- Probabilistic Modeling, Statistical Modeling
- Deductive Databases
- SILK (Semantic
Inferencing on Large Knowledge):
project sponsored by Vulcan
Inc. The project aims to provide key knowledge representation
infrastructure for global, widely-authored, very large knowledge bases in
business and science.
- 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
suite of benchmarks for analyzing the performance and scalability of
different rule engines.
- BLP (Belief
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.
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.
- Hui Wan, Michael Kifer and Benjamin Grosof, Defeasibility in
Answer Set Programs via Argumentation Theories, Proceedings of 4th International Conference on Web
Reasoning and Rule Systems (RR), 2010
- Hui Wan and Michael Kifer, Belief Logic Programming: Uncertainty Reasoning with
Correlation of Evidence, Proceedings of 10th International
Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
pp. 316-328, 2009. pdf
- Hui Wan and Michael Kifer, Query Answering in Belief Logic Programming, Proceedings
of 3rd International Conference on Scalable Uncertainty Management (SUM),
pp. 268-281, 2009. pdf
- Hui Wan, Belief
Logic Programming with Cyclic Dependencies, Proceedings of 3rd International
Conference on Web Reasoning and Rule Systems (RR), pp. 150-165, 2009.
- Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor and Senlin
Programming with Defaults and Argumentation Theories, Proceedings
of 25th International Conference on Logic Programming (ICLP), pp.
432-448, 2009. pdf bibtex slides
- Senlin Liang, Paul Fodor, Hui Wan and Michael Kifer, OpenRuleBench:
An Analysis of the Performance of Rule Engines, Proceedings of
18th International World Wide Web Conference (WWW), pp. 601-610, 2009.
- Andrew Byde, Hui Wan
and Steve Cayzer, Personalized
Tag Recommendations via Social Network and Content-based Similarity
Metrics, International Conference on Weblogs and Social
Media (ICWSM), 2007. pdf
- Hui Wan and Michael Kifer, Belief Logic Programming and its Extensions,
Technical Report, http://www.cs.sunysb.edu/~hwan/BLP_TR.html, Stony
Brook University, 2009. pdf
- Guizhen Yang, Michael Kifer, Hui Wan and Chang Zhao, FLORA-2:
Userís Manual, http://flora.sourceforge.net/docs/floraManual.pdf,
- Hui Wan, Belief Logic
Programming, Ph.D. Thesis Proposal, Stony Brook
- Hui Wan, Reasoning with
Inconsistency and Uncertainty: Paraconsistent and Probabilistic Logic
Programming, Ph.D. Research Proficiency Examination
Report, Stony Brook University, 2005.
update: Nov 2, 2010