Riichiro Mizoguchi

Elena Simperl

Philipp Cimiano

Lora Aroyo

Marta Sabou

Paolo Traverso

Fabio Ciravegna

Tom Heath

Eero Hyvönen

Eyal Oren

This book constitutes the refereed proceedings of the 6th European Semantic Web Conference, ESWC 2009, held in Heraklion, Crete, Greece, in May/June 2009. The 45 revised full papers of the research track presented together with the abstracts of 4 keynote lectures were carefully reviewed and selected from more than 250 submissions. The papers are organized in topical sections on applications, evaluation and benchmarking, ontologies and natural language, ontology alignment, ontology engineering, query processing, reasoning, search and identities, semantic Web architectures, semantic Web services, and tagging and annotation. In addition to the technical research track, this book presents 8 contributions to the ESWC 2009 PhD symposium, 24 system demo papers, as well as 8 contributions to the semantic Web in-use track.

6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31– June 4, 2009 Proceedings

The Semantic Web: Research and Applications

Dieter Hutter

Markus Ullmann

Werner Stephan

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.

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

Applied Formal Methods - FM-Trends 98

Anne-Marie Sassen

Elisabetta Di Nitto

Arian Zwegers

Research results from industry-academic collaborative projects in service-oriented computing describe practical, achievable solutions. Service-Oriented Applications and Architectures (SOAs) have captured the interest of industry as a way to support business-to-business interaction, and the SOA market grew by $4.9 billion in 2005. SOAs and in particular service-oriented computing (SOC) represent a promising approach in the development of adaptive distributed systems. With SOC, applications can open themselves to services offered by third parties and accessed through standard, well-defined interfaces. The binding between the applications and the services can be, in this context, extremely loose--enabling the ad hoc creation of new services when the need arises. This book offers an overview of some current research in the field, presenting the results of eighteen research projects funded by the European Community's Information Society Technologies Program (IST). The projects, collaborations between industry and academia, have produced practical, achievable results that point the way to real-world applications and future research. The chapters address such issues as requirement analysis, design, governance, interoperability, and the dependability of systems made up of components owned by third parties. The results are presented in the context of two roadmaps for research, one developed by European industry involved in software development and the other by researchers working in the service area. The contributors report first on the "Infrastructure Layer," then (in the bulk of the book) on the "Service Integration Layer," the "Semantic Layer," and finally on the issues that cut across the different layers. The book concludes by looking at ongoing research on both roadmaps.

Service-oriented Computing from an EU Perspective

At Your Service

Marco Pistore

Daniel Dochev

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008. The 30 revised full papers presented together with the 10 posters were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on agents; natural language processing and text analysis; machine learning and information retrieval; knowledge representation and reasoning; constraints, heuristics and search; applications; posters.

13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008, Proceedings

Artificial Intelligence: Methodology, Systems, and Applications

Fabio Casati

Boualem Benatallah

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.

Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings

Service-Oriented Computing – ICSOC 2005

Malik Ghallab

Dana Nau

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. 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

Theory and Practice

Automated Planning

Tim A. Majchrzak

Karl-Heinz Krempels

Valérie Monfort

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.

13th International Conference, WEBIST 2017, Porto, Portugal, April 25–27, 2017, Revised Selected Papers

Web Information Systems and Technologies

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.

Chiara Ghidini

Bernardo Magnini

Andrea Passerini

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.

XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings

AI*IA 2018 – Advances in Artificial Intelligence

This book presents the most recent and advanced techniques for creating autonomous AI systems capable of planning and acting effectively.

Automated Planning and Acting

Paolo Traverso

Books

Your next favorite book is out there