04033nam 22007695 450 99641828390331620200818155732.03-030-57977-810.1007/978-3-030-57977-7(CKB)4100000011392565(DE-He213)978-3-030-57977-7(MiAaPQ)EBC6310343(PPN)250214806(EXLCZ)99410000001139256520200818d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierRules and Reasoning[electronic resource] 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings /edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XVI, 187 p. 96 illus., 19 illus. in color.) Programming and Software Engineering ;12173Includes index.3-030-57976-X Invited Papers -- Full Papers -- Technical Communication Papers.This 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.Programming and Software Engineering ;12173ComputersSoftware engineeringArtificial intelligenceComputer logicKnowledge representation (Information theory) Application softwareTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Information Systems and Communication Servicehttps://scigraph.springernature.com/ontologies/product-market-codes/I18008Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Logic in AIhttps://scigraph.springernature.com/ontologies/product-market-codes/I21020Knowledge based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I21030Computer Appl. in Administrative Data Processinghttps://scigraph.springernature.com/ontologies/product-market-codes/I2301XComputers.Software engineering.Artificial intelligence.Computer logic.Knowledge representation (Information theory) .Application software.Theory of Computation.Information Systems and Communication Service.Software Engineering/Programming and Operating Systems.Logic in AI.Knowledge based Systems.Computer Appl. in Administrative Data Processing.005.1015113Gutiérrez-Basulto Víctoredthttp://id.loc.gov/vocabulary/relators/edtKliegr Tomášedthttp://id.loc.gov/vocabulary/relators/edtSoylu Ahmetedthttp://id.loc.gov/vocabulary/relators/edtGiese Martinedthttp://id.loc.gov/vocabulary/relators/edtRoman Dumitruedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996418283903316Rules and Reasoning2129764UNISA