Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in - ti?cial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to edu- tional aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-de?ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-de?ned and rigorous framework for implemen- tions, environments, tools, and standards, and for linking together speci?cation and veri?cation of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum for discussing, presenting, and promoting computational logic-based approaches in the design, development, analysis, and application of multi-agent systems.

Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal methods into industrial engineering practice, including new and emerging practice. The now long-established series of International Conferences on Formal - gineering Methods brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend and to help - vance the state of the art. This volume contains the papers presented at ICFEM 2009, the 11th International Conference on Formal Engineering Methods, held during December 9-11, in Rio de Janeiro, Brazil.

Features Focus on the foundational theory underpinning Reinforcement Learning Suitable as a primary text for courses in Reinforcement Learning, but also as supplementary reading for applied/financial mathematics, programming, and other related courses Suitable for a professional audience of quantitative analysts or industry specialists Blends theory/mathematics, programming/algorithms and real-world financial nuances while always striving to maintain simplicity and to build intuitive understanding.

This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca- fornia during July 14-17, 2009. The ICLP series of conferences is aimed at p- viding a technical forum for presenting and disseminating innovative research results in the ?eld of logic programming. Theconference,whichwasco-locatedwiththeInternationalJointConference on Arti?cial Intelligence (IJCAI), featured technical presentations, tutorials, - vited talks, and a number of special events, including: - The 5th ICLP Doctoral Student Consortium - The Second Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) - The 6th International Workshop on Constraint Handling Rules (CHR) - The 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) - The 4th International Workshop on (Constraint) Logic Programming and Software Engineering (CLPSE) - The First Workshop on Commercial Users of Logic Programming (CULP) - Workshop on ISO Prolog - WG17 - The 19th Workshopon Logic-basedmethods in ProgrammingEnvironments (WLPE) Since the ?rst conference held in Marseilles in 1982, ICLP has been the p- miere international conference for disseminating research results in logic p- gramming. The present edition of the conference received 69 submissions in three categories:application, system and tool, and technical papers. From these, the ProgramCommittee selected 29 papers for presentation and inclusion in the proceedings. In addition, the committee selected nine short papers describing on-going research work, PhD theses and research project overviews for poster presentations and inclusion in the proceedings.

In the fast moving world of information technology, Java is now the number 1 programming language. Programmers and developers everywhere need to know Java to keep pace with traditional and web-based application development. COBOL Programmers Swing with Java provides COBOL programmers a clear, easy transition to Java programming by drawing on the numerous similarities between COBOL and Java. The authors introduce the COBOL programmer to the history of Java and object-oriented programming and then dive into the details of the Java syntax, always contrasting them with their parallels in COBOL. A running case study gives the reader an overall view of application development with Java, with increased functionality as new material is presented. This new edition features the development of graphical user interfaces (GUI's) using the latest in Java Swing components. The clear writing style and excellent examples make the book suitable for anyone wanting to learn Java and OO programming, whether they have a background in COBOL or not.

The19thBrazilianSymposiumonArti?cialIntelligence(SBIA2008)washeldin Salvador, Bahia, Brazil, duringOctober26-30,2008.ItwashostedbytheFederal UniversityofBahia (UFBa)and, ashasoccurredsince2002, wascollocatedwith theBrazilianSymposiumonArti?cialNeuralNetworks(SBRN), nowinitstenth edition. This year the two events took place jointly also with the Intelligent Robotics Journey (JRI). SBIA, supported by the Brazilian Computer Society (SBC), is the leading conference in Brazil for the presentation of research and applications results in arti?cial intelligence. Since 1995, SBIA has become an international conference, with paperswritten exclusivelyin English, aninternationalProgramCommittee (PC) and keynote speakers, and proceedings published in the Lecture Notes in Arti?cial Intelligence series of Springer. Since 1996, SBIA has been a biennial event. TheSBIA2008programincludedkeynotetalks/tutorialsbysomeofthemost distinguished researchers in the area, ?ve workshops and a thesis and disser- tion contest. SBIA 2008 continued the tradition of high selectivity for published papers and double-blind reviewing.A total of 142 submissions from 15 countries were received, of which only 27 were accepted for publication in this volume, yielding an acceptance rate of 19%. Each submission was reviewed by three PC members, and a recommendation was provided for each paper based on disc- sion among the reviewers moderated by the Program Chair. We would like to thank all researches who submitted their papers to SBIA 2008. We are indebted to the 150 PC members, and also to the other reviewers, for their excellent work: thorough and timely reviews, and participation in the discussions.SBIA2008hadtheprivilegeandhonorofhavingthisPCandinvited speakers. We gratefully acknowledge everyone in the Organizing Committee for their invaluable support, Aline Paes for helping with the preparation of this volume, along with the agencies CNPq and CAPES for the ?nancial s

Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?c aspect. Like a blueprint in civil engineering, a software architecture providesan abstraction from the full software system's complexity. It allows software designers to get an overview on the system underdevelopmentandtoanalyzeitsproperties.Inthissense, modelsarethefoundation needed for software development to become a true engineering discipline. Especially when reasoning on a software system's extra-functional properties, its software architecture carries the necessary information for early, design-time analyses. These analyses take the software architecture as input and can be used to direct the design process by allowing a systematic evaluation of different design alternatives. For example, they can be used to cancel out decisions which would lead to architecture - signs whose implementation would not comply with extra-functionalrequirements like performance or reliability constraints. Besides such quality attributes directly visible to the end user, internal quality attributes, e.g., maintainability, also highly depend on the system's architecture. In addition to the above-mentioned technical aspects of software architecture m- els, non-technical aspects, especially project management-related activities, require an explicit software architecture model. The models are used as input for cost esti- tions, time-, deadline-, and resource planning for the development teams. They serve the project management activities of planning, executing, and controlling, which are necessary to deliver high-quality software systems in time and within the budget.

While Web 2.0 was about data, Web 3.0 is about knowledge and information. Scripting Intelligence: Web 3.0 Information Gathering and Processing offers the reader Ruby scripts for intelligent information management in a Web 3.0 environmentincluding information extraction from text, using Semantic Web technologies, information gathering (relational database metadata, web scraping, Wikipedia, Freebase), combining information from multiple sources, and strategies for publishing processed information. This book will be a valuable tool for anyone needing to gather, process, and publish web or database information across the modern web environment.Text processing recipes, including speech tagging and automatic summarization Gathering, visualizing, and publishing information from the Semantic Web Information gathering from traditional sources such as relational databases and web sites What you'll learn Gather and process information within the Web 3.0 environment. See the flexibility of scripting with Ruby to gather and process information. Extract text from various document formats. Work with the Resource Description Framework(RDF) data model and SPARQL query language, the foundations of the Semantic Web. Use GraphViz for data visualization. Extract information from relational databases and web sites. Who this book is for

Anyone needing to gather and display information available in electronic formats Programmers needing to tag, summarize, or publish information Ruby programmers and computer enthusiasts interested in seeing what Ruby can do with information management and Semantic Web tools Academic researchers needing to extract and organize information in a more automated way Table of Contents Parsing Common Document Types Cleaning, Segmenting, and Spell-Checking Text Natural Language Processing Using RDF and RDFS Data Formats Delving Into RDF Data Stores Performing SPARQL Queries and Understanding Reasoning Implementing SPARQL Endpoint Web Portals Working with Relational Databases Supporting Indexing and Search Using Web Scraping to Create Semantic Relations Taking Advantage of Linked Data Implementing Strategies for Large-Scale Data Storage Creating Web Mashups Performing Large-Scale Data Processing Building Information Web Portals

This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008.

The 44 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 107 submissions. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.

Much of a software architect's life is spent designing software systems to meet a set of quality requirements. General software quality attributes include scalability, security, performance or reliability. Quality attribute requirements are part of an application's non-functional requirements, which capture the many facets of how the functional - quirements of an application are achieved. Understanding, modeling and continually evaluating quality attributes throughout a project lifecycle are all complex engineering tasks whichcontinuetochallengethe softwareengineeringscienti ccommunity. While we search for improved approaches, methods, formalisms and tools that are usable in practice and can scale to large systems, the complexity of the applications that the so- ware industry is challenged to build is ever increasing. Thus, as a research community, there is little opportunity for us to rest on our laurels, as our innovations that address new aspects of system complexity must be deployed and validated. To this end the 5th International Conference on the Quality of Software Archit- tures (QoSA) 2009 focused on architectures for adaptive software systems. Modern software systems must often recon guretheir structure and behavior to respond to c- tinuous changes in requirements and in their execution environment. In these settings, quality models are helpful at an architectural level to guide systematic model-driven software development strategies by evaluating the impact of competing architectural choices.

This book contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, in Paphos, Cyprus, in July 2008.

The 11 collected reports from high-quality workshops - provided by the respective organizers - all are related to selected aspects in the field of object-oriented programming and technology. The topics covered span areas related to object-oriented programming and technology, such as programming languages, aspects, parallel computing, formal techniques, software engineering, tools, and applications.

This volume contains the papers accepted for presentation at the 15th Wo- ing Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2009), held in Amsterdam during June 8-9, 2009. Since 1994, when the ?rstREFSQ tookplace, requirementsengineering (RE) has never ceasedto be a dominantfactor in?uencing the quality of software, s- tems and services. Initially started as a workshop, the REFSQ working conf- ence series has now established itself as one of the leading international forums for discussing RE in its many relations to quality. It seeks reports on novel ideas and techniques that enhance the quality of RE products and processes, as well as re?ections on current research and industrial RE practices. One of the most appreciated characteristics of REFSQ is that of being a highly interactive and structured event. Each session is organized in order to provokediscussion among the presenters of papers, discussants and all the other participants.Typically, after a paper is presented, it is immediately discussed by one or two pre-assigned discussants, then subject to a free discussion involving all participants. At the end of each session, an open discussion of all the papers presented in the session takes place. REFSQ 2009 maintained this tradit

This volume contains the papers presented at the 9th European Conference on Case-Based Reasoning (ECCBR 2008). Case-based reasoning (CBR) is an arti?cial intelligence approach whereby new problems are solved by remembering, adapting and reusing solutions to a previously solved, similar problem. The collection of previously solved problems andtheirassociatedsolutionsisstoredinthecasebase. Neworadaptedsolutions are learned and updated in the case base as needed. In remembrance of the First European Workshop on Case-Based Reasoning, which took place 15 years ago at the European Academy Otzenhausen, not far from Trier, this year's conference was especially devoted to the past, present, and future of case-based reasoning. ECCBR and the International Conference on Case-Based Reasoning (IC- CBR) alternate every year. ECCBR 2008 followed a series of seven successful European workshops previously held in Otzenhausen, Germany (1993), Ch- tilly, France (1994), Lausanne, Switzerland (1996), Dublin, Ireland (1998), and Trento, Italy (2000), and three European conferences in Aberdeen, UK (2002), ] Madrid, Spain (2004), and Olu ]deniz/Fethiye, Turkey (2006). The International Conferences on Case-Based Reasoning (ICCBR) were previously held in Ses- bra, Portugal (1995), Providence, Rhode Island, USA (1997), Seeon, Germany (1999), Vancouver, Canada (2001), Trondheim, Norway (2003), Chicago, USA (2005), and Belfast, Northern Ireland (2007). These meetings have a history of attracting ?rst-class European and international researchers and practiti- ers. The proceedings of the ECCBR and ICCBR conferences are published by Springer in their LNAI series."

Liferay Portal is the leading open-source enterprise portal framework that uses Java and Web 2.0 technologies.

Web portals often function as a point of access to information on the World Wide Web. Web portals, such as Yahoo , present information from diverse sources in a unified way. Aside from the search engine standard, web portals offer other services such as email, news, stock prices, infotainment, and various other features. Portals provide a means for enterprises to supply a consistent look and feel with access control and procedures for multiple applications that otherwise would have been separate entities altogether.

So, how do developers bring existing applications, as well as integrate content management systems and search engines, into a portal? And how do developers get started with the Liferay Portal engine? In Practical Liferay: Javabased Portal Applications Development, Dr. PoornachandraSarang answers these questions and more.

This book is for those who want to learn how to use Liferay to develop vertical or companyspecific web portals and beyond. The book will serve as a practical guide to learning Liferay and developing realworld web portals. What you'll learn Become an expert of the Liferay portal engine. Create dynamic web portals. Use templatebased design for easy fit and form. Design and integrate discussion forums, chats, and IM. Build blogs, wikis, RSS feeds, and more. Use Liferay for developing Javabased content management software. Deploy and manage portal administration. Who this book is for

This book is for web and portal developers who use Java to build Web 2.0 portals for their company, enterprise, or even personal use. The book does not require any programming background and will be very useful for web developers in learning practical portal development.

ThisvolumecontainstheproceedingsofMPC2008, the9thInternationalConf- enceontheMathematicsofProgramConstruction.Thisseriesofconferencesaims to promote the development of mathematical principles and techniques that are demonstrably useful in the process of constructing computer programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal c- culation.Within this theme, the scopeofthe seriesisverydiverse, including p- grammingmethodology, programspeci?cationandtransformation, programming paradigms, programmingcalculi, andprogramminglanguagesemantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference. Each paper was refereed by at least four, and often more, committee members. This volume contains 18 papers selected for presentation by the Program Committee from 41 submissions, 1 invited paper which was reviewed as well, and the abstracts for two invited talks. The conference took place in Marseille-Luminy, France. The previous eight conferences were held in 1989 in Twente, The Netherlands; in 1992 in Oxford, UK; in 1995 in Kloster Irsee, Germany; in 1998 in Marstrand near Got ] eborg, Sweden; in 2000 in Ponte de Lima, Portugal; in 2002 in Dagstuhl, Germany; in 2004, in Stirling, UK; and in 2006 in Kuressaare, Estonia. The proceedings of these conferences were published as LNCS 375, 669, 947, 1422, 1837, 2386, 3125 and 4014, respectively. We aregratefulto the members ofthe ProgramCommittee andtheir referees for their care and diligence in reviewing the submitted pa

This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735).

The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), [email protected], multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.

It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) held in Paphos, Cyprus. The conference continues to serve a broad object-oriented community with a tech- cal program spanning theory and practice and a healthy mix of industrial and academic participants. This year a strong workshop and tutorial program c- plementedthemaintechnicaltrack.Wehad13workshopsand8tutorials,aswell as the co-located Dynamic Language Symposium (DLS). Finally, the program was rounded out with a keynote by Rachid Guerraoui and a banquet speech by James Noble. As in previous years, two Dahl-Nygaard awards were selected by AITO, and for the ?rst time, the ECOOP Program Committee gave a best paper award. Theproceedingsinclude27papersselectedfrom138submissions.Thepapers werereviewed in a single-blind process with three to ?ve reviews per paper. P- liminaryversionsofthereviewsweremadeavailabletotheauthorsaweekbefore the PC meeting to allow for short (500 words or less) author responses. The - sponses were discussed at the PC meeting and were instrumental in reaching decisions. The PC discussions followed Oscar Nierstrasz'Champion pattern. PC papers had ?ve reviews and were held at a higher standard.

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This state-of-the-art survey presents the outcome of the 7th Symposium on Formal Methods for Components and Objects, held in Sophia Antipolis, France, in October 2008. The volume contains 14 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP6 project GridComp on grid programming with components; and the IST-FP6 project MOBIUS aiming at developing the technology for establishing trust and security for the next generation of global computers, using the proof carrying code paradigm.

Computing Projects In Visual Basic. NET is ideal for AS/A level Computing, 'A' level ICT and Advanced VCE ICT students. The text assumes no starting knowledge of programming and covers everything needed to write a large program, which makes this a great text for Students on other courses, such as BTEC National, and first year HND and degree courses, as well as personal and professional readers. For AS/A level Computing - depending on the Examining Board computing students may need to produce a small project or write a number of programs for the 'AS' part of the course. For 'A' level a substantial piece of programming may be needed. The theory part of the course covers a number of important programming concepts, which are far better learned through practical programming than only through the pages of a textbook. Visual Basic is an excellent, modern language through which to learn these concepts. For AVCE students - an optional unit on programming using an event-driven language such as Visual Basic is offered by all the Boards. One of the Boards offers two units. Although the amount of programming is not expected to be as much as an A level student of Computing would do, it is still substantial. The object oriented approach to programming is explained and used where applicable.

You've long been enamored with the Python language, and have mastered its many nuances. Yet something seems to be missinga productivity boost that you know is possible but you're not sure how to go about it. This was the sentiment of so many developers before discovering Agile programming paradigm, which embraces concepts such as automation, effective code management, and testdriven development.

Foundations of Agile Python Development is the first book to apply these soughtafter principles to Python developers, introducing both the tools and techniques built and supported by the Python community. Authored by Jeff Younker, a wellknown member of Python's agile community who is perhaps best known for his creation of a popular Python testing framework, this book is sure to be a hit among readers who may have reached their limits of knowledge regarding the Python language, yet are seeking to improve their understanding of how sound processes can boost productivity to unparalleled heights. What you'll learn Understand why the Agile movement is increasing productivity and decreasing programmer stress the world aroundUse Eclipse and Subversion to add a whole new level of efficiency to your daily programming activitiesChange your perspective on testing from a necessary evil to a compelling and crucial part of your development processAutomate your build process, eliminating much of the tedium surrounding testing and deployment tasks Who this book is for

Python developers seeking to take advantage of efficient developer tools and techniques to boost productivity.

PeterMosses, renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To honor this event, many of Peter's coauthors, collaborators, close colleagues, and former students gathered in Udine, Italy on September 10, 2009 for a s- posium in his honor. The presentations were on subjects related to Peter's many technicalcontributionsand they were a tribute to his lasting impact onthe ?eld. Here is the program of the symposium: - Opening: Jens Palsberg - Session 1: (Chair: Jos e Luiz Fiadeiro) David Watt, Action Semantics in Retrospect H el eneKirchner, Component-BasedSecurityPolicyDesignwithColored Petri Nets Jos e Meseguer, Order-Sorted Parameterization and Induction - Session 2: (Chair: Andrzej Tarlecki) Martin Musicante, An implementation of Object-Oriented Action Semantics in Maude ChristianoBraga, AConstructiveSemanticsforBasicAspectConstructs Bartek Klin, Structural Operational Semantics for Weighted Transition Systems - Session 3: Fernando Orejas, On the Speci?cation and Veri?cation of Model Tra- formations Olivier Danvy, Towards Compatible and Interderivable Semantic Spe- ?cations for the Scheme Programming Language Mark van den Brand, Type Checking Evolving Languages with MSOS Edward Hermann Haeusler, Action Algebras and Model Algebrasin - notational Semantics - Closing: Peter Mosses ManythankstoMarinaLenisafromthe UniversityofUdine whocoordinated the local arrangements. We also thank the Amga spa and the Net spa of Udine, the Municipality of Udine, the International Centre for Mechanical Sciences of Udine, and the Fondazione Crup for their ?nancial support. The 17 invited chapters of this Festschrift represent the proceedings of the symposium. Somecontributorswereunabletoattendthe event."

The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML Language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface. This manual will be an indispensable reference for students, professional programmers, and language designers.

This volume contains the proceedings of the 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), which took place at the University of California, Los Angeles, August 10-12, 2008. The SPIN workshops form a forum for researchers and practitioners interested in model checking techniques for the veri?cation and validation of software systems. Model checking is the process of checking whether a given structure is a model of a given logical f- mula.The structure normallyrepresents a setof tasks executing in parallelin an interleaved fashion, resulting in a non-deterministic set of executions. The main focusoftheworkshopseriesissoftwaresystems, including models andprograms. Subjects of interest include theoretical and algorithmic foundations as well as toolsfor softwaremodel checking.The workshopin additionaimsto foster int- actions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. There were 41 submissions, including 38 full papers and 3 tool papers. Each submissionwasreviewedbyatleastthreeProgrammeCommitteemembers.The committee decided to accept 18 papers, including 17 regular papers and 1 tool paper. The programme also included ?ve invited talks (in alphabetical order): Matthew Dwyer (University of Nebraska) "Residual Checking of Safety Pr- erties," Daniel Jackson (MIT) "Patterns of Software Modelling: From Classic To Funky," Shaz Qadeer (Microsoft Research) "The Case for Context-Bounded Veri?cation of Concurrent Programs," Wolfram Schulte (Microsoft Research) "Using Dynamic Symbolic Execution to Improve Deductive Veri?cation," and Yannis Smaragdakis (University of Oregon) "Combining Static and Dynamic Reasoning for the Discovery of Program Properties."

Artificial Intelligence (AI) is a rapidly growing inter-disciplinary field with a long and distinguished history that involves many countries and considerably pre-dates the development of computers. It can be traced back at least as far as Ancient Greece and has evolved over time to become a major subfield of computer science in general.

This state-of-the-art survey not only serves as a "position paper" on the field from the viewpoint of expert members of the IFIP Technical Committee 12, its Working Groups and their colleagues, but also presents overviews of current work in different countries.

The chapters describe important relatively new or emerging areas of work in which the authors are personally involved, including text and hypertext categorization; autonomous systems; affective intelligence; AI in electronic healthcare systems; artifact-mediated society and social intelligence design; multilingual knowledge management; agents, intelligence and tools; intelligent user profiling; and supply chain business intelligence. They provide an interesting international perspective on where this significant field is going at the end of the first decade of the twenty-first century.

This volume contains the proceedings of the 10th IFIP Working Group 6.1 - ternational Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008).The conference was part of the Third Federated c- ferences on Distributed Computing Techniques (DisCoTec), together with the 10th International Conference on Coordination Models and Languages (COOR- DINATION 2008) and the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2008). We are grateful to Frank Eliassen and Einar Broch Johnsen of the University of Oslo for the excellent organization of this event in Olso, Norway, June 4-6, 2008. The goal of the FMOODS conferences is to bring together researchers and practitioners whose work encompasses three important and related ?elds: - Formal methods - Distributed systems - Object-based technology The 14 papers presented at FMOODS 2008 and included in this volume were selected by the Program Committee among 35 submissions. Each submission was reviewed by at least three Program Committee members. They all re?ect thescopeoftheconferenceandcoverthe following topics: semantics of obje- oriented programming; formal techniques for speci?cation, analysis, and re?- ment; model checking; theorem proving and deductive veri?cation;type systems and behavioral typing; formal methods for service-oriented computing; integ- tion of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.