You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades. They are embodied in several knowledge-based systems and are used to develop various real-life applications. The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. The chapters are written by some of the most prominent researchers in the field, introducing the basic technical material before taking the reader to the current state of the subject, and including comprehensive guides to the literature. In sum, the book will serve as a unique reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses.
A broad-ranging survey of our current understanding of visual languages and their theoretical foundations. Its main focus is the definition, specification, and structural analysis of visual languages by grammars, logic, and algebraic methods and the use of these techniques in visual language implementation. Researchers in formal language theory, HCI, artificial intelligence, and computational linguistics will all find this an invaluable guide to the current state of research in the field.
This volume composes the proceedings of the Second International Conference on Computational Collective Intelligence––Technologies and Applications (ICCCI 2010), which was hosted by National Kaohsiung University of Applied Sciences and Wroclaw University of Technology, and was held in Kaohsiung City on November 10-12, 2010. ICCCI 2010 was technically co-sponsored by Shenzhen Graduate School of Harbin Institute of Technology, the Tainan Chapter of the IEEE Signal Processing Society, the Taiwan Association for Web Intelligence Consortium and the Taiwanese Association for Consumer Electronics. It aimed to bring together researchers, engineers and po- cymakers to discuss the related techniqu...
The rise in computing and multimedia technology has spawned an increasing interest in the role of diagrams and sketches, not only for the purpose of conveying information but also for creative thinking and problem-solving. This book attempts to characterise the nature of "a science of diagrams" in a wide-ranging, multidisciplinary study that contains accounts of the most recent research results in computer science and psychology. Key topics include: cognitive aspects, formal aspects, and applications. It is a well-written and indispensable survey for researchers and students in the fields of cognitive science, artificial intelligence, human-computer interaction, and graphics and visualisation.
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'99, held in Saratoga Springs, NY, USA, in June 1999. The volume presents 18 revised full papers and three system descriptions selected from 41 submissions. Also included are system comparisons and abstracts of an invited paper and of two tutorials. All current issues surrounding mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation and systems development and applications, as well as covering a broad variety of logic calculi. As application areas, formal verification of software and computer systems, deductive databases, knowledge representation, and systems diagnosis are covered.
This book constitutes the refereed proceedings of the 11th Conference on Artificial Intelligence in Medicine in Europe, AIME 2007, held in Amsterdam, The Netherlands in July 2007. The 28 revised full papers and 38 revised short papers presented were carefully reviewed and selected from 137 submissions. The papers are organized in topical sections on agent-based systems, temporal data mining, machine learning and knowledge discovery, text mining, natural language processing and generation, ontologies, decision support systems, applications of AI-based image processing techniques, protocols and guidelines, as well as workflow systems.
Following from the very successful First KES Symposium on Agent and Multi-Agent Systems – Technologies and Applications (KES-AMSTA 2007), held in Wroclaw, Poland, 31 May–1 June 2007, the second event in the KES-AMSTA symposium series (KES-AMSTA 2008) was held in Incheon, Korea, March 26–28, 2008. The symposium was organized by the School of Computer and Information Engineering, Inha University, KES International and the KES Focus Group on Agent and Mul- agent Systems. The KES-AMSTA Symposium Series is a sub-series of the KES Conference Series. The aim of the symposium was to provide an international forum for scientific research into the technologies and applications of agent and multi...
Compared with data from general application domains, modern biological data has many unique characteristics. The goal of this book is to cover data and applications identifying new issues and directions for future research in biomedical domain.
Canadian Semantic Web is an edited volume based on the first Canadian Web Working Symposium, June 2006, in Quebec, Canada. It is the first edited volume based on this subject. This volume includes, but is not limited to, the following popular topics: "Trust, Privacy, Security on the Semantic Web", "Semantic Grid and Semantic Grid Services" and "Semantic Web Mining".