Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial Intelligence and cognitive science are the two fields devoted to the study and development of knowledge-based systems (KBS). Over the past 25years, researchers have proposed several approaches for modeling knowledge in KBS, including several kinds of formalism such as semantic networks, frames, and logics. In the early 1980s, J.F. Sowa introduced the conceptual graph (CG) theory which provides a knowledge representation framework consisting of a form of logic with a graph notationand integrating several features from semantic net and frame representations. Since that time, several research teams over the world have been working on the application and extension of CG theory in various domains ranging from natural language processing to database modeling and machine learning. This volume contains selected papers fromthe international conference on Conceptual Structures held in the city of Quebec, Canada, August 4-7, 1993. The volume opens with invited papers by J.F. Sowa, B.R. Gaines, and J. Barwise.

Knowledge representation (Information theory) --- Conceptual structures (Information theory) --- Graph theory --- Logic diagrams --- Congresses. --- Congresses --- Artificial intelligence. --- Combinatorics. --- Database management. --- Artificial Intelligence. --- Database Management. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Combinatorics --- Algebra --- Mathematical analysis --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Knowledge representation (Information theory) - Congresses --- Conceptual structures (Information theory) - Congresses. --- Graph theory - Congresses. --- Logic diagrams - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996. The book presents five full papers by the invited speakers together with 15 revised full papers selected for presentation at the conference from a respectable number of submissions. The issues addressed are natural language processing, information retrieval, graph operations, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and encoding.

Knowledge representation (Information theory) --- Conceptual structures (Information theory) --- Graph theory --- Logic diagrams --- Congresses. --- Congresses --- Artificial intelligence. --- Database management. --- Artificial Intelligence. --- Database Management. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Knowledge representation (Information theory) - Congresses --- Conceptual structures (Information theory) - Congresses. --- Graph theory - Congresses. --- Logic diagrams - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist. Reading the newspaper or watching the television conveys a very warped view of what is happening in computer science. This conference illustrates how a maturing subdiscipline of computer science can continue to grow and integrate within it both old and new approaches despite (or perhaps due to) a lack of public awareness. The conceptual graph community has basically existed since the 1984 publication of John Sowa's book, "Conceptual Structures: Information Processing In Mind and Machine." In this book, John Sowa laid the foundations for a knowledge representation model called conceptual graphs based on semantic networks and the existential graphs of C.S. Peirce. Conceptual graphs constitutes a very powerful and expressive knowledge representation scheme, inheriting the benefits of logic and the mathematics of graphs. The expressiveness and formal underpinnings of conceptual graph theory have attracted a large international community of researchers and scholars. The International Conferences on Conceptual Structures, and this is the seventh in the series, is the primary forum for these researchers to report their progress and activities. As in the past, the doors were open to admit alternate representation models and approaches.

Conceptual structures (Information theory) -- Congresses. --- Graph theory -- Congresses. --- Knowledge representation (Information theory) -- Congresses. --- Logic diagrams -- Congresses. --- Natural language processing (Computer science) -- Congresses. --- Conceptual structures (Information theory) --- Graph theory --- Logic diagrams --- Knowledge representation (Information theory) --- Natural language processing (Computer science) --- Computer Science --- Engineering & Applied Sciences --- Diagrams, Logic --- Logic --- Diagrams --- Graphic methods --- Computer science. --- Computers. --- Algorithms. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Theory of Computation. --- Discrete Mathematics in Computer Science. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Mathematics. --- Information theory. --- Computational complexity. --- Computer software. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Complexity, Computational --- Communication theory --- Communication --- Cybernetics --- Software, Computer --- Computer systems --- Computer science—Mathematics. --- Algorism --- Algebra --- Arithmetic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Calculators --- Cyberspace --- Foundations

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the Fifth International Conference on Conceptual Structures, ICCS '97, held in Seattle, Washington, USA, in August 1997. The 39 full papers presented were carefully selected and revised for inclusion in the volume. Also included are 9 abstracts of conceptual graphs tools. The papers are organized in sections on knowledge representation, knowledge modeling, formal concept analysis, formal reasoning, applications of conceptual graphs, and conceptual graphs tools. This book competently documents the progress achieved in the area since the predecessor conference ICCS '96, the proceedings of which have been published as LNAI 1115.

Conceptual structures (Information theory) --- Graph theory --- Logic diagrams --- Congresses. --- Diagrams, Logic --- Diagrams --- Computer science. --- Computer programming. --- Computer science --- Database management. --- Information storage and retrieval. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Database Management. --- Programming Techniques. --- Information Storage and Retrieval. --- Discrete Mathematics in Computer Science. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Computer mathematics --- Discrete mathematics --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Mathematics --- Programming --- Congresses --- Peirce, Charles Sanders --- Information storage and retrieva. --- Computational complexity. --- Artificial Intelligence. --- Information storage and retrieval systems. --- Complexity, Computational --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Computer science—Mathematics. --- Peirce, Charles S. --- Peirce, Charles Sanders, --- Peirce, C. S. --- Pirs, Charlz S., --- Peirce, Charles Santiago Sanders, --- Pʻo-erh-ssu, --- Pʻo-erh-ssu, Chʻa-li-ssu, --- Purs, Charls, --- Пърс, Чарлс, --- Chaersi Sangdesi Piersi, --- 查尔斯·桑德斯·皮尔斯, --- Conceptual structures (Information theory) - Congresses. --- Graph theory - Congresses. --- Logic diagrams - Congresses.