Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Introduction to Description Logic
The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
Automated Reasoning
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.
Ontology Engineering
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th OWL: Experiences and Directions Workshop, OWLED 2015, held in Bethlehem, PA, USA, in October 2015, co-located with ISWC 2015, the International Semantic Web Conference. The 18 revised papers presented were carefully reviewed and selected from 35 initial submissions. Bridging the gap between ontology engineering practices and software engineering, the papers describe reuse methods employed throughout the ontology development cycle; modeling / terminological decisions, alignment and comparison between ontologies, how ontologies are stored, versioned, distributed, and consumed over the Web.
Logics in Artificial Intelligence
This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
The Description Logic Handbook
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.
Modular Ontologies
Title page; Preface; Contents; Towards Ontology Use, Re-Use and Abuse in a Computational Creativity Collective; Ontology Modularity, Information Flow, and Interaction-Situated Semantics; The Modular Structure of an Ontology: An Empirical Study; Extracting and Merging Contextualized Ontology Modules; A Metric Suite for Evaluating Cohesion and Coupling in Modular Ontologies; Towards a Functional Approach to Modular Ontologies Using Institutions; Introducing Ontology Best Practices and Design Patterns into Robotics: USAREnv; Modular Upper-Level Ontologies for Semantic Complex Event Processing.
Frontiers of Combining Systems
This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification.
KI 2015: Advances in Artificial Intelligence
This book constitutes the refereed proceedings of the 38th Annual German Conference on Artificial Intelligence, KI 2015, held in Dresden, Germany, in September 2015. The 15 revised full technical papers presented together with 14 technical communications, 4 doctoral consortium contributions, and 3 keynotes were carefully reviewed and selected from 58 submissions. The conference provides the opportunity to present a wider range of results and ideas that are of interest to the KI audience, including reports about recent own publications, position papers, and previews of ongoing work.
The Semantic Web
This book constitutes the refereed proceedings of the 20th International Conference on The Semantic Web, ESWC 2023, held in Hersonissos, Crete, Greece, during May 28–June 1, 2023. The 41 full papers included in this book were carefully reviewed and selected from 167 submissions. They are organized in topical sections as follows: research, resource and in-use.
