We present KLMLean 2.0, a theorem prover for propositional KLM logics of nonmonotonic reasoning. KLMLean 2.0 implements some analytic tableaux calculi for these logics recently introduced. KLMLean 2.0 is inspired by the “lean” methodology, it is implemented in SICStus Prolog and it also contains a graphical interface written in Java.

THIS PAPER OUTLINES THE LAW ENFORCEMENT ACCESS NETWORK (LEAN) proposal recently announced by the Commonwealth Government. The proposal arose as a direct consequence of the Commonwealth Government’s acceptance of the recommendations in 1987 of the white paper entitled Review of Systems for Dealing with Fraud on the Commonwealth (Australia 1987). A description of the Commonwealth’s campaign again...

ABSTRACT Introduction: Interleukin-18 (IL-18) is a proinflammatory cytokine that is produced in adipose tissue and skeletal muscle. The circulating levels of IL-18 increases in obesity and some metabolic and cardiorespiratory diseases. The aim of the present study is to investigate the relationship between circulating levels of IL-18 and leptin, high-sensitivity C-reactive protei...

Since their introduction more than four decades ago, invariant assertions have, justifiably, dominated the analysis of while loops, and have been the focus of sustained research interest in the seventies and eighties, and renewed interest in the last decade. In this paper, we tentatively submit an alternative concept for the analysis of while loops, explore its attributes, its applications, and...

Since their introduction more than four decades ago, invariant assertions have, justifiably, dominated the analysis of while loops, and have been the focus of sustained research interest in the seventies and eighties, and renewed interest in the last decade. In this paper, we tentatively submit an alternative concept for the analysis of while loops, explore its attributes, and its relationship ...

Introduction: The effective method of treatment of Polycystic Overy Syndrome (PCOS) is lifestyle modification. The aim of this study was to evaluate the effect of 12 weeks aerobic exercise on DHEAso4, 17OH-Progestron Concentrations, number of follicles and menstrual condition of women with PCOS. Methods: In this clinical trial, 40 PCOS patients lean (BMI<20) and obese (BMI>25) randomly divided ...

Lean health care is one of new managing approaches putting the patient at the core of each change. Lean construction is based on visualization for understanding and prioritizing imporvments. By using only visualization techniques, so much important information could be missed. In order to prioritize and select improvements, it’s essential to integrate new analysis tools to achieve a good unders...

Background and Aim: The growing healthcare expenses, technological advancements and increasing competition in healthcare services, brings up new challenges for healthcare industry in providing appropriate services to customers. The Lean methodology, which is a managerial approach, provides tools necessary to eliminate waste and increase customer satisfaction through increasing quality of the se...