V. 1. Desde as origens partisticas até ao periodo do apogeu da escolástica.--v. 2. Desde o perfodo do apodeu da escolástica até ao fim da Idade Média, com um estudo sobre o pensamento filosófico português nos séculos XIII-XV.

After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.

This chapter contains sections titled: Introduction Object and Aims of Earth Science The Autonomy of Earth Science Explanation in Earth Science Conclusion Acknowledgment References.

We develop a framework for assessing security market quality, relating five elements of market design to three metrics of market integrity and two metrics of market efficiency. We empirically implement this integrity–efficiency MQ framework by testing a hypothesis that trade-based ramping manipulation at the close raises execution costs on 24 security markets worldwide. Estimating a simultaneous equations model of ramping incidence, spreads, and the probability of deploying real-time surveillance, we show that quoted bid-ask spreads are positively related to the incidence (...) of MTC across seven liquidity deciles. The magnitude is economically significant; improving market integrity by cutting MTC in half reduces spreads 6–11 %. Allowing direct market access in conjunction with RTS, conducting auctions at the close, and developing regulations that require surveillance, all reduce MTC and thereby lower spreads, assuring better market integrity and enhancing market efficiency. Introducing circuit breakers or prohibiting shorts poses integrity–efficiency tradeoffs. (shrink)

The past 50 years have seen an accumulation of evidence suggesting that associative learning depends on high-level cognitive processes that give rise to propositional knowledge. Yet, many learning theorists maintain a belief in a learning mechanism in which links between mental representations are formed automatically. We characterize and highlight the differences between the propositional and link approaches, and review the relevant empirical evidence. We conclude that learning is the consequence of propositional reasoning processes that cooperate with the unconscious processes involved (...) in memory retrieval and perception. We argue that this new conceptual framework allows many of the important recent advances in associative learning research to be retained, but recast in a model that provides a firmer foundation for both immediate application and future research. (shrink)