Abstract
Logic programming is well suited for declaratively solving computational problems that require knowledge representation and reasoning. Object-oriented languages, on the other hand, are well suited for modeling real-world concepts and profit from rich ecosystems developed around them, which are often missing from logic languages. For applications that require both the declarative power of logic programming and the rich modeling expressiveness and development environments offered by object-oriented languages, there is a need for reconciling both worlds. LogicObjects is our linguistic symbiosis framework for integrating Prolog within the Java language. It extends Java with annotations that allow Java programs to interact transparently and automatically with Prolog programs. Copyright 2012 ACM.

Abstract
The Mike Basin - Water Quality modelling system was applied to the hydrographical basin of Sordo river located in the northeast of Portugal, in the region of Trasos-Montes and Alto Douro. This model allows the simulation of diffuse pollution caused by nitrate concentration in a small hydrographical basin (located in the demarcated region of the Port wine). The model allows the creation of a set of scenarios aiming at an effective planning of the basin under study. The available data for the drainages calculation were the monthly average effective rainfall between the years of 1960 and 2008. The Climate-change was predicted by the scenarios created in SIAM II and were simulated with the HadRM3 model. The limit quantities of nitrate present in the water should not contain over 25 mg/l; this is the maximum recommended value, and should not exceed 50 mg/l, this is the maximum allowable value by Portuguese law. We created simulation scenarios using the fertilizers produced by the bovine cattle and change of the agricultural uses or crops in this basin. For 2010 the fertilizers used were comprised between the recommended and the allowable maximum values. For 2071 the fertilizers were above the maximum allowable value. With these scenarios we found a 40% increase in nitrate levels due to climate change between the years 2010 and 2071.

Abstract
The IEC 61508 standard recognizes the programming languages defined in IEC 61131-3 as being appropriate for safety-related applications, and suggests the use of static data type analysis of the source code. In this context, we have added a data type semantic verifier to the MatlEC compiler - an open source ST, IL and SFC code translator to ANSI C. In so doing, we have identified several issues related to the definition of the semantics of the IL and ST programming languages, as well as with the data type model defined in IEC 61131-3. In this paper we describe the issues we uncovered, explain how the data type static analyzer of the MatlEC was implemented, explain the options we took, and suggest how the IEC 61131-3 standard could be made more explicit. © 2012 IEEE.

Abstract
This paper presents the Stacking Problem, a hard combinatorial optimization problem concerning handling and storage of items in a warehouse, where they are handled by a crane and organized into stacks. We define the problem, study its complexity class, and present a mathematical programming model to solve it. In order to tackle medium- or large-scale instances, we propose a simulation-based algorithm using semi-greedy construction heuristics. This simple approach allows for multiple constructions, finding solutions within reasonable time even for large instances. Three semi-greedy heuristics are proposed and compared in an extensive computational experiment, where we study the relation between the number of constructions and the best solution obtained using each heuristic.

Abstract
Many organizations depend on the success of rapidly deployed, limited time frame and multipartner projects as an important element of their business strategies. Information management is regarded as a critical and upmost important issue, especially in projects. Complex projects require additional team collaboration and a consistent information management strategy to support the development of the project. This paper reports the findings of an exploratory study on information management barriers in complex projects, particularly focusing issues and difficulties recognized by project participants and managers. Our study intends to fill the gap in empirical research regarding this subject and to provide new insights for project managers of complex projects to devise more effective information management strategies and tools to set up and run information technology platforms. © 2012 John Wiley & Sons, Ltd.

Abstract
We have created a bidirectional model-driven spreadsheet environment. In our environment, however, only one instance can be defined per model. Now, we propose to improve this environment so that several instances of one model can be edited and evolved at the same time, whilst never losing the synchronization of the entire system. © 2012 IEEE.