Carnap: an Open Framework for Formal Reasoning in the Browser

This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap’s implementation, along with its current and projected pedagogical applications

The right place at the right time: assisting spatio-temporal planning in construction

21st - 24th October 2003 This paper describes research carried out for requirements capture in the development of a computer-based decision support tool (VIRCON) for space-time scheduling and visualisation of construction tasks. The focus was on pre-tender work and involved interviews with construction planners. Both space-time scheduling and visualisation of tasks are largely informal/intuitive processes for planners. They form an important part of the planner\'s risk identification function. Planners tend to opt for a robust spatio-temporal schedule rather than an optimal one. They require decision support tools that are quick and easy to use rather than highly sophisticated. The research highlights the extent to which construction planning is a communicative and co-operative activity in addition to a complex problem-solving one. Questions arise about the cost to the client of non-involvement by the construction planner at the design stage, the costs of short pre-tender periods, inadequate design data and sub-optimal construction periods specified in tender documents