This paper presents a very high-level introduction to Belief Revision and Truth Maintenance Systems, including explanations of basic terminology , a brief history, and a comment on the two literatures: the TMS literature, and the AGM Belief Revision literature. More extensive surveys in each of the two literatures are cited. The paper concludes with a proposal to continue the investigation of t...

The Assumption-Based Diagnostician (ABD) project demonstrates the applicability of formal techniques of assumption-based reasoning to qualitative diagnosis, a task complicated by many types of assumptions . Our primary goal is to connect the medical-knowledge level to the logical level by automating the conversion of high-level diagnostic concepts such as "symptoms" and "faults" into the constr...

A common and frustrating problem in software engineering is the introduction of new faults as a side-e ect of software maintenance. An understanding of all of the relationships that exist between modi ed software and the rest of a system can limit the introduction of new faults. For large systems, these relationships can be numerous and subtle. The relationships can be especially complex in obj...

©2017 Blue Cross and Blue Shield of Louisiana An independent licensee of the Blue Cross and Blue Shield Association No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, or otherwise, without permission from Blue Cross and Blue Shield of Louisiana. Page 1 of 20 Applies to all products admin...

INTRODUCTION Retention of the weight gained during pregnancy or the weight gain postpartum has been associated with increased prevalence of obesity in women of childbearing age. OBJECTIVE To identify determinants of weight variation at 24 months postpartum in women from 2 towns in Bahia, Brazil. METHODS Dynamic cohort data of 325 adult women were collected for 24 months postpartum. Weight v...

Ulcer relapse rates during up to 2 years of prophylactic low-dose maintenance therapy (LDMT) with cimetidine 400 mg at bedtime was examined in 261 patients. Endoscopy was repeated every 6 months if asymptomatic, or whenever symptoms recurred. Relapse was defined as the recurrence of an ulcer crater or erosions or both. In patients with non-refractory duodenal ulcer (those healed within 3 months...

Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conformance of these intensional views and relations against the source code, they supposedly facilitate a variety of software maintenance and evolution tasks. In this paper, by performing a case study on three different vers...

This paper presents a very high-level introduction to Belief Revision and Truth Maintenance Systems, including explanations of basic terminology, a brief history, and a comment on the two literatures: the TMS literature, and the AGM Belief Revision literature. More extensive surveys in each of the two literatures are cited. The paper concludes with a proposal to continue the investigation of th...

Many research efforts have led to robust database initial design methodologies. However, database evolutions suffer from lack of structured approaches. Using high-level conceptualization models like ontologies, we describe an original approach to database evolution management. Our aim is to help the maintenance engineer in 1) characterizing the evolution, 2) finding the best techniques and tool...

This paper describes the application of the ObjectOriented Modeling (OOM) on the modeling of Power Systems. It is intend to develop a computational objectoriented base to represent, in an efficient way, the physical components of a Power System and their methodologies of analysis and synthesis. The generalization level of the classes’ structure allows future specializations, on the side of impl...