03607nam 22008055 450 991041608080332120251113181820.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 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,2945-9168 ;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,2945-9168 ;12173Computer scienceComputer engineeringComputer networksSoftware engineeringLogic programmingExpert systems (Computer science)Information technologyManagementTheory of ComputationComputer Engineering and NetworksSoftware EngineeringLogic in AIKnowledge Based SystemsComputer Application in Administrative Data ProcessingComputer science.Computer engineering.Computer networks.Software engineering.Logic programming.Expert systems (Computer science).Information technologyManagement.Theory of Computation.Computer Engineering and Networks.Software Engineering.Logic in AI.Knowledge Based Systems.Computer Application in Administrative Data Processing.005.1015113005.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/edtMiAaPQMiAaPQMiAaPQBOOK9910416080803321Rules and Reasoning2585543UNINA