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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|