LEADER 04033nam  22007695  450 
001 996418283903316
005 20200818155732.0
010   $a3-030-57977-8
024 7 $a10.1007/978-3-030-57977-7
035   $a(CKB)4100000011392565
035   $a(DE-He213)978-3-030-57977-7
035   $a(MiAaPQ)EBC6310343
035   $a(PPN)250214806
035   $a(EXLCZ)994100000011392565
100   $a20200818d2020      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRules and Reasoning$b[electronic resource] $e4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 ? July 1, 2020, Proceedings /$fedited by Víctor Gutiérrez-Basulto, Tomá? Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XVI, 187 p. 96 illus., 19 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v12173
300   $aIncludes index.
311   $a3-030-57976-X 
327   $aInvited Papers -- Full Papers -- Technical Communication Papers.
330   $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.
410  0$aProgramming and Software Engineering ;$v12173
606   $aComputers
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer logic
606   $aKnowledge representation (Information theory) 
606   $aApplication software
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aLogic in AI$3https://scigraph.springernature.com/ontologies/product-market-codes/I21020
606   $aKnowledge based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I21030
606   $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X
615  0$aComputers.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aComputer logic.
615  0$aKnowledge representation (Information theory) .
615  0$aApplication software.
615 14$aTheory of Computation.
615 24$aInformation Systems and Communication Service.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aLogic in AI.
615 24$aKnowledge based Systems.
615 24$aComputer Appl. in Administrative Data Processing.
676   $a005.1015113
702   $aGutiérrez-Basulto$b Víctor$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKliegr$b Tomá?$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSoylu$b Ahmet$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGiese$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRoman$b Dumitru$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418283903316
996   $aRules and Reasoning$92129764
997   $aUNISA