Abstract
This paper introduces an approach to decision support systems in service-oriented automation control systems, which considers the knowledge extracted from the Petri nets models used to describe and execute the process behavior. Such solution optimizes the decision-making taking into account multi-criteria, namely productive parameters and also energy parameters. In fact, being manufacturing processes typically energy-intensive, this allows contributing for a clean and saving environment (i.e. a better and efficient use of energy). The preliminary experimental results, using a real laboratorial case study, demonstrate the applicability of the knowledge extracted from the Petri nets models to support real-time decision-making systems in service-oriented automation systems, considering some energy efficiency criteria.

Abstract
With the recent expansion of services available in the Web, the Internet is becoming more and more a network of services, at a global scale. These services cover the majority of business areas, such as: bank account management, trip reservation, hotel bookings, information search portals, social networks, etc. A related subarea is the georreferencing of objects and people. The appearance of services like Google Earth and Virtual Earth has created enormous Web based service creation opportunities, allowing the interconnection of the digital and real worlds. In this work we present a project intended for locating the physical places associated with a person, based on his email address. This project implements a search portal that associates a user to an email and a set of user defined locations.

Abstract
This paper presents the modelling and simulation of a wheeled mobile robot designed to operate in structured environments and the development of robot software based on its simulation. The mobile robot was simulated resorting to the SimTwo, a custom made simulator developed by the authors with the purpose to test and produce control software for industrial, humanoid and wheeled robots. The presented example is in the field of edutainment robotics, being presented the localization and navigation in a Fire Fight Robot Contest arena of an omnidirectional mobile robot equipped with brushless motors and infra-red distance sensors. Edutainment robotics plays an important role in education due to the inherent multi-disciplinary concepts that are involved, motivating students to technological areas. It also plays an important role in research and development, because it is expected that the outcomes that will emerge here, will later be transfered to other application areas, such as service robots and manufacturing.

Abstract
Tabling is a technique of resolution that overcomes some limitations of traditional Prolog systems in dealing with recursion and redundant sub-computations. We can distinguish two main categories of tabling mechanisms: suspension-based tabling and linear tabling. In suspension-based tabling, a tabled evaluation can be seen as a sequence of sub-computations that suspend and later resume. Linear tabling mechanisms maintain a single execution tree where tabled subgoals always extend the current computation without requiring suspension and resumption of sub-computations. In this work, we present a new and efficient implementation of linear tabling, but for that we have extended an already existent suspension-based implementation, the YapTab engine. Our design is based on dynamic reordering of alternatives but it innovates by considering a strategy that schedules the re-evaluation of tabled calls in a similar manner to the suspension-based strategies of YapTab. Our implementation also shares the underlying execution environment and most of the data structures used to implement tabling in YapTab. We thus argue that all these common features allows us to make a first and fair comparison between suspension-based and linear tabling and, therefore, better understand the advantages and weaknesses of each.

Abstract
Although there is considerable consensus that Finance, Management and Marketing are 'science', some debate remains with regard to whether these three areas comprise autonomous, organized and settled scientific fields of research. In this paper we aim to explore this issue by analyzing the occurrence of citations in the top-ranked journals in the areas of Finance, Management, and Marketing. We put forward a modified version of the model of science as a network, proposed by Klamer and Van Dalen (J Econ Methodol 9(2):289-315, 2002), and conclude that Finance is a 'Relatively autonomous, organized and settled field of research', whereas Management and (to a larger extent) Marketing are relatively non-autonomous and hybrid fields of research'. Complementary analysis based on sub-discipline rankings using the recursive methodology of Liebowitz and Palmer (J Econ Lit 22:77-88, 1984) confirms the results. In conclusions we briefly discuss the pertinence of Whitley's (The intellectual and social organization of the sciences, 1984) theory for explaining cultural differences across these sub-disciplines based on its dimensions of scholarly practices, 'mutual dependency' and 'task uncertainty'.

Abstract
A critical component in the implementation of an efficient tabling system is the design of the data structures and algorithms to access and manipulate tabled data. Arguably, the most successful data structure for tabling is tries, which is regarded as a very compact and efficient; data structure for term representation. Despite these good properties, we found that, for list terms, we can design even more compact and efficient representations. We thus propose a, new representation of list terms for tries that avoids the recursive nature of the WAM representation of list terms in which tries are based. Our experimental results using the YapTab tabling system show a significant reduction in the memory usage for the trie data structures and considerable gains in the running time for storing and loading list terms.