Conceptual Structures: Applications, Implementation and Theory Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995. Proceedings / edited by Gerard Ellis, Robert Levinson, William Rich, John F. Sowa.

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Ellis, Gerard (Editor), Levinson, Robert (Editor), Rich, William (Editor), Sowa, John F. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995.
Edition:1st ed. 1995.
Series:Lecture Notes in Artificial Intelligence ; 954
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

MARC

LEADER 00000nam a22000005i 4500
001 b3194251
003 MWH
005 20190618201116.0
007 cr nn 008mamaa
008 121227s1995 gw | s |||| 0|eng d
020 |a 9783540495390 
024 7 |a 10.1007/3-540-60161-9  |2 doi 
035 |a (DE-He213)978-3-540-49539-0 
050 4 |a E-Book 
072 7 |a UYQ  |2 bicssc 
072 7 |a COM004000  |2 bisacsh 
072 7 |a UYQ  |2 thema 
245 1 0 |a Conceptual Structures: Applications, Implementation and Theory  |h [electronic resource] :  |b Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995. Proceedings /  |c edited by Gerard Ellis, Robert Levinson, William Rich, John F. Sowa. 
250 |a 1st ed. 1995. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 1995. 
300 |a X, 362 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Artificial Intelligence ;  |v 954 
490 1 |a Springer eBook Collection 
505 0 |a Syntax, semantics, and pragmatics of contexts -- Ontology revision -- A triadic approach to formal concept analysis -- Automatic integration of digital system requirements using schemata -- Service trading using conceptual structures -- Sentence generation from conceptual graphs -- Discourse spaces: A pragmatic interpretation of contexts -- A pragmatic representational approach of context and reference in discourses -- Using the conceptual graphs operations for natural language generation in medicine -- Table 10 left without paying the bill! a good reason to treat metonymy with conceptual graphs -- Object-oriented conceptual graphs -- A direct proof procedure for definite conceptual graph programs -- Conceptual clustering of complex objects: A generalization space based approach -- Using empirical subsumption to reduce the search space in learning -- A new parallelization of subgraph isomorphism refinement for classification and retrieval of conceptual structures -- Transputer network implementation of a parallel projection algorithm for conceptual graphs -- Spanning tree representations of graphs and orders in conceptual structures -- An implementation model for contexts and negation in conceptual graphs -- A linear descriptor for conceptual graphs and a class for polynomial isomorphism test -- Projection and unification for conceptual graphs -- A novel algorithm for matching conceptual and related graphs -- On the ontology of knowledge graphs -- Conceptual graphs and first-order logic -- Existential graphs and dynamic predicate logic. 
520 |a 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. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Artificial intelligence. 
650 0 |a Combinatorics. 
650 0 |a Database management. 
690 |a Electronic resources (E-books) 
700 1 |a Ellis, Gerard.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Levinson, Robert.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Rich, William.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Sowa, John F.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Lecture Notes in Artificial Intelligence ;  |v 954 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/3-540-60161-9  |3 Click to view e-book  |t 0 
907 |a .b31942519  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g gw   |h 0  |i 1 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i21074148  |z 02-26-20 
999 f f |i 32c712bb-aa53-56e3-a3a0-85ca0aa4787d  |s 78ecac5b-32c2-5e4b-91fc-62f85255424f  |t 0 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |t 0  |e E-Book  |h Library of Congress classification  |i Elec File