Ecai 2010

Author : Alexander Felfernig,Lothar Hotz,Claire Bagley,Juha Tiihonen
Publisher : Newnes
Page : 383 pages
File Size : 52,8 Mb
Release : 2014-04-02
Category : Computers
ISBN : 9780124158696

Get Book

Knowledge-Based Configuration by Alexander Felfernig,Lothar Hotz,Claire Bagley,Juha Tiihonen Pdf

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

Author : Grigoris Antoniou,Marko Grobelnik,Elena Simperl,Bijan Parsia,Dimitris Plexousakis,Pieter de Leenheer,Jeff Z. Pan
Publisher : Springer
Page : 520 pages
File Size : 55,5 Mb
Release : 2011-05-07
Category : Computers
ISBN : 9783642210341

Get Book

The Semantic Web: Research and Applications by Grigoris Antoniou,Marko Grobelnik,Elena Simperl,Bijan Parsia,Dimitris Plexousakis,Pieter de Leenheer,Jeff Z. Pan Pdf

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

Author : Klaus Mainzer,Helmut Schwichtenberg,Peter Michael Schuster
Publisher : World Scientific
Page : 425 pages
File Size : 45,5 Mb
Release : 2021-07-27
Category : Mathematics
ISBN : 9789811236495

Get Book

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification by Klaus Mainzer,Helmut Schwichtenberg,Peter Michael Schuster Pdf

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.

Author : Edmund Clarke,Irina Virbitskaite,Andrei Voronkov
Publisher : Springer
Page : 423 pages
File Size : 54,5 Mb
Release : 2012-05-13
Category : Computers
ISBN : 9783642297090

Get Book

Perspectives of Systems Informatics by Edmund Clarke,Irina Virbitskaite,Andrei Voronkov Pdf

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.

Author : Louis Rivest,Abdelaziz Bouras,Borhen Louhichi
Publisher : Springer
Page : 672 pages
File Size : 41,5 Mb
Release : 2012-12-22
Category : Business & Economics
ISBN : 9783642357589

Get Book

Product Lifecycle Management: Towards Knowledge-Rich Enterprises by Louis Rivest,Abdelaziz Bouras,Borhen Louhichi Pdf

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.

Author : Kristian Kersting,Marc Toussaint
Publisher : IOS Press
Page : 376 pages
File Size : 55,7 Mb
Release : 2012
Category : Computers
ISBN : 9781614990956

Get Book

STAIRS 2012 by Kristian Kersting,Marc Toussaint Pdf

The field of Artificial Intelligence is one in which novel ideas and new and original perspectives are of more than usual importance. The Starting AI Researchers' Symposium (STAIRS) is an international meeting which supports AI researchers from all countries at the beginning of their career, PhD students and those who have held a PhD for less than one year. It offers doctoral students and young post-doctoral AI fellows a unique and valuable opportunity to gain experience in presenting their work in a supportive scientific environment, where they can obtain constructive feedback on the technical content of their work, as well as advice on how to present it, and where they can also establish contacts with the broader European AI research community.This book presents revised versions of peer-reviewed papers presented at the Sixth STAIRS, which took place in Montpellier, France, in conjunction with the 20th European Conference on Artificial Intelligence (ECAI) and the Seventh Conference on Prestigious Applications of Intelligent Systems (PAIS) in August 2012.The topics covered in the book range over a broad spectrum of subjects in the field of AI: machine learning and data mining, constraint satisfaction problems and belief propagation, logic and reasoning, dialogue and multiagent systems, and games and planning. Offering a fascinating opportunity to glimpse the current work of the AI researchers of the future, this book will be of interest to anyone whose work involves the use of artificial intelligence and intelligent systems.

Author : Salem Benferhat,John Grant
Publisher : Springer
Page : 574 pages
File Size : 51,6 Mb
Release : 2011-10-07
Category : Computers
ISBN : 9783642239632

Get Book

Scalable Uncertainty Management by Salem Benferhat,John Grant Pdf

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.

Author : Nakamatsu Kazumi,Jain Lakhmi C
Publisher : World Scientific
Page : 680 pages
File Size : 46,7 Mb
Release : 2013-01-18
Category : Computers
ISBN : 9789814489164

Get Book

The Handbook On Reasoning-based Intelligent Systems by Nakamatsu Kazumi,Jain Lakhmi C Pdf

This book consists of various contributions in conjunction with the keywords “reasoning” and “intelligent systems”, which widely covers theoretical to practical aspects of intelligent systems. Therefore, it is suitable for researchers or graduate students who want to study intelligent systems generally.

Author : Anneli Heimbürger
Publisher : IOS Press
Page : 460 pages
File Size : 45,5 Mb
Release : 2011
Category : Computers
ISBN : 9781607506898

Get Book

Information Modelling and Knowledge Bases XXII by Anneli Heimbürger Pdf

Author : W. Eric Wong,T.H. Tse
Publisher : John Wiley & Sons
Page : 614 pages
File Size : 55,8 Mb
Release : 2023-04-21
Category : Computers
ISBN : 9781119291824

Get Book

Handbook of Software Fault Localization by W. Eric Wong,T.H. Tse Pdf

Handbook of Software Fault Localization A comprehensive analysis of fault localization techniques and strategies In Handbook of Software Fault Localization: Foundations and Advances, distinguished computer scientists Prof. W. Eric Wong and Prof. T.H. Tse deliver a robust treatment of up-to-date techniques, tools, and essential issues in software fault localization. The authors offer collective discussions of fault localization strategies with an emphasis on the most important features of each approach. The book also explores critical aspects of software fault localization, like multiple bugs, successful and failed test cases, coincidental correctness, faults introduced by missing code, the combination of several fault localization techniques, ties within fault localization rankings, concurrency bugs, spreadsheet fault localization, and theoretical studies on fault localization. Readers will benefit from the authors’ straightforward discussions of how to apply cost-effective techniques to a variety of specific environments common in the real world. They will also enjoy the in-depth explorations of recent research directions on this topic. Handbook of Software Fault Localization also includes: A thorough introduction to the concepts of software testing and debugging, their importance, typical challenges, and the consequences of poor efforts Comprehensive explorations of traditional fault localization techniques, including program logging, assertions, and breakpoints Practical discussions of slicing-based, program spectrum-based, and statistics-based techniques In-depth examinations of machine learning-, data mining-, and model-based techniques for software fault localization Perfect for researchers, professors, and students studying and working in the field, Handbook of Software Fault Localization: Foundations and Advances is also an indispensable resource for software engineers, managers, and software project decision makers responsible for schedule and budget control.

Author : Luis Fariñas del Cerro,Andreas Herzig,Jérôme Mengin
Publisher : Springer
Page : 498 pages
File Size : 48,7 Mb
Release : 2012-09-07
Category : Computers
ISBN : 9783642333538

Get Book

Logics in Artificial Intelligence by Luis Fariñas del Cerro,Andreas Herzig,Jérôme Mengin Pdf

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence.

Author : Francesca Bellet,Kristen Brent Habrard
Publisher : Springer Nature
Page : 90 pages
File Size : 44,5 Mb
Release : 2022-06-01
Category : Computers
ISBN : 9783031015564

Get Book

A Short Introduction to Preferences by Francesca Bellet,Kristen Brent Habrard Pdf

Computational social choice is an expanding field that merges classical topics like economics and voting theory with more modern topics like artificial intelligence, multiagent systems, and computational complexity. This book provides a concise introduction to the main research lines in this field, covering aspects such as preference modelling, uncertainty reasoning, social choice, stable matching, and computational aspects of preference aggregation and manipulation. The book is centered around the notion of preference reasoning, both in the single-agent and the multi-agent setting. It presents the main approaches to modeling and reasoning with preferences, with particular attention to two popular and powerful formalisms, soft constraints and CP-nets. The authors consider preference elicitation and various forms of uncertainty in soft constraints. They review the most relevant results in voting, with special attention to computational social choice. Finally, the book considers preferences in matching problems. The book is intended for students and researchers who may be interested in an introduction to preference reasoning and multi-agent preference aggregation, and who want to know the basic notions and results in computational social choice. Table of Contents: Introduction / Preference Modeling and Reasoning / Uncertainty in Preference Reasoning / Aggregating Preferences / Stable Marriage Problems

Author : Serafín Moral,Olivier Pivert,Daniel Sánchez,Nicolás Marín
Publisher : Springer
Page : 438 pages
File Size : 40,7 Mb
Release : 2017-09-20
Category : Computers
ISBN : 9783319675824

Get Book

Scalable Uncertainty Management by Serafín Moral,Olivier Pivert,Daniel Sánchez,Nicolás Marín Pdf

This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017. The 24 full and 6 short papers presented in this volume were carefully reviewed and selected from 35 submissions. The book also contains 3 invited papers. Managing uncertainty and inconsistency has been extensively explored in Artificial Intelligence over a number of years. Now, with the advent of massive amounts of data and knowledge from distributed, heterogeneous, and potentially conflicting sources, there is interest in developing and applying formalisms for uncertainty and inconsistency in systems that need to better manage this data and knowledge. The International Conference on Scalable Uncertainty (SUM) aims to provide a forum for researchers who are working on uncertainty management, in different communities and with different uncertainty models, to meet and exchange ideas.

Author : European Coordinating Committee for Artificial Intelligence
Publisher : IOS Press
Page : 1184 pages
File Size : 42,8 Mb
Release : 2010
Category : Computers
ISBN : 9781607506058

Get Book

ECAI 2010 by European Coordinating Committee for Artificial Intelligence Pdf

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

Author : Andreas Blass,Patrick Cégielski,Nachum Dershowitz,Manfred Droste,Bernd Finkbeiner
Publisher : Springer Nature
Page : 349 pages
File Size : 50,7 Mb
Release : 2020-05-22
Category : Computers
ISBN : 9783030480066

Get Book

Fields of Logic and Computation III by Andreas Blass,Patrick Cégielski,Nachum Dershowitz,Manfred Droste,Bernd Finkbeiner Pdf

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.