Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings
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...
Kaydedildi:
| Yazar: | |
|---|---|
| Müşterek Yazar: | |
| Diğer Yazarlar: | , , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science. Lecture notes in artificial intelligence
954 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Autre directeur de publication : John F. Sowa Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Conceptual structures, applications, implementation, and theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995, proceedings, Gerard Ellis ... [et al.], eds, Berlin, Springer, 1995, 1 vol. (IX-352 p.), Lecture notes in computer science, 3-540-60161-9 • Conceptual Structures: Applications, Implementation and Theory, Texte imprimé, 9783662174302 |
| LEADER | 05168nam a22004817a 4500 | ||
|---|---|---|---|
| 001 | 973161 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155236210 | ||
| 020 | |a 9783540495390 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 003.54 | ||
| 100 | 1 | |a Ellis, Gerard. | |
| 245 | 1 | 0 | |a Conceptual structures : |b applications, implementation, and theory : 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... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 954 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Autre directeur de publication : John F. Sowa | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 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 implementationof 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Théorie des graphes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Apprentissage des concepts | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Logigrammes | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Levinson, Robert. |4 pbd | |
| 700 | 1 | |a Rich, William. |4 pbd | |
| 700 | 1 | |a Sowa, John F., |d 19..- |4 pbd | |
| 711 | 2 | |a International Conference on Conceptual Structures |n (03 |d :1995 |c :Santa Cruz). |4 aut | |
| 776 | 0 | |0 024257257 |t Conceptual structures |o applications, implementation, and theory |o Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 |o proceedings |f Gerard Ellis ... [et al.], eds |c Berlin |n Springer |d 1995 |p 1 vol. (IX-352 p.) |s Lecture notes in computer science |z 3-540-60161-9 | |
| 776 | 0 | |t Conceptual Structures: Applications, Implementation and Theory |b Texte imprimé |z 9783662174302 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60161-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-H3ZWP35T-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750628928 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60161-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753985772 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60161-9 |z Accès INSA CVL | |
| 997 | |0 973161 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||