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…

Knowledge acquisition for systems based on knowledge can be called knowledge engineering, according to Feigenbaum (1980) who used the term to describe the reduction of a wide context of knowledge for a set of facts and rules. The term Knowledge…

El presente artículo expone los resultados de una experiencia con documentales en el ámbito universitario.
El objetivo propuesto consistió en la valoración de una experiencia de un entorno virtual universitario, potenciando
la revisión autocrítica de conocimientos previos y su ulterior…

In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, autonomous agents and multi-agent systems; many are based on Dung’s seminal work characterizing Abstract Argumentation Frameworks (AF).
Recent research in the area…

The Nusayri-'Alawis, the syncretistic Shiite sect currently prominent in Syria, are some of the only survivors of the heterodox cults of Early Islam. For theological and precautionary reasons they are forbidden from sharing their beliefs with outsiders. As a result,…

Most neural network learning algorithms cannot use knowledge other than what is provided in the training data. Initialized using random weights, they cannot use prior knowledge such as knowledge stored in previously trained networks. This manuscript thesis addresses this problem.…

Ce mémoire se veut être un alliage de connaissances historiques théoriques et de leur mise en application dans un contexte académique de niveau collégial. L’objet principal est de comparer l’historiographie savante, écrite par des historiens chercheurs, au contenu de quatre…

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

In the restricted single-machine common due date problem the goal is to find a schedule for the n jobs which jointly minimizes the sum of earliness and tardiness penalties, while for the weighted tardiness problem the goal is to find…

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.