000 | 02967nam a22005655i 4500 | ||
---|---|---|---|
001 | 978-3-319-04534-4 | ||
003 | DE-He213 | ||
005 | 20200421111659.0 | ||
007 | cr nn 008mamaa | ||
008 | 140121s2014 gw | 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 | _aTJ210.2-211.495 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aTJFM1 _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
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. |
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 Computer Science, _x0302-9743 ; _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 | _aComputer science. | |
650 | 0 | _aMathematical logic. | |
650 | 0 |
_aComputer science _xMathematics. |
|
650 | 0 | _aArtificial intelligence. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aDiscrete Mathematics in Computer Science. |
700 | 1 |
_aCroitoru, Madalina. _eeditor. |
|
700 | 1 |
_aRudolph, Sebastian. _eeditor. |
|
700 | 1 |
_aWoltran, Stefan. _eeditor. |
|
700 | 1 |
_aGonzales, Christophe. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319045337 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8323 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-04534-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c54868 _d54868 |