Communicating Answer Set Programs

Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been thoroughly studied. We show that allowing simple programs to talk to each other results in the same expressivity as adding negation-as-failure. Furthermore, we show that the ability to focus on one program in a network of simple programs results in the same expressivity as adding disjunction in the head of the rules.

Answer set programs with optional rules: a possibilistic approach

Many problems in artificial intelligence can be encoded as answer set programs (ASP) in which some rules are uncertain. ASP programs with incorrect rules may have erroneous conclusions, but due to the non-monotonic nature of ASP, omitting a correct rule may also lead to errors. To derive the most certain conclusions from an uncertain ASP program, we thus need to consider all situations in which some, none, or all of the least certain rules are omitted. This corresponds to treating some rules as optional and reasoning about which conclusions remain valid regardless of the inclusion of these optional rules. While a version of possibilistic ASP (PASP) based on this view has recently been introduced, no implementation is currently available. In this paper we propose a simulation of the main reasoning tasks in PASP using (disjunctive) ASP programs, allowing us to take advantage of state-of-the-art ASP solvers. Furthermore, we identify how several interesting AI problems can be naturally seen as special cases of the considered reasoning tasks, including cautious abductive reasoning and conformant planning. As such, the proposed simulation enables us to solve instances of the latter problem types that are more general than what current solvers can handle.

"No Encores" The Royal Dublin Society Concert Archive Recitals in Retrospect: 1925-50

A large archive of sources for the RDS classical music recitals is extant in the Society’s Library, Ballsbridge, Dublin. The recitals were established in 1886 for the promotion of chamber music and in order to expose Dublin audiences to the works of the great composers. Extant in the collection are minute books; autographed programmes; newspaper cuttings which include previews, reviews and advertisements; correspondences with artists and agents; promotional material; selections of photographs; records of attendance, artists fees and takings; and volumes of printed music.
This paper will document the organisation, management and occurrence of the RDS classical music recitals for the period 1925 to 1950 and will encompass the opening of the current concert hall (The Members’ Hall, 1925), the Society’s bi-centenary celebrations (1931) and the continuance of the recitals within the context of the Second World War (1939- 45). The paper will examine and analyse the following: networks, repertoire and reception.
The RDS music committee established significant links with many performers and UK-based classical music agents. Recitalists include musicians of international renown; Myra Hess, Isolde Menges, Lili Kraus, Joseph Szigeti, Leon Goossens, Sir Hamilton Harty and The Hallé Orchestra, The Catterall Quartet and many local, Dublin-based musicians; Raidió Éireann Orchestra, Dublin String Orchestra, Dublin Philharmonic Orchestra and Culwick Choral Society. The compromises and collaborations in evidence between the music committee, agents and performers resulted in the presentation of varied and well-balanced programmes featuring sonatas, quartets, trios, concerti, overtures, symphonies and songs by composers including Beethoven, Mozart, Haydn and Brahms. Works by contemporary composers including Bax, Dohnanyi, Szymanowski and Suk were also regularly performed, as were works with an Irish influence or flavour. Audiences mainly consisted of members of the Society, music students were encouraged to attend at a reduced rate and reviews were regularly published in the Irish Times, Irish Independent and Irish Press.

Factors influencing the success of rural cataract surgery programs in China:The study of hospital administration and relative productivity (SHARP)

PURPOSE. To explore factors potentially influencing the success or failure of rural Chinese hospitals in increasing cataract surgical output and quality. METHODS. Focus groups (FGs, n = 10) were conducted with hospital administrators, doctors, and nurses at 28 county hospitals in Guangdong Province. Discussions explored respondents' views on increasing surgical volume and quality and improving patient satisfaction. Respondents numerically ranked possible strategies to increase surgical volume and quality and patient satisfaction. FG transcripts were independently coded by two reviewers utilizing the constant comparative method following the grounded theory approach, and numerical responses were scored and ranked. RESULTS. Ten FGs and 77 ranking questionnaires were completed by 33 administrators, 23 doctors, and 21 nurses. Kappa values for the two coders were greater than 0.7 for all three groups. All groups identified a critical need for enhanced management training for hospital directors. Doctors and nurses suggested reducing surgical fees to enhance uptake, although administrators were resistant to this. Although doctors saw the need to improve equipment, administrators felt current material conditions were adequate. Respondents agreed that patient satisfaction was generally high, and did not view increasing patient satisfaction as a priority. CONCLUSIONS. Our findings highlight agreements and disagreements among the three stakeholder groups about improving surgical output and quality, which can inform strategies to improve cataract programs in rural China. Respondents' beliefs about high patient satisfaction are not in accord with other studies in the area, highlighting a potential area for intervention. © 2013 The Association for Research in Vision and Ophthalmology, Inc.

Can group exercise programs improve health outcomes in pregnant women? A systematic review

Current scientific evidence supports the recommendation to initiate or continue the practice of physical exercise in healthy pregnant women. Group exercise programs have positive effects in improving health and well-being, as well as social support. In order to understand the scientific evidence in this field, and the outcomes in maternal health, it has generated wide interest in exploring the studies carried out with more relevant group exercise programs. The aim of this systematic review was to evaluate the available evidence on the effectiveness of group exercise programs in improving women’s and newborns health outcomes during pregnancy. Three databases were used to conduct literature searches and strict inclusion and exclusion criteria were employed. Seventeen studies were selected for analysis. All studies were randomized control trials conducted with pregnant women that evaluated the effect of group exercise programs on the health outcomes of mother and newborn. Most studies followed a supervised structured exercise program including a main aerobic part, resistance training, pelvic floor training and stretching and relaxation sections. The significant effects of the programs are related with improved maternal perception of health status, lower maternal weight gain, improved levels of maternal glucose tolerance, improved aerobic fitness and muscular strength, lower frequency of urinary incontinence, improved sick leave due to lumbopelvic pain, fewer cesarean and instrumental deliveries, higher newborn Apgar score and faster postpartum recovery. Exercise and health professionals should advise pregnant women that aerobic group exercise during pregnancy improves a wide range of health outcomes for the women and newborn

Principles and Practical Grouping for the Use of Drill and Practice Programs

A previous paper showed that young children performed better when working as individuals rather than in pairs on a drill and practice program. This paper reports an analysis of behaviour and talk for individuals and single sex pairs using a computer-based drill and practice activity to explain differences in performance. Results indicated that individuals were more likely to be task-focused and to complete tasks successfully than children working in pairs. Differences were found in off-task activity, behaviours and type of talk. Grouping and verbal interaction are discussed in relation to the type of task/program that children are asked to undertake, and how both task and peer presence may constrain the child's task focus and performance when reinforcing pre-existing knowledge.

University Concert Band, April 28, 1948

Concert program for University Concert Band, April 28, 1948

The Summer Concert Band, 5th Festival of Contemporary Works, July 18, 1951

Concert program for The Summer Concert Band, 5th Festival of Contemporary Works, July 18, 1951

"A Concert in Swing"; The Concert Band, The Pep Band, November 29, 1939

Concert program for "A Concert in Swing"; The Concert Band, The Pep Band, November 29, 1939

Concert Band, March 7, 1937

Concert program for Concert Band, March 7, 1937

Jazz Concert, February 22, 1977

Concert program for Jazz Concert, February 22, 1977

Autumn Concert, November 11, 1990

Concert program for Autumn Concert, November 11, 1990

A Doctoral Concert Featuring Compositions by Brad Sherman,June 9, 1999

A Doctoral Concert Featuring Compositions by Brad Sherman, June 9, 1999

"24" Wind Ensemble, Campus Band, Concert Band, Symphonic Band, March 11, 2008

Concert program for '24' Wind Ensemble, Campus Band, Concert Band, Symphonic Band, March 11, 2008