This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge Engineering, Ontologies and the Semantic Web; Knowledge Representation and Reasoning; Machine Learning; Natural Language Processing; Planning and Scheduling; and Recommendation Systems and Decision Making.

This book constitutes revised selected papers from the 12th International Conference on Web Information Systems and Technologies, WEBIST 2016, held in Rome, Italy, April 23-25, 2016, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC). The purpose of the WEBIST series of conferences is to bring together researches, engineers and practitioners interested in technological advances and business applications of web-based information systems. The 9 full papers presented in this volume were carefully reviewed and selected originally 123 paper submissions. They contribute to the understanding of relevant trends of current research on Web Information Systems and Technologies, comprising recommender systems, sentiment analysis, ranking, and Web applications and Web architecture.

This volume contains papers from the technical program of the 6th European Semantic Web Conference (ESWC 2009), held from May 31 to June 4, 2009, in Heraklion, Greece. ESWC 2009 presented the latest results in research and applications of Semantic Web technologies. In addition to the technical research track, ESWC 2009 featured a tutorial program, a PhD symposium, a system demo track, a poster track, a number of collocated workshops, and for the ?rst time in the series a Semantic Web in-use track exploring the bene?ts of applying Semantic Web technology in real-life applications and contexts. Thetechnical researchpaper trackreceivedover250submissions.The review process was organized using a two-tiered system, where each submission was reviewed by at least three members of the Program Committee. Vice Program CommitteeChairsorganizedadiscussionbetweenreviewers,collectedadditional reviews when necessary and provided a metareview for each submission. During a physical Program Committee meeting, the Vice Program Committee Chairs together with the Program Chairs selected 45 research papers to be presented at the conference.

The First Future Internet Symposium was held during September 28-30, 2008 in Vienna, Austria. FIS 2008 provided a forum for leading researchersand pr- titioners to meet and discuss the wide-ranging scienti?c and technical issues related to the design of a new Internet. The sentiment shared in Vienna was that we are at the beginning of something very exciting and challenging and that FIS 2008 has played a role in forming a community to address this. With overa billionusers,today's Internet is arguablythe most successful- man artifact ever created. The Internet's physical infrastructure, software, and content now play an integralpart in the lives of everyoneon the planet, whether they interact with it directly or not. Now nearing its ?fth decade, the Int- net has shown remarkable resilience and ?exibility in the face of ever-increasing numbers of users, data volume, and changing usage patterns, but faces gr- ing challenges in meetings the needs of our knowledge society. Globally, many major initiatives are underway to address the need for more scienti?c research, physical infrastructure investment, better education, and better utilization of the Internet. Japan, the USA and Europe are investing heavily in this area. The EU is shaping around the idea of the Future Internet its research programmes for the Seventh Framework. EU commissioners, national government ministers, industry leadersand researchersmet in Bled, Slovenia during March 31-April2, 2008, to begin developing a vision of a future Internet that will meet Europe's needs a decade from now, and beyond. Abroadprogrammeofscienti?cresearchisessentialtosupportingtheaimsof the Future Internetinitiative.

The 13th Conference on Arti?cial Intelligence: Methodology, Systems, App- cations (AIMSA 2008) was held in Varna, Bulgaria, on September 4-6, 2008. The AIMSA conference series has provideda biennial forum for the presentation of arti?cial intelligence research and development since 1984. The conference covered the full range of topics in arti?cial intelligence and related disciplines and provided an ideal forum for international scienti?c exchange between C- tral/Eastern Europe and the rest of the world. For AIMSA 2008, wedecided to placespecial emphasisonthe worksonth- ries, experimentations, applications, and case studies that demonstrate in pr- tice the added value and the impact ofAI science, methodologiesand techniques for the market, society, and culture. We believe that this vision of "AI@WORK" truly re?ects the original intention of AIMSA, a conference dedicated to ar- ?cial intelligence in its entirety but with a special emphasis on "methodology, systems, and applications," as explicitly stated in its name. According to this vision, we have also paid special attention to works that "cross the boundaries of AI," i. e., works that demonstrate the in?uence of AI on di?erent ?elds of research and di?erent scienti?c communities, such as software engineering, data bases, distributed systems, information systems, information retrieval, etc. Both of these aspects were covered by the papers that were submitted and by those that were accepted for publication. A total of 109 papers were submitted to the conference, and the program committee accepted 30 full papers and 10 posters.

This volume contains the proceedings of the Third International Conference on Service-Oriented Computing (ICSOC 2005), that took place in Amsterdam, The Netherlands, December 12-15, 2005. The 2005 edition had the important and ambitious goal of bringing together the different communities working in Web services and service-oriented computing. By attracting excellent contributions from different scientific communities, ICSOC aims at creating a scientific venue where participants can share ideas and compare their approaches to tackling the many still-open common research challenges. The commitment to cross-area fertilization was put into practice by having a very diversified Program Committee and by the presence of several area coordinators, leaders in the respective communities who encouraged and supervised submissions in each area. This is also the first edition to feature a successful workshop and demo program, with selected demos also presented in a paper-like fashion so that they get the attention they deserve. In addition, ICSOC 2005 inherited from previous editions a strong industrial presence, both in the conference organization and in the program. This is very important due to the industrial relevance and the many challenges of service oriented technologies.

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a severe labour shortage in this new field. Tony Hoare's prediction of the art of software (and hardware) development becoming a proper engineering science with its own body of tools and techniques is now becoming a reality. So the focus of this application oriented workshop was not so much on spe cial academic topics but rather on the many practical aspects of this emerging new technology: verification and validation, and tool support and integration into the software life-cycle. By evaluating the state of the art with respect to industrial applications a discussion emerged among scientists, practising engi neers, and members of regulatory and funding agencies about future needs and developments. This discussion lead to roadmaps with respect to the future of this field, to tool support, and potential application areas and promising market segments. The contributions of the participants from industry as well as from the respective national security bureaus were particularly valuable and highly appreciated."

This book constitutes revised selected papers from the 13th International Conference on Web Information Systems and Technologies, WEBIST 2017, held in Porto, Portugal, in April 2017. The purpose of the WEBIST series of conferences is to bring together researches, engineers and practitioners interested in technological advances and business applications of web-based information systems. The 12 full papers presented in this volume were carefully reviewed and selected from originally 77 paper submissions. They contribute to the understanding of relevant trends of current research on Web information systems and technologies, comprising unified interfaces, Progressive Web Apps (PWAs) as well as a mobile device taxonomy, XML and open data processing, the history of Web engineering, web development for end-users, access control, Web platform assessment, rule engines, and scientific blogging.

Autonomous AI systems need complex computational techniques for planning and performing actions. Planning and acting require significant deliberation because an intelligent system must coordinate and integrate these activities in order to act effectively in the real world. This book presents a comprehensive paradigm of planning and acting using the most recent and advanced automated-planning techniques. It explains the computational deliberation capabilities that allow an actor, whether physical or virtual, to reason about its actions, choose them, organize them purposefully, and act deliberately to achieve an objective. Useful for students, practitioners, and researchers, this book covers state-of-the-art planning techniques, acting techniques, and their integration which will allow readers to design intelligent systems that are able to act effectively in the real world.

Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications.
Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking.
The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students.
*Comprehensively explains paradigms for automated planning.
*Provides a thorough understanding of theory and planning practice, and how they relate to each other.
*Presents case studies of applications in space, robotics, CAD/CAM, process control, emergency operations, and games.
*Provides a thorough understanding of AI planning theory and practice, and how they relate to each other.
*Covers all the contemporary topics of planning, as well as important practical applications of planning, such as model checking and game playing.
*Presents case studies and applications in planning engineering, space, robotics, CAD/CAM, process control, emergency operations, and games.
*Provides lecture notes, examples of programming assignments, pointers to downloadable planning systems and related information online.