Wolfgang Faber - Böcker

This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The accepted papers span a number of areas within Logics in AI, including: argumentation;

This volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in July/August 2015. In 2015, the theme of the school was Web Logic Rules. This Summer School is devoted to this perspective, and provides insight into the semantic Web, linked data, ontologies, rules, and logic.

This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017.In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies.

ThesearetheproceedingsoftheSixthInternationalConferenceonLogicP- grammingandNonmonotonicReasoning (LPNMR2001). The conference was heldinViennafrom17thto19thofSeptember,2001. Itwascollocatedwiththe JointGerman/AustrianConferenceonArti?cialIntelligence(24thGerman/9th AustrianConferenceonArti?cialIntelligence),KI2001. LPNMR conferences aim to promote research in logic-based programming languages, database systems, nonmonotonic reasoning, and knowledge rep- sentation. LPNMR2001 was the sixth conference in the series. The previous meetingswereheldinWashington,DC,in1991,inLisbon,Portugal,in1993,in Lexington,Kentucky,in1995,inDagstuhl,Germany,in1997,andinElPaso, Texas,in1999. ThetechnicalprogramofLPNMR2001wascomprisedof?veinvitedtalks thatweregivenbyJur .. genDix,GeorgGottlob,PhokionKolaitis,MaurizioLe- erini,andChiakiSakama. Italsocontained23technicalpresentationsselected bytheprogramcommitteeduringarigorousreviewprocess. Finally,asapart ofthetechnicalprogram,theconferencefeaturedaspecialsessioncomprisedof ninepresentationsanddemonstrationsofimplementednonmonotonicreasoning systems. Allthesecontributionsareincludedintheproceedings.Many individuals workedfor the success of the conference. Special thanks areduetoallmembersoftheprogramcommitteeandtoadditionalreviewers fortheire?ortstoproducefairandthoroughevaluationsofsubmittedpapers. Furthermore, we would like to thank the members of the Knowledge Based SystemsGroupoftheViennaUniversityofTechnology,whichtookcareofthe localorganization. Weparticularlyappreciatedthenevertiringe?ortofElfriede Nedoma,secretarytothegroup. WewouldalsoliketothankGerdBrewkafor hissupportiveroleinarrangingthecollocationoftheconferencewithKI2001. Last,butnotleast,wethankthesponsoringinstitutionsfortheirgenerosity.September2001 ThomasEiter WolfgangFaber Miros lawTruszczynski ' Conference Organization ProgramCo-chairs ThomasEiter(ViennaUniversityofTechnology,Austria) Miros lawTruszczynski ' (UniversityofKentucky,USA) ProgramCommittee AlexanderBochman(HolonAcademicInstituteofTechnology,Israel) PieroBonatti(Universit' adegliStudiMilano/Crema,Italy) GerhardBrewka(UniversityofLeipzig,Germany) JamesDelgrande(SimonFraserUniversity,Canada) MarcDenecker(KatholiekeUniversiteitLeuven,Belgium) NormanFoo(UniversityofNewSouthWales,Australia) MichaelGelfond(TexasTechUniversity,USA) KatsumiInoue(KobeUniversity,Japan) AntonisKakas(UniversityofCyprus) NicolaLeone(Universit' adegliStudidellaCalabria,Italy) VladimirLifschitz(UniversityofTexasatAustin,USA) FangzhenLin(TheHongKongUniversityofScienceandTechnology,China) VictorMarek(UniversityofKentuckyatLexington,USA) ZhangMing-Yi(GuizhouAcademyofSciences,China) IlkkaNiemel. a(HelsinkiUniversityofTechnology,Finland) Lu'?sMonizPereira(UniversidadeNovadeLisboa,Portugal) MarcoSchaerf(Universitad ' iRoma"LaSapienza,"Italy) TorstenSchaub(UniversityofPotsdam,Germany) FrancescaToni(ImperialCollege,London,U. K.) Li-YanYuan(UniversityofAlberta,Canada) Publicity Chair WolfgangFaber(ViennaUniversityofTechnology,Austria) Organization VII Additional Reviewers Jos'eAlferes MehmetOrgun CristinaBaroglio MauricePagnucco KrysiaBroda VivianaPatti MauriceBruynooghe NikolayPelov FrancescoBuccafurri GeraldPfeifer CarlosDam'asio FabrizioRiguzzi EmmanuelDeMot RiccardoRosati YannisDimopoulos GiulianaSabbatini EsraErdem FaribaSadri WolfgangFaber ChiakiSakama DayaGaur FrancescoScarcello JensHappe TommiSyrjanen TomiJanhunen AndreaTettamanzi JoohyungLee BertVanNu?elen NicolaLeone HelmutVeith ThomasLinke GerardVreeswijk ThomasLukasiewicz KewenWang PaoloMancarella Jia-HuaiYou CristinelMateis DongmoZhang RobMiller Sponsoring Institutions We would like to acknowledge ?nancial support for the conference from the EuropeanO?ceofAerospaceResearchandDevelopment(EOARD),underc- tractF61775-01-WF077,theAustrianComputerSociety(OCG),theEuropean Commission,theAustrianMinistryofTransport,Innovation&Technology,and Microsoft. Table of Contents Invited Papers AComputationalLogicApproachtoHeterogenousAgentSystems ...1 JurgenDix DeclarativeInformationExtraction,WebCrawling, andRecursiveWrappingwithLixto ...21 RobertBaumgartner,SergioFlesca,andGeorgGottlob OntheComplexityofModelCheckingandInference inMinimalModels(ExtendedAbstract) ...42 LefterisM. KirousisandPhokionG. Kolaitis DataIntegrationNeedsReasoning ...54 MaurizioLenzerini NonmonotonicInductiveLogicProgramming ...62 ChiakiSakama Regular Papers StrongEquivalenceforLogicPrograms andDefaultTheories(MadeEasy)...81 HudsonTurner OntheE?ectofDefaultNegationontheExpressiveness ofDisjunctiveRules ...93 TomiJanhunen OntheExpressibilityofStableLogicProgramming ...107 V. W. MarekandJ. B. Remmel OntheRelationshipbetweenDefeasibleLogic andWell-FoundedSemantics ...121 GerhardBrewka AComparativeStudyofWell-FoundedSemantics forDisjunctiveLogicPrograms ...133 KewenWang ReasoningwithOpenLogicPrograms ...147 PieroA. Bonatti RepresentationofIncompleteKnowledgebyInduction ofDefaultTheories...

This volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada.The 16 revised full papers (13 technical papers, 1 application description, and 2 system descriptions) and 26 short papers (16 technical papers, 3 application description, and 7 system descriptions) which were carefully reviewed and selected from numerous submissions, are presented together with 3 invited talks. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning.

This book constitutes the refereed proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013, held in Manheim, Germany in July 2013. The 19 revised research papers and 4 technical communications presented together with 2 invited talks and 1 tutorial talk were carefully reviewed and selected from 34 submissions. The scope of conference is decision making, planning, and intelligent agents, reasoning, machine learning, knowledge extraction and IR technologies, large-scale data management and reasoning on the web of data, data integration, dataspaces and ontology-based data access, non-standard reasoning, algorithms for distributed, parallelized, and scalable reasoning, and system descriptions and experimentation.