Hui Wan
Since June 2010, I have been working for IBM T. J. Watson Research Center.
Click here
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.
Curriculum
Vitae
PDF version (as of May 2010)
Education
· Ph.D., Computer Science, Stony Brook University, New York, U.S.A., August 2010.
Adviser:
Professor Michael Kifer
Dissertation: Reasoning about Uncertainty and Correlated Beliefs
- M.S., Computer Science, Stony Brook University,
New York, U.S.A., 2005.
· M.E., Computer 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.
Research Interests
- 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
Research
Projects
- SILK (Semantic
Inferencing on Large Knowledge):
A multi-institution
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
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.
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
- 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
bibtex
- 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
bibtex
- Hui Wan, Belief
Logic Programming with Cyclic Dependencies, Proceedings of 3rd International
Conference on Web Reasoning and Rule Systems (RR), pp. 150-165, 2009.
pdf bibtex
- Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor and Senlin
Liang, Logic
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.
pdf bibtex
- 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
bibtex
- 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,
2008.
- Hui Wan, Belief Logic
Programming, Ph.D. Thesis Proposal, Stony Brook
University, 2008.
- Hui Wan, Reasoning with
Inconsistency and Uncertainty: Paraconsistent and Probabilistic Logic
Programming, Ph.D. Research Proficiency Examination
Report, Stony Brook University, 2005.
Last
update: Nov 2, 2010
