Logic Programming and Nonmonotonic Reasoning

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 TommiSyrj¨anen 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 J¨urgenDix 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. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .