Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers /
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd International Joint Conference on Artif...
| Published in: | Springer eBooks |
|---|---|
| Corporate Author: | |
| Other Authors: | , , , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Series: | Lecture Notes in Computer Science,
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-319-04534-4 Перейти в каталог НБ ТГУ |
| LEADER | 03201nam a22005655i 4500 | ||
|---|---|---|---|
| 001 | vtls000542731 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922082450.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 160915s2014 gw | s |||| 0|eng d | ||
| 020 | |a 9783319045344 |9 978-3-319-04534-4 | ||
| 024 | 7 | |a 10.1007/978-3-319-04534-4 |2 doi | |
| 035 | |a to000542731 | ||
| 039 | 9 | |y 201609152156 |z Александр Эльверович Гилязов | |
| 040 | |a Springer |c Springer |d RU-ToGU | ||
| 050 | 4 | |a Q334-342 | |
| 050 | 4 | |a TJ210.2-211.495 | |
| 072 | 7 | |a UYQ |2 bicssc | |
| 072 | 7 | |a TJFM1 |2 bicssc | |
| 072 | 7 | |a COM004000 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.3 |2 23 |
| 245 | 1 | 0 | |a Graph Structures for Knowledge Representation and Reasoning |h electronic resource |b Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / |c edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales. |
| 260 | |a Cham : |b Springer International Publishing : |b Imprint: Springer, |c 2014. |9 742221 | ||
| 300 | |a X, 211 p. 64 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 0302-9743 ; |v 8323 | |
| 505 | 0 | |a Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks. | |
| 520 | |a This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques. They address the following topics: representations of constraint satisfaction problems; formal concept analysis; conceptual graphs; and argumentation frameworks. | ||
| 650 | 0 | |a Computer Science. |9 155490 | |
| 650 | 0 | |a Computational complexity. |9 304814 | |
| 650 | 0 | |a Artificial intelligence. |9 274099 | |
| 650 | 1 | 4 | |a Computer Science. |9 155490 |
| 650 | 2 | 4 | |a Artificial Intelligence (incl. Robotics). |9 274102 |
| 650 | 2 | 4 | |a Mathematical Logic and Formal Languages. |9 303363 |
| 650 | 2 | 4 | |a Discrete Mathematics in Computer Science. |9 304816 |
| 700 | 1 | |a Croitoru, Madalina. |e editor. |9 448957 | |
| 700 | 1 | |a Rudolph, Sebastian. |e editor. |9 416331 | |
| 700 | 1 | |a Woltran, Stefan. |e editor. |9 415803 | |
| 700 | 1 | |a Gonzales, Christophe. |e editor. |9 448958 | |
| 710 | 2 | |a SpringerLink (Online service) |9 143950 | |
| 773 | 0 | |t Springer eBooks | |
| 830 | 0 | |a Lecture Notes in Computer Science, |9 279505 | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-319-04534-4 |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=400449 | ||
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (Springer-11645) | ||
| 999 | |c 400449 |d 400449 | ||