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...

Based on detailed observations of how senior officials and forest rangers collaborate together using geographic information systems (GIS) this article examines the contradictory role of boundary objects in the enforcement of deforestation control policies in the Brazilian Amazon rainforest. Specifically, we unpack the mechanisms behind the way in which these artifacts have simultaneously facili...

Although it is currently common to speak of organizational learning, this notion is still surrounded by conceptual confusion. It is unclear how notions like learning, knowledge and cognitive activities can be applied to organizations. Some authors have tried to unravel the conceptual and ontological problems by giving an account of the role of individuals in organizational learning. However, th...

Discovering the set of closed frequent patterns is one of the fundamental problems in Data Mining. Recent Constraint Programming (CP) approaches for declarative itemset mining have proven their usefulness and flexibility. But the wide use of reified constraints in current CP approaches raises many difficulties to cope with high dimensional datasets. This paper proposes CLOSEDPATTERN global cons...

In this paper, we will present two user interfaces we developed for a tutor on debugging programs. The second interface is reified with respect to the first, and is hence, better at capturing student misconceptions and promoting the development of an accurate mental model in the learner. We will discuss the rationale behind the interface, its significance, and its impact on the maintenance of t...

Although design patterns are becoming increasingly popular as a way to describe solutions to general design problems, question about their integration in language (reification or language support) stays an open question. In this article, after identifying the implementation problems and presenting some approaches, we show how FLO’s connectors allows for the representation and implementation of ...

This paper investigates social representations in processes of public decision-making participation where information and communication technologies (ICT) have played a role. The City Hall of Belo Horizonte, a Brazilian municipality, decided to use web-based technologies for the first time in 2006, creating a project called digital participative budget (DPB), whose purpose was to allow citizens...