Various semantics for logic programs with negation are described in terms of a dualized program together with additional axioms, some of which are second order formulas. A new axiom to represent \common sense" reasoning is proposed for logic programs. It is shown that the well-founded semantics and stable models are de nable with this axiom.

The Tools and Materials Metaphor is a design methodology for interactive software systems. It supports developers with both metaphors on how to interpret and understand an application domain as well as concrete techniques on how to actually construct systems according to the metaphors. The construction process is best supported by an application framework that captures those parts of the metaph...

We present a very general technique for deening semantics for programs that use aggregation. We use the technique to extend the well-founded semantics and the valid semantics, both of which were designed to provide semantics for programs with negation, to handle programs that contain possibly recursive use of aggregation. The generalization is based on a simple but powerful idea of aggregation ...

In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the art, defeasible logic implementation to handle all such variants of defeasible logic.

OBJECTIVES Cancer has been described using metaphors for over 4 decades. However, little is known about healthy adolescents' perspectives of cancer using metaphors. This paper reports on findings specific to adolescents' perspectives of cancer using metaphors. The findings emerged from a qualitative ethnographic study that sought to understand Canadian adolescents' conceptualisation of cancer a...

Recent research into difficulties in figurative language in children with ASD highlighted that it is possible to devise training interventions to overcome these difficulties by teaching specific strategies. This study describes how children with ASD can improve their capability to explain metaphors with a treatment. Two types of metaphors, in the "X is Y" form, were addressed: sensory and physi...

This study describes metaphorical conceptualizations of the foreign exchange market held by market participants and examines how these metaphors socially construct the financial market. Findings are based on 55 semi-structured interviews with senior foreign exchange experts at banks and at financial news providers in Europe. We analysed interview transcripts by metaphor analysis, a method based...