Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Conceptual Graphs for Knowledge Representation [[electronic resource] ] : First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993. Proceedings / / edited by Guy W. Mineau, Bernard Moulin, John F. Sowa
| Conceptual Graphs for Knowledge Representation [[electronic resource] ] : First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993. Proceedings / / edited by Guy W. Mineau, Bernard Moulin, John F. Sowa |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (X, 458 p.) |
| Disciplina | 006.3/3/015115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Combinatorics Database management Artificial Intelligence Database Management |
| ISBN | 3-540-47848-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Relating diagrams to logic -- Representation, discourse, logic and truth: Situating knowledge technology -- Heterogeneous reasoning -- A comparison between conceptual graphs and KL-ONE -- The term definition operators of ontolingua and of the conceptual graph formalism: a comparison -- Implementing conceptual graphs in a RDBMS -- A conceptual graphs approach to conceptual schema integration -- Conceptual graphs for relational Databases -- Inducing a CG representation for basic-level categorization of verbs -- The representation of linguistic information in an approach used for modelling temporal knowledge in discourses -- Representing natural language causality in Conceptual Graphs: The Higher order conceptual relation problem -- Executable conceptual structures -- Inverting resolution with conceptual graphs -- Towards domain-independent machine intelligence -- Efficient retrieval from hierarchies of objects using lattice operations -- Characterization and algorithmic recognition of canonical conceptual graphs -- A conceptual semantics ontology for conceptual graphs -- Acquiring temporal knowledge from schedules -- Conceptual structures for modeling in CIM -- Elicitation of taxonomies based on the use of conceptual graph operators -- Presenting a peirce logic based inference engine and theorem prover for conceptual graphs -- Operations on conceptual structures and Peirce's system of existential graphs -- Modal logics for conceptual graphs -- Fuzzy conceptual graphs. |
| Record Nr. | UNISA-996466134603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual Structures: Logical, Linguistic, and Computational Issues [[electronic resource] ] : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / / edited by Bernhard Ganter, Guy W. Mineau
| Conceptual Structures: Logical, Linguistic, and Computational Issues [[electronic resource] ] : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / / edited by Bernhard Ganter, Guy W. Mineau |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 576 p.) |
| Disciplina | 003/.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Theory of Computation Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices |
| ISBN | 3-540-44663-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466153403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / / edited by Bernhard Ganter, Guy W. Mineau
| Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / / edited by Bernhard Ganter, Guy W. Mineau |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 576 p.) |
| Disciplina | 003/.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Computer science—Mathematics Logic, Symbolic and mathematical Algorithms Artificial Intelligence Theory of Computation Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices |
| ISBN | 3-540-44663-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910768443203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||