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 : from information to intelligence : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010 : proceedings / / Madalina Croitoru, Sebastien Ferre, Dickson Lukose, (eds.)
| Conceptual structures : from information to intelligence : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010 : proceedings / / Madalina Croitoru, Sebastien Ferre, Dickson Lukose, (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XII, 207 p. 51 illus.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
CroitoruMadalina
FerreSebastien LukoseDickson |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in artificial intelligence |
| Soggetto topico | Conceptual structures (Information theory) |
| ISBN | 3-642-14197-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Entities and Surrogates in Knowledge Representation -- Exploring Conceptual Possibilities -- Graphical Representation of Ordinal Preferences: Languages and Applications -- Combining Description Logics, Description Graphs, and Rules -- Practical Graph Mining -- Accepted Papers -- Use of Domain Knowledge in the Automatic Extraction of Structured Representations from Patient-Related Texts -- Translations between RDF(S) and Conceptual Graphs -- Default Conceptual Graph Rules, Atomic Negation and Tic-Tac-Toe -- On the Stimulation of Patterns -- Ontology-Based Understanding of Natural Language Queries Using Nested Conceptual Graphs -- An Easy Way of Expressing Conceptual Graph Queries from Keywords and Query Patterns -- Natural Intelligence – Commonsense Question Answering with Conceptual Graphs -- Learning to Map the Virtual Evolution of Knowledge -- Branching Time as a Conceptual Structure -- Formal Concept Analysis in Knowledge Discovery: A Survey -- Granular Reduction of Property-Oriented Concept Lattices -- Temporal Relational Semantic Systems -- Accepted Posters -- FcaBedrock, a Formal Context Creator -- From Generalization of Syntactic Parse Trees to Conceptual Graphs -- Conceptual Structures for Reasoning Enterprise Agents -- Conceptual Graphs for Semantic Email Addressing -- Introducing Rigor in Concept Maps -- Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks. |
| Record Nr. | UNINA-9910484765003321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conceptual Structures: From Information to Intelligence [[electronic resource] ] : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010, Proceedings / / edited by Madalina Croitoru, Sébastien Ferré, Dickson Lukose
| Conceptual Structures: From Information to Intelligence [[electronic resource] ] : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010, Proceedings / / edited by Madalina Croitoru, Sébastien Ferré, Dickson Lukose |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 207 p. 51 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Programming languages (Electronic computers) Database management Mathematical logic Pattern recognition Artificial Intelligence Data Mining and Knowledge Discovery Programming Languages, Compilers, Interpreters Database Management Mathematical Logic and Formal Languages Pattern Recognition |
| Soggetto genere / forma | Congress. |
| ISBN | 3-642-14197-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Entities and Surrogates in Knowledge Representation -- Exploring Conceptual Possibilities -- Graphical Representation of Ordinal Preferences: Languages and Applications -- Combining Description Logics, Description Graphs, and Rules -- Practical Graph Mining -- Accepted Papers -- Use of Domain Knowledge in the Automatic Extraction of Structured Representations from Patient-Related Texts -- Translations between RDF(S) and Conceptual Graphs -- Default Conceptual Graph Rules, Atomic Negation and Tic-Tac-Toe -- On the Stimulation of Patterns -- Ontology-Based Understanding of Natural Language Queries Using Nested Conceptual Graphs -- An Easy Way of Expressing Conceptual Graph Queries from Keywords and Query Patterns -- Natural Intelligence – Commonsense Question Answering with Conceptual Graphs -- Learning to Map the Virtual Evolution of Knowledge -- Branching Time as a Conceptual Structure -- Formal Concept Analysis in Knowledge Discovery: A Survey -- Granular Reduction of Property-Oriented Concept Lattices -- Temporal Relational Semantic Systems -- Accepted Posters -- FcaBedrock, a Formal Context Creator -- From Generalization of Syntactic Parse Trees to Conceptual Graphs -- Conceptual Structures for Reasoning Enterprise Agents -- Conceptual Graphs for Semantic Email Addressing -- Introducing Rigor in Concept Maps -- Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks. |
| Record Nr. | UNISA-996466432603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
| Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph |
| Autore | Cochez Michael |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (IX, 151 p. 54 illus., 26 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer communication systems Mathematical logic Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages |
| Soggetto non controllato |
Artificial Intelligence
Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages Computer and Information Systems Applications Formal Languages and Automata Theory open access concept lattices data mining databases fca formal concept analysis formal languages formal logic information analysis information systems knowledge-based system model-based reasoning network protocols ontologies Information retrieval Internet searching Network hardware Mathematical theory of computation |
| ISBN | 3-030-72308-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs. |
| Record Nr. | UNISA-996464442403316 |
Cochez Michael
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
| Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph |
| Autore | Cochez Michael |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (IX, 151 p. 54 illus., 26 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer communication systems Mathematical logic Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages |
| Soggetto non controllato |
Artificial Intelligence
Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages Computer and Information Systems Applications Formal Languages and Automata Theory open access concept lattices data mining databases fca formal concept analysis formal languages formal logic information analysis information systems knowledge-based system model-based reasoning network protocols ontologies Information retrieval Internet searching Network hardware Mathematical theory of computation |
| ISBN | 3-030-72308-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs. |
| Record Nr. | UNINA-9910473457803321 |
|
Cochez Michael
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
| Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (VII, 139 p.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Information storage and retrieval Computer communication systems Mathematical statistics Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Probability and Statistics in Computer Science |
| ISBN | 3-319-78102-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Exploring, Reasoning With and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs -- Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding -- Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm -- Representing and Reasoning about Logical Network Topologies -- From Enterprise Concepts to Formal Concepts: A University Case Study -- Visualizing ALC Using Concept Diagrams -- Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results. |
| Record Nr. | UNISA-996465485403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
| Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (VII, 139 p.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Information storage and retrieval Computer communication systems Mathematical statistics Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Probability and Statistics in Computer Science |
| ISBN | 3-319-78102-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Exploring, Reasoning With and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs -- Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding -- Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm -- Representing and Reasoning about Logical Network Topologies -- From Enterprise Concepts to Formal Concepts: A University Case Study -- Visualizing ALC Using Concept Diagrams -- Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results. |
| Record Nr. | UNINA-9910349425703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
| Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (VII, 155 p. 48 illus. in color.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Information storage and retrieval Computer communication systems Mathematical statistics Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Probability and Statistics in Computer Science |
| ISBN | 3-319-28702-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Designing a Knowledge Representation Tool for Subject Matter Structuring -- Aligning Experientially Grounded Ontologies using Language Games -- An overview of argumentation frameworks for decision support -- Learning Optimal Bayesian Networks with DAG Graphs -- Combinatorial results on directed hypergraphs for the SAT problem -- Conceptual Graphs for Formally Managing and Discovering Complementary Competences -- Subjective Networks: Perspectives and Challenges -- RDF-SQ: Mixing Parallel and Sequential Computation For Top-down OWL RL Inference -- Bring User Interest to Related Entity Recommendation. |
| Record Nr. | UNISA-996466362203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
| Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (VII, 155 p. 48 illus. in color.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Information storage and retrieval Computer communication systems Mathematical statistics Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Probability and Statistics in Computer Science |
| ISBN | 3-319-28702-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Designing a Knowledge Representation Tool for Subject Matter Structuring -- Aligning Experientially Grounded Ontologies using Language Games -- An overview of argumentation frameworks for decision support -- Learning Optimal Bayesian Networks with DAG Graphs -- Combinatorial results on directed hypergraphs for the SAT problem -- Conceptual Graphs for Formally Managing and Discovering Complementary Competences -- Subjective Networks: Perspectives and Challenges -- RDF-SQ: Mixing Parallel and Sequential Computation For Top-down OWL RL Inference -- Bring User Interest to Related Entity Recommendation. |
| Record Nr. | UNINA-9910484077503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
| Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 211 p. 64 illus.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer science—Mathematics Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science |
| Soggetto genere / forma |
Kongress2013.Peking
Conference proceedings. Online-Publikation |
| ISBN | 3-319-04534-2 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks. |
| Record Nr. | UNISA-996205183803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
| Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 211 p. 64 illus.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer science—Mathematics Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science |
| Soggetto genere / forma |
Kongress2013.Peking
Conference proceedings. Online-Publikation |
| ISBN | 3-319-04534-2 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks. |
| Record Nr. | UNINA-9910484015803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
