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.
Computerscientistscreatemodelsofaperceivedreality.ThroughAItechniques, these models aim at providing the basic support for emulating cognitive - havior such as reasoning and learning, which is one of the main goals of the AI research e?ort. Such computer models are formed through the interaction of various acquisition and inference mechanisms: perception, concept learning, conceptual clustering, hypothesis testing, probabilistic inference, etc., and are represented using di?erent paradigms tightly linked to the processes that use them. Among these paradigms let us cite: biological models (neural nets, genetic programming), logic-based models (?rst-order logic, modal logic, rule-based s- tems...
This is the 12th volume in a series on information modelling and knowledge bases. The topics of the articles cover a wide variety of themes in the domain of information modelling, design and specification of information systems and knowledge bases, ranging from foundations and theories to systems construction and application studies. The contributions in this volume represent the following major themes: models in intelligent activity; concept modelling and conceptual modelling; conceptual modelling and information requirements specification; collections of concepts, knowledge base design, and database design; human-computer interaction and modelling; software engineering and modelling; and applications.
Modeling and Simulation have become endeavors central to all disciplines of science and engineering. They are used in the analysis of physical systems where they help us gain a better understanding of the functioning of our physical world. They are also important to the design of new engineering systems where they enable us to predict the behavior of a system before it is ever actually built. Modeling and simulation are the only techniques available that allow us to analyze arbitrarily non-linear systems accurately and under varying experimental conditions. Continuous System Modeling introduces the student to an important subclass of these techniques. They deal with the analysis of systems d...
This book constitutes the refereed proceedings of the 20th International Conference on Conceptual Modeling, ER 2001, held in Tokohama, Japan, in November 2001. The 45 revised full papers presented together with three keynote presentations were carefully reviewed and selected from a total of 197 submissions. The papers are organized in topical sections on spatial databases, spatio-temporal databases, XML, information modeling, database design, data integration, data warehouse, UML, conceptual models, systems design, method reengineering and video databases, workflows, web information systems, applications, and software engineering.
A first attempt to develop a standardized agent communication language (ACL) resulted in KQML, probably the most widely used such language. However, a lot of technical work remains to be done. Even worse, so far, there seems to be little consensus on the basics of agent communication and there is no clear understanding of the semantics of individual speech acts or even of the basic concepts that should be used to define the semantics. This book documents two workshops on communication in MAS held in 1999, one on Specifying and Implementing Conversation Policies (SICP) and the other in Agent Communication Languages and presents the current state of the art of research in the field. A detailed introductory overview by the volume editors highlights a number of issues that play an important role in agent communication.
The volume aims at providing a comprehensive review of the diverse efforts covering the gap existing between the two main perspectives on the topic of ontologies for multi-agent systems, namely: How ontologies should be modelled and represented in order to be effectively used in agent systems, and on the other hand, what kind of capabilities should be exhibited by an agent in order to make use of ontological knowledge and to perform efficient reasoning with it. The volume collects the most significant papers of the AAMAS 2002 and AAMAS 2003 workshop on ontologies for agent systems, and the EKAW 2002 workshop on ontologies for multi-agent systems.
ThisvolumeconstitutestheproceedingsoftheFifthInternationalConferenceon Flexible Query Answering Systems, FQAS 2002, held in Copenhagen, Denmark on October 27–29, 2002. FQAS is the premier conference for researchers and practitioners concerned with the vital task of providing easy, ?exible, and intuitive access to information for every type of need. This multidisciplinary conference draws on several re- arch areas, including databases, information retrieval, knowledge representation, soft computing, multimedia, and human–computer interaction. Previous FQAS events were held in 1994, 1996, 1998, and 2000. The overall theme of the FQAS conferences is innovative query systems - medatproviding...
The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.