Browsing by Author "Pinto, J."

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Climate change and animal diseases in South America
    (OFFICE INT EPIZOOTIES, 2008) Pinto, J.; Bonacic, C.; Hamilton West, C.; Romero, J.; Lubroth, J.
    Climate strongly affects agriculture and livestock production and influences animal diseases, vectors and pathogens, and their habitat. Global warming trends predicted in the 2007 Intergovernmental Panel on Climatic Change (IPCC) report for South America are likely to change the temporal and geographical distribution of infectious diseases, including those that are vector-borne such as bluetongue, West Nile fever, vesicular stomatitis and New World screwworm. Changes in distribution will be partially modulated by El Nino Southern Oscillation events, which will become more frequent and lead to a greater frequency of droughts and floods.
  • Thumbnail Image
    Item
    Integrating true concurrency into the robot programming language GOLOG
    (IEEE, 1999) Baier Aranda, Jorge Andrés; Pinto, J.
    Research in knowledge representation and theories of action has led to the development of several logical languages to describe the dynamics of the world. One of the most influential languages developed is the situation calculus. Stemming from this research, the situation calculus based programming language, GOLOG, has been proposed as a tool for implementing simulators and controllers of dynamical systems using a repertoire of user specified primitive actions. Lately, this language has been extended in order to incorporate the notion of concurrent action execution, leading to the dialect CONGOLOG, where an interleaving view of concurrent execution is considered. We take this work one step further by introducing true concurrency, defining the language TCONGOLOG. In our view, true concurrency arises when primitive actions can be taken to be executed at the same instant.