Presentación de la aplicación de las nuevas tecnologías al análisis y la traducción de los clásicos catalanes., Aquesta investigació s’emmarca en el context del projecte de recerca per a la “Promoció exterior de la llengua, la literatura i la cultura…

Argumentative formalisms have been widely recognized as knowledge representation and reasoning tools able to deal with incomplete and potentially contradictory informa- tion. All such formalisms are computationally demanding. Hence, optimizing argumen- tative systems has been approached from di erent views.

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

Little has been written about the component provision problem (programming plans and domain concepts) for the repositories of knowledge in program understanding systems and reports that specifically address this issue are unknown. Model-driven and plan-driven approaches use repositories where construction…

This study investigates an approach of knowledge discovery and data mining in insufficient databases. An application of Computational Taxonomy analysis demonstrates that the approach is effective in such a data mining process. The approach is characterized by the use ot…

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

2008

Modeling is one of the most important activities throughout any software development life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities between classes. Although, as classes evolved in the model, their semantics may…

Design and optimization of distillation columns for ethanol dehydration, using a hydrocarbon as entrainer, implies a good knowledge of vapor-liquid (VLE), liquid-liquid (LLE) and vapor-liquid-liquid equilibrium (VLLE). Chemical process simulation programs always require the use of a thermodynamic model that…

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal, Pour respecter les droits d'auteur, la version électronique de cette thèse ou ce mémoire a été dépouillée, le cas échéant, de ses documents…