Benjamin Han

Learn More
To discriminate among all possible diagnoses using Hou's theory of measurement in diagnosis from first principles, one has to derive all minimal conflict sets from a known conflict set. However, the result derived from Hou's method depends on the order of node generation in CS-trees. We develop a derivation method with mark set to overcome this drawback of(More)
Automatic extraction and reasoning over temporal properties in natural language discourse has not had wide use in practical systems due to its demand for a rich and compositional, yet inference-friendly, representation of time. Motivated by our study of temporal expressions from the Penn Treebank corpora, we address the problem by proposing a two-level(More)
Finding useful information from large multimodal document collections such as the WWW without encountering numerous false positives poses a challenge to multimodal information retrieval systems (MMIR). A general model for multi-modal information retrieval is proposed by which a user's information need is expressed through composite, multi-modal queries, and(More)
In this paper we adopt a constraint-based representation of time, Time Calculus (TC), for anchoring temporal expressions in a novel genre, emails. Email is sufficiently different from most studied genres-newswire texts, and its highly under-specified nature fits well with our representation. The evaluation of our anchoring system shows that it performs(More)
Temporal information in the real world is often presented in an incomplete fashion. In this paper we propose a constraint-based calendar system suitable for inferring implicit calendric information. Our approach views calendars as constraint satisfaction problems, and time points are represented as instantiations of temporal units. We also present a(More)