|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465557203316 |
|
|
Titolo |
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VII, 209 p. 77 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 7205 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Mathematical logic |
Algorithms |
Computer logic |
Computer programming |
Computers |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
Programming Techniques |
Computation by Abstract Devices |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Bayesian networks -- semantic networks -- conceptual graphs -- formal concept analysis -- cp-nets -- gai-nets -- euler diagrams -- existential graphs -- semantic Web -- recommender systems.-bioinformatics. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in |
|
|
|
|
|
|
|
|
|
|
Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 12 submissions. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques and investigate further developments of knowledge representation and reasoning graph based techniques. Topics addressed are such as: bayesian networks, semantic networks, conceptual graphs, formal concept analysis, cp-nets, gai-nets, euler diagrams, existential graphs all of which have been successfully used in a number of applications (semantic Web, recommender systems, bioinformatics etc.). |
|
|
|
|
|
| |