This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
Abstract. This paper builds on a previous work in which an HTN planner is used to obtain learning routes expressed in the standard language IMS-LD and its main contribution is the ...
Lluvia Morales, Luis A. Castillo, Juan Ferná...
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
The goal of DARPA's Machine Reading (MR) program is nothing less than making the world's natural language corpora available for formal processing. Most text processing r...
Stephanie Strassel, Dan Adams, Henry Goldberg, Jon...