Artificial General Intelligence [[electronic resource] ] : 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings / / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 207 p. 39 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Pattern recognition Algorithms Application software Software engineering Artificial Intelligence Mathematical Logic and Formal Languages Pattern Recognition Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Software Engineering |
ISBN | 3-642-39521-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465546303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial General Intelligence [[electronic resource] ] : 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings / / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 207 p. 39 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Pattern recognition Algorithms Application software Software engineering Artificial Intelligence Mathematical Logic and Formal Languages Pattern Recognition Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Software Engineering |
ISBN | 3-642-39521-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483821903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Concept Analysis [[electronic resource] ] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings / / edited by Sébastien Ferré, Sebastian Rudolph |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XII, 341 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Algebra Artificial intelligence Software engineering Data mining Mathematical Logic and Foundations Artificial Intelligence Software Engineering Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages |
ISBN | 3-642-01815-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Usability Issues in Description Logic Knowledge Base Completion -- Concept Lattice Orbifolds – First Steps -- The Advent of Formal Diagrammatic Reasoning Systems -- The Logic of Learning -- What Can Formal Concept Analysis Do for Data Warehouses? -- Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts -- Can Ontology Inform Ontologies? -- Theory -- Factor Analysis of Incidence Data via Novel Decomposition of Matrices -- A Unified Hierarchy for Functional Dependencies, Conditional Functional Dependencies and Association Rules -- Robust Elements in Rough Set Abstractions -- Some Computational Problems Related to Pseudo-intents -- Algorithms -- Exploring Finite Models in the Description Logic -- Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice -- Context Graphs — Representing Formal Concepts by Connected Subgraphs -- Handling Large Formal Context Using BDD – Perspectives and Limitations -- Applications -- A Novel Approach to Cell Formation -- Identifying Ecological Traits: A Concrete FCA-Based Approach -- A Concept Lattice-Based Kernel for SVM Text Classification -- Two FCA-Based Methods for Mining Gene Expression Data -- Ontology-Based Formal Concept Differences Analysis in Radiology Report Impact by the Adoption of PACS -- Revisiting the Potentialities of a Mechanical Thesaurus -- FCA-Based Two Dimensional Pattern Matching -- History -- RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS. |
Record Nr. | UNISA-996466271803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Concept Analysis [[electronic resource] ] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings / / edited by Sébastien Ferré, Sebastian Rudolph |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XII, 341 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Algebra Artificial intelligence Software engineering Data mining Mathematical Logic and Foundations Artificial Intelligence Software Engineering Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages |
ISBN | 3-642-01815-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Usability Issues in Description Logic Knowledge Base Completion -- Concept Lattice Orbifolds – First Steps -- The Advent of Formal Diagrammatic Reasoning Systems -- The Logic of Learning -- What Can Formal Concept Analysis Do for Data Warehouses? -- Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts -- Can Ontology Inform Ontologies? -- Theory -- Factor Analysis of Incidence Data via Novel Decomposition of Matrices -- A Unified Hierarchy for Functional Dependencies, Conditional Functional Dependencies and Association Rules -- Robust Elements in Rough Set Abstractions -- Some Computational Problems Related to Pseudo-intents -- Algorithms -- Exploring Finite Models in the Description Logic -- Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice -- Context Graphs — Representing Formal Concepts by Connected Subgraphs -- Handling Large Formal Context Using BDD – Perspectives and Limitations -- Applications -- A Novel Approach to Cell Formation -- Identifying Ecological Traits: A Concrete FCA-Based Approach -- A Concept Lattice-Based Kernel for SVM Text Classification -- Two FCA-Based Methods for Mining Gene Expression Data -- Ontology-Based Formal Concept Differences Analysis in Radiology Report Impact by the Adoption of PACS -- Revisiting the Potentialities of a Mechanical Thesaurus -- FCA-Based Two Dimensional Pattern Matching -- History -- RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS. |
Record Nr. | UNINA-9910483966103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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. | UNINA-9910473457803321 |
Cochez Michael
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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. | UNINA-9910349425703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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. | UNINA-9910484077503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|