Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

This book constitutes the proceedings of the Third International Conference on Conceptual Structures, ICCS '95, held in Santa Cruz, California in August 1995. Conceptual structures are a modern treatment of Peirce's existential graphs, a graphic notation for classical logic with higher order extensions. Besides three invited papers, there are included 21 revised full papers selected from 58 submission. The volume reflects the state-of-the-art in this research area of growing interest. The papers are organized in sections on natural language, applications, programming in conceptual graphs, machine learning and knowledge acquisition, hardware and implementation, graph operations, and ontologies and theory.

Diagrammes logiques --- Diagrams [Logic ] --- Logic diagrams --- Logic--Diagrams --- Logic--Graphic methods --- Logische diagrammen --- Conceptual structures (Information theory) --- Graph theory --- 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 --- Conceptual structures (Information theory) - Congresses. --- Graph theory - Congresses. --- Logic diagrams - Congresses.