The old email address will remain active.

The implications of Gödel incompleteness for artificial intelligence have been studied many times before (e.g. [8]), as has the relation between Kolmogorov complexity and incompleteness (e.g. [3, 2]). In this paper we look at the relationship between these from a new angle. We start by considering the prediction of computable sequences of bounded complexity, an ability which would be fundamenta...

4. Philosophical studies of knowledge. These are often not so much concerned with finding out facts as with establishing norms or standards. So philosophers try to find criteria for deciding whether certain beliefs are rational, or whether inferences from evidence to conclusions are valid. A closely related topic is the study of the systems of concepts required for formulating beliefs of differ...

Governments and institutions are facing the new demands of a rapidly changing society. Among many significant trends, some facts should be considered (Silverstein, 2006): (1) the increment of number and type of students; and (2) the limitations imposed by educational costs and course schedules. About the former, the need of a continuous update of knowledge and competences in an evolving work en...

The paper describes a transition logic, TL , and a deductive formalism for i t . It shows how various important aspects (such as ramification, qualification, specificity, simultaneity, indeterminism etc.) involved in planning can be modelled in TL in a rather natural way. (The deductive formalism for) TL extends the l inear connection method proposed earlier by the author by embedding the latte...

I RISE NOW TO SPEAK with the assumption that all of you know very well what, I am going to say. I am the humanist here, the professor of English. We humanists, when asked to speak on questions of science and technology, arc notorious for offering an embarrassed and ignorant respect toward those matters, a respect, however, which can all too quickly degenerate into insolent condescension. Face t...

When this special issue was announced, we had to explain why we thought that the growth of the Internet would strongly influence the relations between computer scientists and economists. By now, such an explanation is hardly necessary. Within the broad fields of economics and computer science, the subspecialties that have the most points of contact are Game Theory and Artificial Intelligence. W...

This paper surveys important aspects of Web Intelligence (WI) in the context of Artificial Intelligence in Education (AIED) research. WI explores the fundamental roles as well as practical impacts of Artificial Intelligence (AI) and advanced Information Technology (IT) on the next generation of Web-related products, systems, services, and activities. As a direction for scientific research and d...

Crowdsourcing platforms, such as Amazon Mechanical Turk, have enabled the construction of scalable applications for tasks ranging from product categorization and photo tagging to audio transcription and translation. These vertical applications are typically realized with complex, self-managing workflows that guarantee quality results. But constructing such workflows is challenging, with a huge ...