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.
Algorithmes pour l'intelligence artificielle / / coordinateurs, Pierre Marquis, Odile Papini, Henri Prade ; préface, Alain Colmerauer
| Algorithmes pour l'intelligence artificielle / / coordinateurs, Pierre Marquis, Odile Papini, Henri Prade ; préface, Alain Colmerauer |
| Pubbl/distr/stampa | Toulouse, France : , : Cépaduès-Éditions, , [2014] |
| Descrizione fisica | 1 online resource (364 pages) |
| Disciplina | 006.3 |
| Collana | Panorama de l'intelligence artificielle : ses bases méthogologiques, ses développements |
| Soggetto topico | Artificial intelligence |
| Soggetto genere / forma | Electronic books. |
| ISBN | 2-36493-458-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910461158903321 |
| Toulouse, France : , : Cépaduès-Éditions, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithmes pour l'intelligence artificielle / / coordinateurs, Pierre Marquis, Odile Papini, Henri Prade ; préface, Alain Colmerauer
| Algorithmes pour l'intelligence artificielle / / coordinateurs, Pierre Marquis, Odile Papini, Henri Prade ; préface, Alain Colmerauer |
| Pubbl/distr/stampa | Toulouse, France : , : Cépaduès-Éditions, , [2014] |
| Descrizione fisica | 1 online resource (364 pages) |
| Disciplina | 006.3 |
| Collana | Panorama de l'intelligence artificielle : ses bases méthogologiques, ses développements |
| Soggetto topico | Artificial intelligence |
| ISBN | 2-36493-458-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910797391403321 |
| Toulouse, France : , : Cépaduès-Éditions, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithmes pour l'intelligence artificielle / / coordinateurs, Pierre Marquis, Odile Papini, Henri Prade ; préface, Alain Colmerauer
| Algorithmes pour l'intelligence artificielle / / coordinateurs, Pierre Marquis, Odile Papini, Henri Prade ; préface, Alain Colmerauer |
| Pubbl/distr/stampa | Toulouse, France : , : Cépaduès-Éditions, , [2014] |
| Descrizione fisica | 1 online resource (364 pages) |
| Disciplina | 006.3 |
| Collana | Panorama de l'intelligence artificielle : ses bases méthogologiques, ses développements |
| Soggetto topico | Artificial intelligence |
| ISBN | 2-36493-458-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910813852203321 |
| Toulouse, France : , : Cépaduès-Éditions, , [2014] | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| ||
A Guided Tour of Artificial Intelligence Research : Volume II: AI Algorithms / / edited by Pierre Marquis, Odile Papini, Henri Prade
| A Guided Tour of Artificial Intelligence Research : Volume II: AI Algorithms / / edited by Pierre Marquis, Odile Papini, Henri Prade |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (529 pages) |
| Disciplina | 006.3 |
| Soggetto topico |
Artificial intelligence
Computational intelligence Computers Artificial Intelligence Computational Intelligence Theory of Computation |
| ISBN | 3-030-06167-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From the content: Heuristically Ordered Search in State Graphs -- Meta-Heuristics and Artificial Intelligence -- Automated Deduction. |
| Record Nr. | UNINA-9910483123303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
