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 structures : common semantics for sharing knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 : proceedings / / Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme (eds.)
| Conceptual structures : common semantics for sharing knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 : proceedings / / Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XI, 467 p.) |
| Disciplina | 003.54 |
| Altri autori (Persone) |
DauFrithjof
MugnierMarie-Laure StummeGerd <1967-> |
| Collana | Lecture notes in computer science : subseries of Lecture notes in artificial intelligence |
| Soggetto topico |
Conceptual structures (Information theory)
Graph theory Logic diagrams Knowledge representation (Information theory) Natural language processing (Computer science) Estructures conceptuals (Teoria de la informació) Teoria de grafs |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783540318859
3540318852 9783540277835 3540277838 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Patterns for the Pragmatic Web -- Conceptual Graphs for Semantic Web Applications -- Knowledge Representation and Reasoning in (Controlled) Natural Language -- What Is a Concept? -- Applications of Description Logics: State of the Art and Research Challenges -- Methodologies for the Reliable Construction of Ontological Knowledge -- Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issues -- On the Need to Bootstrap Ontology Learning with Extraction Grammar Learning -- Conzilla — A Conceptual Interface to the Semantic Web -- Theoretical Foundations -- Variables in Concept Graphs -- Arbitrary Relations in Formal Concept Analysis and Logical Information Systems -- Merge-Based Computation of Minimal Generators -- Representation of Data Contexts and Their Concept Lattices in General Geometric Spaces -- Local Negation in Concept Graphs -- Morphisms in Context -- Contextual Logic and Aristotle’s Syllogistic -- States of Distributed Objects in Conceptual Semantic Systems -- Knowledge Engineering and Tools -- Hierarchical Knowledge Integration Using Layered Conceptual Graphs -- Evaluation of Concept Lattices in a Web-Based Mail Browser -- D-SIFT: A Dynamic Simple Intuitive FCA Tool -- Analyzing Conflicts with Concept-Based Learning -- Querying a Bioinformatic Data Sources Registry with Concept Lattices -- How Formal Concept Lattices Solve a Problem of Ancient Linguistics -- A New Method to Interrogate and Check UML Class Diagrams -- Knowledge Acquisition and Ontologies -- Language Technologies Meet Ontology Acquisition -- Weighted Pseudo-distances for Categorization in Semantic Hierarchies -- Games of Inquiry for Collaborative Concept Structuring -- Toward Cooperatively-Built Knowledge Repositories -- What Has Happened to Ontology -- Enhancing the Initial Requirements Capture of Multi-Agent Systems Through Conceptual Graphs -- Outline of trikonic?* k: Diagrammatic Trichotomic. |
| Record Nr. | UNINA-9910485024403321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conceptual Structures: Common Semantics for Sharing Knowledge [[electronic resource] ] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings / / edited by Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme
| Conceptual Structures: Common Semantics for Sharing Knowledge [[electronic resource] ] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings / / edited by Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XI, 467 p.) |
| Disciplina | 003.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Coding theory
Information theory Artificial intelligence Algorithms Mathematical logic Computer science—Mathematics Application software Coding and Information Theory Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Information Systems Applications (incl. Internet) |
| ISBN |
3-540-31885-2
3-540-27783-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Patterns for the Pragmatic Web -- Conceptual Graphs for Semantic Web Applications -- Knowledge Representation and Reasoning in (Controlled) Natural Language -- What Is a Concept? -- Applications of Description Logics: State of the Art and Research Challenges -- Methodologies for the Reliable Construction of Ontological Knowledge -- Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issues -- On the Need to Bootstrap Ontology Learning with Extraction Grammar Learning -- Conzilla — A Conceptual Interface to the Semantic Web -- Theoretical Foundations -- Variables in Concept Graphs -- Arbitrary Relations in Formal Concept Analysis and Logical Information Systems -- Merge-Based Computation of Minimal Generators -- Representation of Data Contexts and Their Concept Lattices in General Geometric Spaces -- Local Negation in Concept Graphs -- Morphisms in Context -- Contextual Logic and Aristotle’s Syllogistic -- States of Distributed Objects in Conceptual Semantic Systems -- Knowledge Engineering and Tools -- Hierarchical Knowledge Integration Using Layered Conceptual Graphs -- Evaluation of Concept Lattices in a Web-Based Mail Browser -- D-SIFT: A Dynamic Simple Intuitive FCA Tool -- Analyzing Conflicts with Concept-Based Learning -- Querying a Bioinformatic Data Sources Registry with Concept Lattices -- How Formal Concept Lattices Solve a Problem of Ancient Linguistics -- A New Method to Interrogate and Check UML Class Diagrams -- Knowledge Acquisition and Ontologies -- Language Technologies Meet Ontology Acquisition -- Weighted Pseudo-distances for Categorization in Semantic Hierarchies -- Games of Inquiry for Collaborative Concept Structuring -- Toward Cooperatively-Built Knowledge Repositories -- What Has Happened to Ontology -- Enhancing the Initial Requirements Capture of Multi-Agent Systems Through Conceptual Graphs -- Outline of trikonic?* k: Diagrammatic Trichotomic. |
| Record Nr. | UNISA-996465827203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual Structures: Theory, Tools and Applications [[electronic resource] ] : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings / / edited by Marie-Laure Mugnier, Michel Chein
| Conceptual Structures: Theory, Tools and Applications [[electronic resource] ] : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings / / edited by Marie-Laure Mugnier, Michel Chein |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIV, 446 p.) |
| Disciplina | 006.3/3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-68673-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conceptual graph standard and extensions -- Matching in description logics: Preliminary results -- Ontologically yours -- Executing conceptual graphs -- From actors to processes: The representation of dynamic knowledge using conceptual graphs -- A semantic validation of conceptual graphs -- Using viewpoints and CG for the representation and management of a corporate memory in concurrent engineering -- WebKB-GE — A visual editor for canonical conceptual graphs -- Mapping of CGIF to operational interfaces -- TOSCANA-systems based on thesauri -- MULTIKAT, a tool for comparing knowledge of multiple experts -- A platform allowing typed nested graphs: How CoGITo became CoGITaNT -- Towards correspondences between Conceptual Graphs and Description Logics -- Piece resolution: Towards larger perspectives -- Triadic concept graphs -- Powerset trilattices -- Simple concept graphs: A logic approach -- Two FOL semantics for simple and nested conceptual graphs -- Peircean graphs for the modal logic S5 -- Fuzzy order-sorted logic programming in conceptual graphs with a sound and complete proof procedure -- Knowledge querying in the conceptual graph model: The RAP module -- Stepwise construction of the Dedekind-MacNeille completion -- PAC learning conceptual graphs -- Procedural renunciation and the semi-automatic trap -- Ontologies and conceptual structures -- Manual acquisition of uncountable types in closed worlds -- A logical framework for modeling a discourse from the point of view of the agents involved in It -- Computational processing of verbal polysemy with conceptual structures -- Word graphs: The second set -- Tuning up conceptual graph representation for multilingual natural language processing in medicine -- Conceptual graphs for representing business processes in corporate memories -- Handling specification knowledge evolution using context lattices -- Using CG formal contexts to support business system interoperation. |
| Record Nr. | UNISA-996466104203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual Structures: Theory, Tools and Applications [[electronic resource] ] : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings / / edited by Marie-Laure Mugnier, Michel Chein
| Conceptual Structures: Theory, Tools and Applications [[electronic resource] ] : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings / / edited by Marie-Laure Mugnier, Michel Chein |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIV, 446 p.) |
| Disciplina | 006.3/3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-68673-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conceptual graph standard and extensions -- Matching in description logics: Preliminary results -- Ontologically yours -- Executing conceptual graphs -- From actors to processes: The representation of dynamic knowledge using conceptual graphs -- A semantic validation of conceptual graphs -- Using viewpoints and CG for the representation and management of a corporate memory in concurrent engineering -- WebKB-GE — A visual editor for canonical conceptual graphs -- Mapping of CGIF to operational interfaces -- TOSCANA-systems based on thesauri -- MULTIKAT, a tool for comparing knowledge of multiple experts -- A platform allowing typed nested graphs: How CoGITo became CoGITaNT -- Towards correspondences between Conceptual Graphs and Description Logics -- Piece resolution: Towards larger perspectives -- Triadic concept graphs -- Powerset trilattices -- Simple concept graphs: A logic approach -- Two FOL semantics for simple and nested conceptual graphs -- Peircean graphs for the modal logic S5 -- Fuzzy order-sorted logic programming in conceptual graphs with a sound and complete proof procedure -- Knowledge querying in the conceptual graph model: The RAP module -- Stepwise construction of the Dedekind-MacNeille completion -- PAC learning conceptual graphs -- Procedural renunciation and the semi-automatic trap -- Ontologies and conceptual structures -- Manual acquisition of uncountable types in closed worlds -- A logical framework for modeling a discourse from the point of view of the agents involved in It -- Computational processing of verbal polysemy with conceptual structures -- Word graphs: The second set -- Tuning up conceptual graph representation for multilingual natural language processing in medicine -- Conceptual graphs for representing business processes in corporate memories -- Handling specification knowledge evolution using context lattices -- Using CG formal contexts to support business system interoperation. |
| Record Nr. | UNINA-9910767582303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web Reasoning and Rule Systems [[electronic resource] ] : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings / / edited by Roman Kontchakov, Marie-Laure Mugnier
| Web Reasoning and Rule Systems [[electronic resource] ] : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings / / edited by Roman Kontchakov, Marie-Laure Mugnier |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 256 p. 36 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Database management Data mining Software engineering Computers Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management Data Mining and Knowledge Discovery Software Engineering Computation by Abstract Devices |
| ISBN | 3-319-11113-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- P 6= P: Why Some Reasoning Problems are More Tractable Than Others -- Semantic Technologies in Selected Industrial Applications -- Web Reasoning for Cultural Heritage -- Full Papers -- Planning with Transaction Logic -- A Generalization of Approximation Fixpoint Theory and Application -- Query Answering over Contextualized RDF/OWL Knowledge with For all-Existential Bridge Rules: Attaining Decidability using Acyclicity -- Exchange-Repairs: Managing Inconsistency in Data Exchange -- Rules and Ontology Based Data Access -- Technical Communications -- Semantic Search for Earth Observation Products using Ontology Services -- Airport Context Analytics -- Navigating among Educational Resources in the Web of Linked Data -- Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming -- Web Stream Reasoning Using Probabilistic Answer Set Programming -- Federated Debugging of Lightweight Ontologies -- Revisiting the Hardness of Query Answering in Expressive Description Logics -- An Ontology for Container Terminal Operations -- Posters -- Ontology-Based Answer Extraction Method -- Collective, Incremental Ontology Alignment Through Query Translation -- Disjunctive Constraints in RDF and Their Application to Context Schemas -- Linked Open Data in the Earth Observation Domain: the Vision of Project LEO -- Combining Fuzzy and Probabilistic Reasoning for Crowd-Sourced Categorization and Tagging -- Doctoral Consortium -- Visual Editor for Answer Set Programming: Preliminary Report -- Adaptive Stream Query Processing Approach for Linked Stream Data: Extended Abstract.-Combining Logic and Business Rule Systems. |
| Record Nr. | UNISA-996199684403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web Reasoning and Rule Systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings / / edited by Roman Kontchakov, Marie-Laure Mugnier
| Web Reasoning and Rule Systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings / / edited by Roman Kontchakov, Marie-Laure Mugnier |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 256 p. 36 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Database management Data mining Software engineering Computers Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management Data Mining and Knowledge Discovery Software Engineering Computation by Abstract Devices |
| ISBN | 3-319-11113-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- P 6= P: Why Some Reasoning Problems are More Tractable Than Others -- Semantic Technologies in Selected Industrial Applications -- Web Reasoning for Cultural Heritage -- Full Papers -- Planning with Transaction Logic -- A Generalization of Approximation Fixpoint Theory and Application -- Query Answering over Contextualized RDF/OWL Knowledge with For all-Existential Bridge Rules: Attaining Decidability using Acyclicity -- Exchange-Repairs: Managing Inconsistency in Data Exchange -- Rules and Ontology Based Data Access -- Technical Communications -- Semantic Search for Earth Observation Products using Ontology Services -- Airport Context Analytics -- Navigating among Educational Resources in the Web of Linked Data -- Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming -- Web Stream Reasoning Using Probabilistic Answer Set Programming -- Federated Debugging of Lightweight Ontologies -- Revisiting the Hardness of Query Answering in Expressive Description Logics -- An Ontology for Container Terminal Operations -- Posters -- Ontology-Based Answer Extraction Method -- Collective, Incremental Ontology Alignment Through Query Translation -- Disjunctive Constraints in RDF and Their Application to Context Schemas -- Linked Open Data in the Earth Observation Domain: the Vision of Project LEO -- Combining Fuzzy and Probabilistic Reasoning for Crowd-Sourced Categorization and Tagging -- Doctoral Consortium -- Visual Editor for Answer Set Programming: Preliminary Report -- Adaptive Stream Query Processing Approach for Linked Stream Data: Extended Abstract.-Combining Logic and Business Rule Systems. |
| Record Nr. | UNINA-9910484678203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||