The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show how ASP can be extended with ‘template’ predicate’s definitions. We present language syntax and give its operational semantics. We show that the theory supporting our ASP extension is sound, and that program encodings ar...

In this paper we define and compare Reverse Logistics definitions. We start by giving an understanding framework of Reverse Logistics: the why-what-how. By this means, we put in context the driving forces for Reverse Logistics, a typology of return reasons, a classification of products, processes and actors. In addition we provide a decision framework for Reverse Logistics and we present it acc...

Studying potential neuroprotective therapy for Parkinson's disease is conceptually problematic because of the heterogenous nature of the Parkinson's syndrome and complexities in operational definitions for neuroprotection. The current literature concerning neuroprotection provides no convincing evidence of any treatment as definitively neuroprotective in Parkinson's disease. Recent clinical tri...

a. This Glossary was compiled to promote a common understanding of the terms used in the Air Traffic Control system. It includes those terms which are intended for pilot/controller communications. Those terms most frequently used in pilot/controller communications are printed in bold italics. The definitions are primarily defined in an operational sense applicable to both users and operators of...

Ontologies built using OBO Foundry principles are advised to include both formal (logical) definitions and natural language definitions. Depending on the effort, one or the other can be underrepresented. Possible explanations to this bottleneck are the high cost of producing well-written definitions; an insufficient understanding of the nature of natural language definitions or of logic; the la...

A revised and refined version of the O’Carroll et al. (1996) nomenclature for suicidology is presented, with a focus on suicide-related ideations, communications, and behaviors. The hope is that this refinement will result in the development of operational definitions and field testing of this nomenclature in clinical and research settings. This revision would not have been possible without the...

Therapeutic Intervention Scoring System-28 (TISS-28) is a tool that enables the measurement of the nursing work load in Intensive Care Units and the estimate of how grave the disease is. In this study are presented the operational definitions for its application, proposed by a group of specialists in the area, with the aim of rendering uniform the meaning of each of the items and preventing int...

There have been several formal proposals for a function that evaluates disorder in a sequence. We show here that definitions that allow equivalence to an operational formulation allow for the construction of an algorithm for pseudo-random generation of nearly sorted sequences. As there is interest in comparing performance of algorithms on nearly sorted sequences during experimental evaluations ...

semantic models of both operational plans and operational environments to realign and relate data as well as enable automated reasoning and inferencing across those models. With the CAPE-based solutions in play, cross-domain commanders and staffs, as well as interagency, coalition, and nongovernmental organizations, will be able to communicate operational meaning and intent in a more structured...

This study compared the prevalence of metabolic syndrome (MS) according to World Health Organization (WHO), National Cholesterol Education Program Third Adult Treatment Panel (NCEP-ATP III), International Diabetes Federation (IDF) and American Heart Association/ National Heart, Lung and Blood Institute (AHA/NHLBI) definitions, to evaluate how well the different classifications agreed. The study...