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…

This dissertation is the first comprehensive and interdisciplinary study of Ottoman economic thought within the context of modernization during the reign of Abdülhamid II (1876-1909). Drawing on a broad array of primary sources ranging from textbooks and manuals of economics…

A survey of lignicolous freshwater ascomycetes was carried out in Las Ilusiones Lagoon located in the metropolitan area of Villahermosa City State of Tabasco, Mexico. Aniptodera inflatiascigera, Ascosacculus aquaticus and A. heteroguttulatus are recorded for the first time from Mexico.…

A data warehouse (DW) system stores data from multiple data sources in integrated form and provides capabilities for monitoring business operations to ensure compliance to strategic goals. As such, DWs constitute a fundamental building block for Business Intelligence (BI) operations.…

Virtual and remote laboratories(VRLs) are e-learning resources which enhance the accessibility of experimental setups providing a distance teaching framework which meets the student's hands-on learning needs. In addition, online collaborative communication represents a practical and a constructivist method to transmit…

Registered nurses undertaking programmes of study to become non-medical prescribers appear to have
limited biological science knowledge. A case study was undertaken to determine whether the nurses entering
Prescriber programmes considered studies in bioscience in their pre-registration nursing courses had…

Background: The specific recognition of genomic cis-regulatory elements by transcription factors (TFs) plays an essential role in the regulation of coordinated gene expression. Studying the mechanisms determining binding specificity in protein-DNA interactions is thus an important goal. Most current approaches…

This paper describes a new method for cross-lingual textual entailment (CLTE) detection based on machine translation (MT). We use sub-segment translations from different MT systems available online as a source of cross-lingual knowledge. In this work we describe and evaluate…

Artificial Intelligence deals with the challenge of modeling commonsense reasoning. In the last fifteen years argument-based systems have came forward to meet this challenge as knowledge representation and reasoning tools able to model incomplete and conflicting information. We believe that…

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes,
de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation…