The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to transform an arbitrary set of propositional formulas into an equivalent logic program and what are the complexity constraints on this process. We want the transformed program to be equivalent in a strong sense so that...

A real-time program can be developed by refining a specification into program code. Verification of the timing properties of the program is then usually done at two levels: verification of the ordering of timed actions in the program and proof that execution of the program on a specific system will meet its timing requirements. Refinement is done within a formal model but the second step requir...

We suggest a method for justifying why a literal is or is not contained in the answer set of a logic program. This method makes use of argumentation theory, more precisely of stable ASPIC+ extensions. We describe a way to translate a logic program into an ASPIC+ argumentation theory and investigate the relation between answer sets of the logic program and stable extensions of the translated ASP...

background: since type-2 diabetes is the most common chronic disease among iranian female adolescents, we applied theory of planned behavior to examine the effect of training to intention to preventative nutritional behaviors for type-2 diabetes among female adolescents.   methods: in this experimental study 200 (11-14 year old) girls from 8 schools of tehran city (100 in each intervention and ...

Social work and child welfare practitioners have long confronted the reality that child maltreatment and domestic violence often coexist within families. However, services for the victims of these types of family violence have been fragmented, forcing victims to go to multiple agencies for assistance. The purpose of this paper is to describe the program theory and logic model developed to guide...

The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a logical meta-theory, which represents the computation implementing deduction in its object theory. Comp...

Background: Since type-2 diabetes is the most common chronic disease among Iranian female adolescents, we applied theory of planned behavior to examine the effect of training to intention to preventative nutritional behaviors for type-2 diabetes among female adolescents.   Methods: In this experimental study 200 (11-14 year old) girls from 8 schools of Tehran city (100 in each intervent...

Type theory may be used as a programming language with an integrated programming logic. An implementation of the theory should then give an environment allowing you to specify, construct and verify programs interactively. We have used NUPRL [10], which is such an environment for type theory, to develop some examples. NUPRL’s logic is based on Martin-Löf’s type theory [7] and provides you with a...

The emergence of theory-driven evaluation has drawn attention to the need for practical ways for evaluators to construct program theory to achieve the benefits of the approach. This article illustrates the use of concept mapping as a technique to explicate underlying program theory in the context of family support programs. In this example, 29 professional staff members from a statewide family ...