Ecai 2010

Knowledge-based Configuration incorporates knowledge representation formalisms to capture complex product models and reasoning methods to provide intelligent interactive behavior with the user. This book represents the first time that corporate and academic worlds collaborate integrating research and commercial benefits of knowledge-based configuration. Foundational interdisciplinary material is provided for composing models from increasingly complex products and services. Case studies, the latest research, and graphical knowledge representations that increase understanding of knowledge-based configuration provide a toolkit to continue to push the boundaries of what configurators can do and how they enable companies and customers to thrive. Includes detailed discussion of state-of-the art configuration knowledge engineering approaches such as automated testing and debugging, redundancy detection, and conflict management Provides an overview of the application of knowledge-based configuration technologies in the form of real-world case studies from SAP, Siemens, Kapsch, and more Explores the commercial benefits of knowledge-based configuration technologies to business sectors from services to industrial equipment Uses concepts that are based on an example personal computer configuration knowledge base that is represented in an UML-based graphical language

LC copy bound in 2 v.: v. 1, p. 1-509; v. 2, p. [509]-1153.

The books (LNCS 6643 and 6644) constitute the refereed proceedings of the 8th European Semantic Web Conference, ESWC 2011, held in Heraklion, Crete, Greece, in May/June 2011. The 57 revised full papers of the research track presented together with 7 PhD symposium papers and 14 demo papers were carefully reviewed and selected from 291 submissions. The papers are organized in topical sections on digital libraries track; inductive and probabilistic approaches track; linked open data track; mobile Web track; natural language processing track; ontologies track; and reasoning track (part I); semantic data management track; semantic Web in use track; sensor Web track; software, services, processes and cloud computing track; social Web and Web science track; demo track, PhD symposium (part II).

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.

Artificial intelligence (AI) is of central importance to contemporary computer science and informatics. Techniques, results and concepts developed under the banner of AI research have not only benefited applications as diverse as medicine and industrial systems applications, but are of fundamental importance in areas such as economics, philosophy, linguistics, psychology and logical analysis. This book contains the proceedings of the nineteenth biennial European Conference on Artificial Intelligence (ECAI), which since 1974 has been Europe's principal opportunity for researchers to present and hear about the very best contemporary AI research in all its diverse forms and applications. From a total of 607 submitted papers, the 135 full papers selected for presentation after review are collected here, together with a further 91 submissions selected for presentation as short papers. This book is an essential resource for anyone who wishes to keep abreast of the latest developments in the field of AI. The book also includes papers from one of ECAI's associated conferences: Prestigious Applications of Intelligent Systems (PAIS).

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering.

This book constitutes the refereed post-proceedings of the 9th IFIP WG 5.1 International Conference on Product Lifecycle Management, PLM 2012, held in Montreal, Canada, in July 2012. The 58 full papers presented were carefully reviewed and selected from numerous submissions. They cover a large range of topics such as collaboration in PLM, tools and methodologies for PLM, modeling for PLM, and PLM implementation issues.

This book constitutes the refereed proceedings of the 5th International Conference on Scalable Uncertainty Management, SUM 2011, held in Dayton, OH, USA, in October 2011. The 32 revised full papers and 3 revised short papers presented together with the abstracts of 2 invited talks and 6 “discussant” contributions were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on argumentation systems, probabilistic inference, dynamic of beliefs, information retrieval and databases, ontologies, possibility theory and classification, logic programming, and applications.