Challenges in Bridging Social Semantics and Formal Semantics on the Web

This paper describes several results of Wimmics, a research lab which names stands for: web-instrumented man-machine interactions, communities, and semantics. The approaches introduced here rely on graph-oriented knowledge representation, reasoning and operationalization to model and support actors, actions and interactions in web-based epistemic communities. The re-search results are applied to support and foster interactions in online communities and manage their resources

Using pattern languages in participatory design

In this paper, we examine the contribution that pattern languages could make to user participation in the design of interactive systems, and we report on our experiences of using pattern languages in this way. In recent years, there has been a growing interest in the use of patterns and pattern languages in the design of interactive systems. Pattern languages were originally developed by the architect, Christopher Alexander, both as a way of understanding the nature of building designs that promote a ‘humane’ or living built environment; and as a practical tool to aid in participatory design of buildings. Our experience suggests that pattern languages do have considerable potential to support participatory design in HCI, but that many pragmatic issues remain to be resolved.</p

CoPe_it! - Supporting collaboration, enhancing learning

CoPe_it! is an innovative web-based tool that complies with collaborative practices to provide members of communities with the appropriate means to manage individual and collective knowledge, and collaborate towards the solution of diverse issues. In this article, we demonstrate its applicability in tackling data-intensive collaboration settings, which are characterized by big volumes of complex and interrelated data obtained from diverse sources, and knowledge expressed by diverse participants. We focus on issues related to the representation of such settings and the proposed approach towards making it easier for participants to follow the evolution of a collaboration, comprehend it in its entirety, and meaningfully aggregate data in order to resolve the issue under consideration

Using Pattern Languages in Participatory Design

In this paper, we examine the contribution that pattern languages could make to user participation in the design of interactive systems, and we report on our experiences of using pattern languages in this way. In recent years, there has been a growing interest in the use of patterns and pattern languages in the design of interactive systems. Pattern languages were originally developed by the architect, Christopher Alexander, both as a way of understanding the nature of building designs that promote a ‘humane’ or living built environment; and as a practical tool to aid in participatory design of buildings. Our experience suggests that pattern languages do have considerable potential to support participatory design in HCI, but that many pragmatic issues remain to be resolved

Developing Interoperable Collaboration Services to Sustain Activities of Communities of Practice

Communities of Practice (CoPs) have attracted the interest of professionals and researchers as successful environments for enhancing, developing and improving practices through collaboration between their members. More and more, CoPs are choosing virtual environments and services to support their activities. However, recent research has underlined the lack of adequate scaffolding in terms of technical support and appropriate use of technology for communication and collaboration. The paper argues in favour of a collaborative design methodology for the development of services based on new technologies, open-source or open-source minded . Producing interoperable, evolutionary, flexible and truly collaborative services appears of major interest to sustain activities of distributed CoPs. The paper uses as a case study the description of collaboratively designed services addressing the needs of distributed CoPs within the European Project PALETTE. The example of PALETTE shows that in complex project situations, collaborative design sustained by Actor-Network Theory is a helpful framework to reach the goals of the project

Service-Oriented Design: The jABC Approach

Reviewing our 10 years of experience in service engineering for telecommunication systems from the point of view of Service-Oriented Design then and now, we observe that much is common to the two communities. We aim in our current research at establishing a link to the notions used by the service-oriented programming (SO) community. We are convinced that combined approaches, that blend the flexibility of the current SO-scenario with the rigour and semantic standardization culture of the telecommunication community will dramatically increase the productivity of the development of a large class of software systems. Incremental formalization and automatic verification techniques may be again the key to achieving confidence and reliability for services that interact and interoperate on a large distributed scale

41P. Practical Lessons Learned while Developing Web 2.0 Collaboration Services for Communities of Practice

Although a plethora of Web 2.0 applications exist today, there is little literature reporting on experiences, concrete recommendations or best practices when developing such applications. The scarcity of such records makes it difficult for developers to determine how best to support the practices of communities with the use of Web 2.0 technologies. In this paper, we report on eight practical lessons learned while developing Web 2.0 collaboration services for Communities of Practice in the framework of a three years long European research project on Technology Enhanced Learning. The main objective of this project was to investigate how Web 2.0 technologies could impact the communication and collaboration needs of Communities of Practice interacting online and, conversely, how new interaction needs could impact Web 2.0 technology. The above lessons are presented in a way that could aid people engaged in various phases of the development of Web-based collaboration support services

Solving Math Word Problems by Combining Language Models With Symbolic Solvers

Automatically generating high-quality step-by-step solutions to math word problems has many applications in education. Recently, combining large language models (LLMs) with external tools to perform complex reasoning and calculation has emerged as a promising direction for solving math word problems, but prior approaches such as Program-Aided Language model (PAL) are biased towards simple procedural problems and less effective for problems that require declarative reasoning. We propose an approach that combines an LLM that can incrementally formalize word problems as a set of variables and equations with an external symbolic solver that can solve the equations. Our approach achieves comparable accuracy to the original PAL on the GSM8K benchmark of math word problems and outperforms PAL by an absolute 20% on ALGEBRA, a new dataset of more challenging word problems extracted from Algebra textbooks. Our work highlights the benefits of using declarative and incremental representations when interfacing with an external tool for solving complex math word problems. Our data and prompts are publicly available at https://github.com/joyheyueya/declarative-math-word-problem