Choose an application

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

Artificial intelligence. Robotics. Simulation. Graphics --- Knowledge representation (Information theory) --- Représentation des connaissances --- 681.3*I24 --- Representation of knowledge (Information theory) --- Artificial intelligence --- Information theory --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Knowledge representation (Information theory). --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Représentation des connaissances

Choose an application

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

Choose an application

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

Expert systems (Computer science) --- Expertsystemen (Informatica) --- Langue naturelle--Traitement des données (Informatique) --- Natural language processing (Computer science) --- Natuurlijke taal--Gegevensverwerking (Informatica) --- PROLOG (Computer program language) --- PROLOG (Computer programmeertaal) --- PROLOG (Langage de programmation) --- Systèmes experts (Informatique) --- Prolog (Computer program language) --- 681.3*D32 --- 681.3*I20 --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Computer systems --- Soft computing --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Artificial intelligence (AI) in general; cognitive simulation; philosophical foundations --- 681.3*I20 Artificial intelligence (AI) in general; cognitive simulation; philosophical foundations --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages)

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 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.