This book presents thoroughly arranged tutorial papers corresponding to lectures given by leading researchers at the Second International Summer School on Reasoning Web in Lisbon, Portugal, in September 2006.

Building on the predessor school held in 2005 and published as LNCS 3564, the ten tutorial lectures presented provide competent coverage of current topics in semantic Web research and development. The lectures are organized in topical sections on semantic Web query languages; semantic Web rules and ontologies; bioinformatics and medical ontologies and industrial aspects.

The European Society for Arti?cial Intelligence in Medicine (AIME) was - tablished in 1986 with two main goals: 1) to foster fundamental and applied research in the application of Arti?cial Intelligence (AI) techniques to medical care and medical research, and 2) to provide a forum for reporting signi?cant results achieved at biennial conferences. Additionally, AIME assists medical - dustrials to identify new AI techniques with high potential for integration into new products. A major activity of this society has been a series of international conferences, fromMarseille(FR)in1987toCascais(PT)in2001, heldbiennially over the last 16 years. The AIME conference provides a unique opportunity to present and improve the international state of the art of AI in medicine from both a research and an applicationsperspective.Forthispurpose, theAIMEconferenceincludesinvited lectures, contributed papers, system demonstrations, tutorials and workshops. The present volume contains the proceedings of the AIME 2003 conference, the ninthconferenceonArti?cialIntelligenceinMedicineinEurope, heldinCyprus, October 18-22, 2003. In the AIME 2003 conference announcement, we encouraged authors to s- mit original contributions to the development of theory, techniques, and - plications of AI in medicine, including the evaluation of health care programs. Theoretical papers should include a prospective part about possible applications to medical problems solving. Technical papers should describe the novelty of the proposed approach, its assumptions and pros and cons compared to other alt- native techniques. Application papers should present su?cient information to allow the evaluation of the practical bene?ts of the proposed system or meth- ol

This book constitutes the refereed proceedings of the 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001, held in Cascais, Portugal in July 2001. The 31 revised full papers presented together with 30 posters and two invited papers were carefully reviewed and selected from 79 submissions. Among the topics addressed in their context on medical information processing are knowledge management, machine learning, data mining, decision support systems, temporal reasoning, case-based reasoning, planning and scheduling, natural language processing, computer vision, image and signal interpretation, intelligent agents, telemedicine, careflow systems, and cognitive modeling.

The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones held in Porto (1985), Lisboa (1986), Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995) and Coimbra (1997). Starting in 1989, the conferences have been held biennially (alternating with an APPIA Advanced School on Arti cial Intelligence) and become truly international: English has been adopted as the o cial language and the proceedings are published in Springer s LNAI series. The conference has recon rmed its high international standard this year, largely due to its programme committee, composed of distinguished researchers in a variety of specialities in Arti cial Intelligence, half of them from Portuguese universities. This has attracted a signi cant international interest, well expressed by the number of papers submitted (66), from 17 di erent countries, 29 of which are by Portuguese researchers. From the 66 papers submitted, about one third of them (23) were selected for oral presentation and have been published in this volume. The review process enabled the selection of high quality papers, each paper being reviewed by two or three reviewers, either from the programme committee or by their appointment. We would like to thank all of the reviewers for their excellent and hard work."

This volume presents the proceedings of the 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95, held in Pavia, Italy in June 1995.
The volume contains 32 full refereed selected papers contributed by researchers and professionals coming from computer science departments, medical informatics departments, and hospitals; in addition there are the keynote address and 28 poster presentations. The volume is organized in topical sections on medical records, temporal reasoning and simulation, probabilistic models, patient management and therapy planning, evaluation of knowledge-based systems, diagnostic support systems, models for clinical information systems, and neural networks and image interpretation.

The Portuguese Association for Artificial Intelligence has been organizing Portuguese Conferences on Artificial Intelligence, now held every second year, since 1985. This volume contains selected papers from the Fifth Conference on Artificial Intelligence. The conference has an international status: 62 contributions from 13 countries were received, of which 26 were from Portugal. To guarantee a high scientific standard, all the contributions were reviewed by at least three researchers, and only 20 papers were accepted and included in these proceedings. The papers are organized into sections on constraints, search, knowledge representation, temporal reasoning, planning, diagnosis and repair, and learning.

This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006.

Besides papers taken from the workshop, others are submitted in response to an open call for papers after the workshop.

The 10 revised full papers presented together with a tutorial on hybrid algorithms were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.