000 | 03293nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-319-04534-4 | ||
003 | DE-He213 | ||
005 | 20240423125241.0 | ||
007 | cr nn 008mamaa | ||
008 | 140121s2014 sz | s |||| 0|eng d | ||
020 |
_a9783319045344 _9978-3-319-04534-4 |
||
024 | 7 |
_a10.1007/978-3-319-04534-4 _2doi |
|
050 | 4 | _aQ334-342 | |
050 | 4 | _aTA347.A78 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
072 | 7 |
_aUYQ _2thema |
|
082 | 0 | 4 |
_a006.3 _223 |
245 | 1 | 0 |
_aGraph Structures for Knowledge Representation and Reasoning _h[electronic resource] : _bThird International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / _cedited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales. |
250 | _a1st ed. 2014. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2014. |
|
300 |
_aX, 211 p. 64 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v8323 |
|
505 | 0 | _aRepresentations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks. | |
520 | _aThis 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 | _aArtificial intelligence. | |
650 | 0 | _aMachine theory. | |
650 | 0 |
_aComputer science _xMathematics. |
|
650 | 0 | _aDiscrete mathematics. | |
650 | 1 | 4 | _aArtificial Intelligence. |
650 | 2 | 4 | _aFormal Languages and Automata Theory. |
650 | 2 | 4 | _aDiscrete Mathematics in Computer Science. |
700 | 1 |
_aCroitoru, Madalina. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aRudolph, Sebastian. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aWoltran, Stefan. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aGonzales, Christophe. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319045337 |
776 | 0 | 8 |
_iPrinted edition: _z9783319045351 |
830 | 0 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v8323 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-04534-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cSPRINGER | ||
999 |
_c175886 _d175886 |