Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings
Computerscientistscreatemodelsofaperceivedreality.ThroughAItechniques, these models aim at providing the basic support for emulating cognitive - havior such as reasoning and learning, which is one of the main goals of the AI research e?ort. Such computer models are formed through the interaction of...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science. Lecture notes in artificial intelligence
1867 |
| נושאים: | |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
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, logical, linguistic, and computational issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000, proceedings, Bernhard Ganter, Guy W. Mineau (eds.), Berlin, Springer, 2000, 1 vol. (XI-568 p.), Lecture notes in computer science, 3-540-67859-X • Conceptual Structures: Logical, Linguistic, and Computational Issues, Texte imprimé, 9783662198766 |
| LEADER | 06750nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 972191 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155219898 | ||
| 020 | |a 9783540446637 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on conceptual structures |n (08 |d :2000 |c :Darmstadt). | |
| 245 | 1 | 0 | |a Conceptual structures : |b logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings |c [edited by] Bernhard Ganter, Guy W. Mineau. |
| 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 1867 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Concepts and Language -- The Role of Conceptual Structure in Human Evolution -- Concepts in Linguistics Concepts in Natural Language -- Patterns, Schemata, and Types Author Support through Formalized Experience -- Conventions and Notations for Knowledge Representation and Retrieval -- Conceptual Ontology -- Ontology, Metadata, and Semiotics -- Pragmatically Yours, -- Conceptual Modeling for Distributed Ontology Environments -- Discovery of Class Relations in Exception Structured Knowledge Bases -- Conceptual Graphs: Perspectives -- CGs Applications : Where Are We 7 Years after the First ICCS? -- The Engineering of a CG-Based System: Fundamental Issues -- Conceptual Graphs, Metamodeling, and Notation of Concepts -- Knowledge Representation and Reasonings Based on Graph Homomorphism -- User Modelling Using Conceptual Graphs for Intelligent Agents -- Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View -- Formal Semantics of Conceptual Structures -- The Extensional Semantics of the Conceptual Graph Formalism -- Semantics of Attribute Relations in Conceptual Graphs -- Nested Concept Graphs and Triadic Power Context Families -- Negations in Simple Concept Graphs -- Extending the CG Model by Simulations -- Contextual Logic and Formal Concept Analysis -- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis -- On the Contextual Logic of Ordinal Data -- Boolean Concept Logic -- Lattices of Triadic Concept Graphs -- Formalizing Hypotheses with Concepts -- Generalized Formal Concept Analysis -- A Logical Generalizationof Formal Concept Analysis -- On the Treatment of Incomplete Knowledge in Formal Concept Analysis -- Conceptual Structures in Practice -- Logic-Based Networks: Concept Graphs and Conceptual Structures -- Conceptual Knowledge Discovery and Data Analysis -- CEM A Conceptual Email Manager -- A Contextual-Logic Extension of TOSCANA -- A Conceptual Graph Model for W3C Resource Description Framework -- Computational Aspects of Conceptual Structures -- Computing with Conceptual Structures -- Symmetry and the Computation of Conceptual Structures -- An Introduction to SNePS 3 -- Composition Norm Dynamics Calculation with Conceptual Graphs -- From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language -- A Cost-Bounded Algorithm to Control Events Generalization. | |
| 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 Computerscientistscreatemodelsofaperceivedreality.ThroughAItechniques, these models aim at providing the basic support for emulating cognitive - havior such as reasoning and learning, which is one of the main goals of the AI research e?ort. Such computer models are formed through the interaction of various acquisition and inference mechanisms: perception, concept learning, conceptual clustering, hypothesis testing, probabilistic inference, etc., and are represented using di?erent paradigms tightly linked to the processes that use them. Among these paradigms let us cite: biological models (neural nets, genetic programming), logic-based models (?rst-order logic, modal logic, rule-based s- tems), virtual reality models (object systems, agent systems), probabilistic m- els(Bayesiannets,fuzzylogic),linguisticmodels(conceptualdependencygraphs, language-based representations), etc. OneofthestrengthsoftheConceptualGraph(CG)theoryisitsversatilityin terms of the representation paradigms under which it falls. It can be viewed and therefore used, under di?erent representation paradigms, which makes it a p- ular choice for a wealth of applications. Its full coupling with di?erent cognitive processes lead to the opening of the ?eld toward related research communities such as the Description Logic, Formal Concept Analysis, and Computational Linguistic communities. We now see more and more research results from one community enrich the other, laying the foundations of common philosophical grounds from which a successful synergy can emerge. | ||
| 650 | |a Informatique | ||
| 650 | |a Théorie des graphes | ||
| 650 | |a Algorithmes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Traitement automatique du langage naturel | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Représentation des connaissances | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ganter, Bernhard. |4 pbd | |
| 700 | 1 | |a Mineau, Guy W. |4 pbd | |
| 776 | 0 | |0 052244210 |t Conceptual structures |o logical, linguistic, and computational issues |o 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 |o proceedings |f Bernhard Ganter, Guy W. Mineau (eds.) |c Berlin |n Springer |d 2000 |p 1 vol. (XI-568 p.) |s Lecture notes in computer science |z 3-540-67859-X | |
| 776 | 0 | |t Conceptual Structures: Logical, Linguistic, and Computational Issues |b Texte imprimé |z 9783662198766 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/10722280 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-WXTB51GM-3 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750644281 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/10722280 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753995352 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/10722280 |z Accès INSA CVL | |
| 997 | |0 972191 |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/ | ||