000 | 03489nam a22006735i 4500 | ||
---|---|---|---|
001 | 978-3-030-57977-7 | ||
003 | DE-He213 | ||
005 | 20240730170512.0 | ||
007 | cr nn 008mamaa | ||
008 | 200818s2020 sz | s |||| 0|eng d | ||
020 |
_a9783030579777 _9978-3-030-57977-7 |
||
024 | 7 |
_a10.1007/978-3-030-57977-7 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aRules and Reasoning _h[electronic resource] : _b4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings / _cedited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman. |
250 | _a1st ed. 2020. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020. |
|
300 |
_aXVI, 187 p. 96 illus., 19 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v12173 |
|
505 | 0 | _aInvited Papers -- Full Papers -- Technical Communication Papers. | |
520 | _aThis book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems). The 7 full research papers presented together with 6 short technical communications papers were carefully reviewed and selected from 30 submissions. *The conference was held virtually due to the COVID-19 pandemic. | ||
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aComputer engineering. _910164 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aLogic programming. _92730 |
|
650 | 0 |
_aExpert systems (Computer science). _93392 |
|
650 | 0 |
_aInformation technology _xManagement. _95368 |
|
650 | 1 | 4 |
_aTheory of Computation. _993999 |
650 | 2 | 4 |
_aComputer Engineering and Networks. _994001 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aLogic in AI. _933012 |
650 | 2 | 4 |
_aKnowledge Based Systems. _979172 |
650 | 2 | 4 |
_aComputer Application in Administrative Data Processing. _931588 |
700 | 1 |
_aGutiérrez-Basulto, Víctor. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _994004 |
|
700 | 1 |
_aKliegr, Tomáš. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _994005 |
|
700 | 1 |
_aSoylu, Ahmet. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _994006 |
|
700 | 1 |
_aGiese, Martin. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _994007 |
|
700 | 1 |
_aRoman, Dumitru. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _994008 |
|
710 | 2 |
_aSpringerLink (Online service) _994011 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030579760 |
776 | 0 | 8 |
_iPrinted edition: _z9783030579784 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v12173 _994012 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-57977-7 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c87003 _d87003 |