We address the problem of providing contextual information about a logical formula (e.g., provenance, date of validity, or confidence) and representing it within a logical system. In this case, it is needed to rely on a higher order or non standard formalism, or some kind of reification mechanism. We explore the case of reification and formalize the concept of contextualizing logical statements...

Th e dynamics of the emerging transnational stage in world capitalism cannot be understood through the blinkers of nation-state-centric thinking. In her study Empire of Capital, Ellen Meiksins Wood exhibits the reification and outdated nation-state-centric thinking that plagues much recent work on world capitalism and US intervention, expressed in the confusing notion of a ‘new imperialism’. Th...

Component-oriented programming has achieved wide acceptance in the domain of software engineering by improving productivity, reusability and composition. This success has also encouraged the emergence of a plethora of component models. Nevertheless, even if the abstract models of existing component models are quite similar, their programming models can differ a lot. This drawback limits the reu...

ed replay, and reification, student's can begin to think about, talk about, and experiment with their learning and problem-solving processes in a way not previously possible. By way of summary, we can briefly reiterate some of the reasons why reflection is important to learning: (1) Students can compare their own process to the way more expert performers carry out the process. (2) With reificat...

Component-based Software Engineering studies the design, development and maintenance of software constructed upon sets of connected components. Existing component-based models are frequently transformed into non-componentbased programs, most of the time object-oriented, for runtime execution and then many component-related concepts, e.g. explicit architecture, vanish at the implementation stage...

The advent of the computer and computer science, and in particular virtual reality, offers new experiment possibilities with numerical simulations and introduces a new type of investigation for the complex systems study: the in virtuo experiment. This work lies on the framework of multi-agent systems. We propose a generic model for systems biology based on reification of the interactions, on a ...

This thesis gives an overview on various ways and best-practices to handle metadata provenance in the Semantic Web, including the employment of linked data principles, reification, OAI-ORE, and named graphs. It reflects the work of the W3C Provenance Working Group, the W3C RDF Working Group and the DCMI Metadata Provenance Task Group, with a special emphasis on a mapping between Dublin Core and...

One reason for studying and programming in functional programming languages is that they are easy to reason about, yet there is surprisingly little work on proving the correctness of large functional programs. In this dissertation I show how to provide a system for proving the correctness of large programs written in a major functional programming language, ML [MTH90]. ML is split into two part...