Rules and Reasoning. 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022 Berlin, Germany, September 26–28, 2022 Proceedings PDF
Preview Rules and Reasoning. 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022 Berlin, Germany, September 26–28, 2022 Proceedings
Guido Governatori Anni-Yasmin Turhan (Eds.) 2 5 7 3 1 S Rules and Reasoning C N L 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022 Berlin, Germany, September 26–28, 2022 Proceedings Lecture Notes in Computer Science 13752 FoundingEditors GerhardGoos KarlsruheInstituteofTechnology,Karlsruhe,Germany JurisHartmanis CornellUniversity,Ithaca,NY,USA EditorialBoardMembers ElisaBertino PurdueUniversity,WestLafayette,IN,USA WenGao PekingUniversity,Beijing,China BernhardSteffen TUDortmundUniversity,Dortmund,Germany MotiYung ColumbiaUniversity,NewYork,NY,USA Moreinformationaboutthisseriesathttps://link.springer.com/bookseries/558 · Guido Governatori Anni-Yasmin Turhan (Eds.) Rules and Reasoning 6thInternationalJointConferenceonRulesandReasoning,RuleML+RR2022 Berlin,Germany,September26–28,2022 Proceedings Editors GuidoGovernatori Anni-YasminTurhan SingaporeManagementUniversity DresdenUniversityofTechnology Singapore,Singapore Dresden,Germany ISSN 0302-9743 ISSN 1611-3349 (electronic) LectureNotesinComputerScience ISBN 978-3-031-21540-7 ISBN 978-3-031-21541-4 (eBook) https://doi.org/10.1007/978-3-031-21541-4 ©TheEditor(s)(ifapplicable)andTheAuthor(s),underexclusivelicense toSpringerNatureSwitzerlandAG2022 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthors,andtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface In September 2022 the 6th International Joint Conference on Rules and Reasoning (RuleML+RR)tookplaceonline.Initially,wehadplannedtoconducttheconferenceas aphysicalmeetinginBerlin,buttheCOVID-19situationpreventedit.TheRuleML+RR conferencewaspartoftheumbrellaeventDeclarativeAI,whichalsofeaturedDecision- CAMP and the Reasoning Web Summer School. This year’s motto of the event was Rules,Reasoning,Decisions,andExplanations.RuleML+RRitselfcomprised,besides the conference, the Doctoral Consortium organized by Alexander Steen and Evgeny Kharlamov and the international Rule Challenge organized by Dörthe Arndt, Ahmet Soylu, and Jan Vanthienen. The conference, as expressed in the call for papers, had a focusonexplainablealgorithmicdecision-makinginvolvingrule-basedrepresentation andreasoning.Weappointedwellover75ProgramCommittee(PC)members,fromsev- eralscientificsub-communitiesthatworkonrule-basedreasoning,toensurearigorous androbustreviewingprocess. Therewere52submissionsfrom23countries(andfivecontinents)afteradeadline extensionofthreeweeks.Eachsubmittedpaper wasassignedfourPCmemberstobe forearmedagainstunavailabilitybecauseofcovid-relatedissues.Intheendeachpaper receivedatleastthreereviews.Forpapersinvolvingoneofthechairsorauthorsfrom their institutions, the other chair was solely in charge of the review process, and the reviews were anonymised before they were inserted in the submission system. Some ofthesewereprovidedatshortnoticebytheemergencyreviewersShiqponjaAhmetaj, Sebastian Rudolph, Stefan Schlobach, and Sergio Tessaris.We thank allPC members andadditionalreviewersfortheirefforts! We accepted 19 papers resulting in a 37% acceptance rate for RuleML+RR 2022. From the accepted papers an award committee selected the papers meritorious of the conference awards. The paper plingo: A system for probabilistic reasoning in clingo based on lpmln by Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, NicolasRuehling,andTorstenSchaubwontheHaroldBoleyBestSystemDescription award.TheBestStudentPaperawardwenttoFaiqMiftakhulFalakh,SebastianRudolph, and Kai Sauerwald for the paper Semantic Characterizations of AGM Revision for Arbitrary Tarskian Logics. Finally, the Best Paper award was presented to the paper IntheHeadoftheBeholder:ComparingDifferentProofRepresentationsbyChristian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna MilenaRothermel,andFrederikWiehr.Congratulationstoalloftheauthors! Longbeforewewerefinalizingtheprogramoftheconference,wewereluckytobe abletoappointfourgreatkeynotespeakers.Intheeveningofthefirstandthelastday wehadkeynotetalkssharedwithDecisionCampbyPaulVincenton“TheEvolutionof DecisioninginIT,andWhatHappensNext”andbyChristianDeSaintMarieon“Neuro- SymbolicAIandDecisionRules”.Thesecondandthethirddayoftheconferencestarted withkeynotetalksbyIanHorrockson“KnowledgeGraphs:Theory,Applicationsand ChallengesandbyTorstenSchaubonASPinIndustry,HereandThere”,respectively. vi Preface WearegratefultothegenerousfinancialcontributionoftheArtificialIntelligence Journal,Springer,theFachbereichKünstlicheIntelligenzoftheGesellschaftfürInfor- matik, and OASIS LegalRuleML that supported the RuleML+RR 2022 awards, the publicationoftheproceedings,andthewideparticipationofstudentsandscholars. Finally,wedeeplyacknowledgeAdrianPaschkeandtheFreieUniversitätBerlinfor thekindadministrative,technical,andlogisticsupportfortheDeclarativeAIevent. September2022 GuidoGovernatori Anni-YasminTurhan Organization GeneralChair AdrianPasckhe FreieUniveritätBerlinandFraunhoferFOKUS, Germany ProgramCommitteeChairs GuidoGovernatori SingaporeManagementUniversity,Singapore Anni-YasminTurhan TechnischeUniversitätDresden,Germany ProgramCommittee NurulhudaA.Manaf NationalDefenceUniversityofMalaysia, Malaysia ShqiponjaAhmetaj TUWien,Austria GrigorisAntoniou UniversityofHuddersfield,UK DörtheArndt TUDresden,Germany NickBassiliades AristotleUniversityofThessaloniki,Greece RomanBauer UniversityofSurrey,UK LeopoldoBertossi SKEMABusinessSchoolCanadaInc.,Canada MehulBhatt ÖrebroUniversity,Sweden AntonisBikakis UniversityCollegeLondon,UK AndreasBillig FraunhoferFOKUS,Germany PieroBonatti UniversityofNaplesFedericoII,Italy RichardBooth CardiffUniversity,UK LorisBozzato FondazioneBrunoKessler,Italy PedroCabalar UniversityofACoruña,Spain DiegoCalvanese FreeUniversityofBozen-Bolzano,Italy GongCheng NanjingUniversity,China HoratiuCirstea Loria,UniversitédeLorraine,France StefaniaCostantini UniversitàdegliStudidell’Aquila,Italy MatteoCristani UniversityofVerona,Italy MadalinaCroitoru LIRMM,UniversitéMontpellierII,France BernardoCuencaGrau UniversityofOxford,UK GiovanniDeGasperis UniversitàdegliStudidell’Aquila,Italy FrancescoM.Donini UniversitàdellaTuscia,Italy CristinaFeier UniversityofBremen,Germany viii Organization PaulFodor StonyBrookUniversity,USA ThomFruehwirth UniversityofUlm,Germany JohannesFürnkranz JohannesKeplerUniversityLinz,Austria SarahAliceGaggl TUDresden,Germany MartinGiese UniversityofOslo,Norway GiancarloGuizzardi FreeUniversityofBozen-Bolzano,Italy,and UniversityofTwente,TheNetherlands FarukHasic KatholiekeUniversiteitLeuven,Belgium DanielaInclezan MiamiUniversity,USA EvgenyKharlamov UniversityofOslo,Norway TomasKliegr PragueUniversityofEconomicsandBusiness, CzechRepublic RomanKontchakov Birkbeck,UniversityofLondon,UK PatrickKoopmann TUDresden,Germany EgorKostylev UniversityofOslo,Norway ManolisKoubarakis NationalandKapodistrianUniversityofAthens, Greece PaulKrause UniversityofSurrey,UK MarkusKrötzsch TUDresden,Germany JulianaKüsterFilipeBowles UniversityofStAndrews,UK EvelinaLamma UniversityofFerrara,Italy DomenicoLembo SapienzaUniversityofRome,Italy MaurizioLenzerini SapienzaUniversityofRome,Italy FrancescaAlessandraLisi UniversitàdegliStudidiBari“AldoMoro”,Italy ThomasLukasiewicz UniversityofOxford,UK MarcoManna UniversityofCalabria,Italy MarcoMaratea UniversityofGenoa,Italy MariaVaninaMartinez UniversidaddeBuenosAires,Argentina VivianaMascardi UniversityofGenoa,Italy StephanMennicke TUDresden,Germany AngeloMontanari UniversityofUdine,Italy SotirisMoschoyiannis UniversityofSurrey.UK FilipMurlak UniversityofWarsaw,Poland GrzegorzJ.Nalepa JagiellonianUniversity,Poland AdelineNazarenko LIPN,CNRS,UniversitéParis13,France FrancescoOlivieri GriffithUniversity,Australia MonicaPalmirani UniversityofBologna,Italy RafaelPeñaloza UniversityofMilano-Bicocca,Italy AndreasPieris UniversityofEdinburgh,UK NicoPotyka ImperialCollegeLondon,UK LiviaPredoiu FreeUniversityofBozen-Bolzano,Italy ShashishekarRamakrishna FreeUniversityofBerlin,Germany Organization ix JanRauch PragueUniversityofEconomicsandBusiness, CzechRepublic FrancescoRicca UniversityofCalabria,Italy LivioRobaldo UniversityofSwansea,UK AntoninoRotolo UniversityofBologna,Italy SebastianRudolph TUDresden,Germany EmanuelSallinger TUWien,Austria FrancescoSantini UniversitàdiPerugia,Italy KonstantinSchekotihin Alpen-AdriaUniversitätKlagenfurt,Austria StefanSchlobach VrijeUniversiteitAmsterdam,TheNetherlands RolfSchwitter MacquarieUniversity,Australia Baris¸Sertkaya FrankfurtUniversityofAppliedSciences, Germany MantasSimkus TUVienna,Austria TranCaoSon NewMexicoStateUniversity,USA DavideSottara MayoClinic,USA AhmetSoylu OsloMetropolitanUniversity,Norway GiorgosStamou NationalTechnicalUniversityofAthens,Greece AlexanderSteen UniversityofGreifswald,Germany PetrosStefaneas NationalTechnicalUniversityofAthens,Greece UmbertoStraccia ISTI-CNR,Italy TheresaSwift UniversidadeNovadeLisboa,Portugal AlirezaTamaddoni-Nezhad ImperialCollegeLondon,UK SergioTessaris FreeUniversityofBozen-Bolzano,Italy KiaTeymourian UniversityofTexasatAustin,USA MichaëlThomazo Inria,DIENS,ENS,CNRS,PSLUniversity, France DominikTomaszuk UniversityofBialystok,Poland HansTompits TUWien,Austria RyanUrbanowicz UniversityofPennsylvania,USA WilliamVanWoensel UniversityofDalhousie,USA JanVanthienen KatholiekeUniversiteitLeuven,Belgium SerenaVillata CNRSandUniversitéCôted’Azur,France KewenWang GriffithUniversity,Australia FrankWolter UniversityofLiverpool,UK AdamWyner SwanseaUniversity,UK GuohuiXiao UniversityofBergen,Norway
The list of books you might like
