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.
This book constitutes the refereed proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, held in Montpellier, France, in August 1998. The 20 revised full papers and 10 research reports presented were carefully selected from a total of 66 submissions; also included are three invited contributions. The volume is divided in topical sections on knowledge representation and knowledge engineering, tools, conceptual graphs and other models, relationships with logics, algorithms and complexity, natural language processing, and applications.
This book is the proceedings of the Second International Conference on Conceptual Structures, ICCS '94, held at College Park, Maryland, USA in August 1994. This proceedings presents, on an international scale, up-to- the-minute research results on theoretical and applicational aspects of conceptual graphs, particularly on the use of contexts in knowledge representation. The concept of contexts is highly important for all kinds of knowledge-intensive systems. The book is organized into sections on natural language understanding, rational problem solving, conceptual graph theory, contexts and canons, and data modeling.
This volume contains revised and expanded versions of papers presented at the Seventh Annual Workshop on Conceptual Graphs, held at New Mexico State University in Las Cruces, and sponsored by the American Association for Artificial Intelligence and the NMSU Computer Science Department. The contents of the volume fall in the areas of representation issues, reasoning, data modeling and databases, algorithms and tools, and applications and natural language. One of the highlights reported in the volume is the landmark meeting of the first PEIRCE Project Workshop. The PEIRCE Project aims to build a state-of-the-art, industrial strength conceptual graphs workbench.
This book constitutes the refereed proceedings of the 9th International Conference on Conceptual Structures, ICCS 2001, held in Stanford, CA, USA in July/August 2001. The 26 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The book offers topical sections on language and knowledge structures, logical and mathematical foundations of conceptual structures, conceptual structures for data and knowledge bases, conceptual structures and meta-data, and algorithms and systems.
The 8th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2002, took place in Spain for the second time in 14 years; the first conference was organized in Barcelona in January 1988. The city of Seville hosted this 8th conference, giving the participants the opportunity of enjoying the richness of its historical and cultural atmosphere. Looking back over these 14 years, key aspects of the conference, such as its structure, organization, the quantity and quality of submissions, the publication policy, and the number of attendants, have significantly changed. Some data taken from IBERAMIA’88 and IBERAMIA 2002 may help to illustrate these changes. IBERAMIA’88 was planned as an i...
This edited volume presents a comprehensive history of modern logic from the Middle Ages through the end of the twentieth century. In addition to a history of symbolic logic, the contributors also examine developments in the philosophy of logic and philosophical logic in modern times. The book begins with chapters on late medieval developments and logic and philosophy of logic from Humanism to Kant. The following chapters focus on the emergence of symbolic logic with special emphasis on the relations between logic and mathematics, on the one hand, and on logic and philosophy, on the other. This discussion is completed by a chapter on the themes of judgment and inference from 1837-1936. The v...
Artificial Intelligence in Education to An Undergraduate Course Advising Expert System in Industrial Engineering
Formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy. It thereby allows us to mathematically represent, analyze, and construct conceptual structures. The formal concept analysis approach has been proven successful in a wide range of application fields. This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and its applications. The first part of the book is devoted to foundational and methodological topics. The contributions in the second part demonstrate how formal concept analysis is successfully used outside of mathematics, in linguistics, text retrieval, association rule mining, data analysis, and economics. The third part presents applications in software engineering.
Bloomsbury Semiotics offers a state-of-the-art overview of the entire field of semiotics by revealing its influence on a wide range of disciplinary perspectives. With four volumes spanning theory, method and practice across the disciplines, this definitive reference work emphasizes and strengthens common bonds shared across intellectual cultures, and facilitates the discovery and recovery of meaning across fields. It comprises: Volume 1: History and Semiosis Volume 2: Semiotics in the Natural and Technical Sciences Volume 3: Semiotics in the Arts and Social Sciences Volume 4: Semiotic Movements Written by leading international experts, the chapters provide comprehensive overviews of the hist...
Intelligent systems, or artificial intelligence technologies, are playing an increasing role in areas ranging from medicine to the major manufacturing industries to financial markets. The consequences of flawed artificial intelligence systems are equally wide ranging and can be seen, for example, in the programmed trading-driven stock market crash of October 19, 1987. Intelligent Systems: Technology and Applications, Six Volume Set connects theory with proven practical applications to provide broad, multidisciplinary coverage in a single resource. In these volumes, international experts present case-study examples of successful practical techniques and solutions for diverse applications ranging from robotic systems to speech and signal processing, database management, and manufacturing.