ion and well-founded relations Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, and Sergio Mover 1 Fondazione Bruno Kessler {cimatti,griggio,tonettas}@fbk.eu 2 Charles University in Prague, Faculty of Mathematics and Physics, Department of Distributed and Dependable Systems [email protected] 3 University of Colorado Boulder [email protected] Abstract. We present ...

Software developers and IT providers can benefit by defining a Process Model as a framework for their currently implemented practices and processes. By basing it on the “good practice” of the ISO12207 Software Life Cycle standard, it helps to implement quality management practice consistent with ISO9001, assess the capability of their processes against a maturity model such as ISO15504 (SPICE) ...

background influenza is a world-wide public health concern. it is one of the most important viral causes of acute respiratory illness, affecting all age groups, recurring several times during a lifetime. we assessed the antibody titers after vaccination against influenza among hiv-infected patients and health care workers (hcws). patients and methods during this before-after study, the antibody...

We show that the well-founded semantics and the stable semantics are equivalent on the class of the order-consistent programs which is a strict super-class of the locally-stratified programs class and of the call-consistent programs class. (1) Université de Paris 1 90 rue de Tolbiac 75634 Paris cedex 13 FRANCE email: [email protected]

The nonmonotonic formalism of partial equilibrium logic (PEL) was introduced and studied in [1,2] and proposed as a logical foundation for the partial stable and well-founded semantics of logic programs. Here we study further logical properties of PEL and some techniques to compute partial equilibrium models.