As one of the major and traditional topics of Artificial Intelligence over many years, knowledge representation and reasoning has proved to be a strong theoretical framework for Logic Programming to manage dynamic knowledge bases. In this report, we go through current and some of those past proposals to update ASP programs, by analysing their features and identifying challenges to represent cor...

Starting with the Second Edition of Bergey’s Manual of Systematic Bacteriology, the arrangement of content follows a phylogenetic framework or “road map” based largely on analyses of the nucleotide sequences of the ribosomal small-subunit RNA rather than on phenotypic data (Garrity et al., 2005). Implicit in the use of the road map are the convictions that prokaryotes have a phylogeny and that ...

1 US president Bill Clinton will hold talks covering arms control, the Russian economy, and the situation in Chechnya during his meeting in Moscow with Russia's new president Vladimir Putin.

The discipline of molecular ecology has undergone enormous changes since the journal bearing its name was launched approximately two decades ago. The field has seen great strides in analytical methods development, made groundbreaking discoveries and experienced a revolution in genotyping technology. Here, we provide brief perspectives on the main subdisciplines of molecular ecology, describe ke...

This paper presents a numerical approach to the mapmatching problem. The proposed solution is based on a sequential Monte Carlo method, so called particle filtering. This algorithm can be adapted for implementation on real-time car navigation systems using a low-cost MEMS heading rate sensor and standard vehicle speed sensor installed in the car as dead-reckoning sensors. The algorithm reliabil...