{"title": "Logic for programming, artificial intelligence, and reasoning", "subjects": ["Logic programming", "Congresses", "Artificial intelligence", "Automatic theorem proving", "Computer science", "Software engineering", "Logic design"], "key": "/works/OL16966853W", "type": {"key": "/type/work"}, "covers": [2216720], "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL3064484A"}}, {"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL2682416A"}}], "description": {"type": "/type/text", "value": "ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti?cialIntelligence,andReasoning(LPAR 2002),heldonOctober14\u201318,2002,attheUniversityofTbilisi(Georgia),- getherwiththeThirdInternationalWorkshoponImplementationofLogics. Therewere68submissions,ofwhicheightbelongedtothespecialsubmission categoryofexperimentalpapers,intendedtodescribeimplementationsorc- parisonsofsystems,orexperimentswithsystems. Eachsubmissionwasreviewed byatleastthreeprogramcommitteemembersandanelectronicprogramc- mitteemeetingwasheldviatheInternet. Thenumberofsubmissionsandshort reviewingperiodcausedalargeamountofwork,andweareverygratefultothe other22PCmembersfortheire?ciencyandforthequalityoftheirreviewsand discussions. Finally,thecommitteedecidedtoaccept30papers. Theprogramme alsoincludesthreeinvitedlecturesandapostersession.^ Apartfromtheprogrammecomittee,wewouldalsoliketothanktheother people who made LPAR 2002 possible: the additional referees, and the local arrangementschairsKhimuriRhukia,KotePhakadze,GelaChankvetadze,and JemalAntidze. TheInternet-basedsubmissionsoftwareandtheprogramcommitteedisc- sionsoftwarewereprovidedbythesecondco-chair.^ August2002 MatthiasBaaz AndreiVoronkov ConferenceOrganization ProgramChairs MatthiasBaaz(TechnischeUniversit\u00a8atWien) AndreiVoronkov(UniversityofManchester) ProgramCommittee ElviraAlbert(UniversidadPolitecnicadeValencia) FranzBaader(TechnischeUniversit\u00a8atDresden) MauriceBruynooghe(KatholiekeUniversiteitLeuven) PatrickCousot(ENSParis) MaartendeRijke(UniversityofAmsterdam) HaraldGanzinger(Max-PlanckInstitut,Saarbruc \u00a8ken) JeanGoubault-Larrecq(ENSdeCachan) MikiHermann(EcolePolytechnique) MatejaJamnik(UniversityofCambridge) NeilJones(K\u00f8benhavnsUniversitet) DeepakKapur(UniversityofNewMexico) MaurizioLenzerini(Universit`adiRoma\u201cLaSapienza\u201d) GiorgioLevi(Universit`adiPisa) LeonidLibkin(UniversityofToronto) RobertNieuwenhuis(TechnicalUniversityofCatalonia) LeszekPacholski(WroclawskiUniwersytet) MichelParigot(Universit\u00b4eParis7) PavelPudlak(MathematicalInstitute,Prague) CarstenSchuermann(YaleUniversity) J\u00a8orgSiekmann(DFKISaarbruc \u00a8ken) WolfgangThomas(RWTHAachen)^ MichaelZakharyaschev(King\u2019sCollege) LocalOrganization KhimuriRhukia KotePhakadze GelaChankvetadze JemalAntidze VIII ConferenceOrganization ListofReferees GianlucaAmato CarlosAreces M. Arenas OferArieli RobertoBarbuti ChristophBenzmueller MartaBilkova BrunoBlanchet AlexandreBoisseau AhmedBouajjani DmitriChubarov PabloCordero VeroniqueCortier AgostinoDovier RachidEchahed MorenoFalaschi C`esarFerri OlivierGasquet BernhardGramlich Jos\u00b4eManuelG\u00b4omez PhilippedeGroote RainerHaehnle JiriHanika JuanHeguiabehere JoseHernandez-Orallo ThomasHillenbrand JoeHurd EmilJerabek ValentinJijkoun KonstantinKorovin G.^ Lakemeyer DominiqueLarchey-Wendling OlivierLaurent StefanLeue LuigiLiquori ChristofLoeding CarstenLutz ChristopherLynch PatrickMaier PaoloMancarella FlorenceMaraninchi MaartenMarx Jesus \u00b4 Medina EricaMelis AntoineMin\u00b4e RalfM\u00a8oller PaulinDeNaurois HansdeNivelle MichaelNorrish ManuelOjeda-Aciego NikolayPelov GuyPerrier ReinhardPichler ChristopherPollett Germ\u00b4anPuebla Jean-PierreRessayre ChristianRetor\u00b4e AlexandreRiazanov MichalRossler PaulRozi`ere NikitaSakhanenko UlrikeSattler StefanSchlobach ManfredSchmidt-Schau\u00df KonradSlind Anni-YasminTurhan ChristianUrban WimVanhoof YdeVenema So?eVerbaeten UweWaldmann KlausWeich ClausPeterWirth StefanWoehrle ConferenceOrganization IX ConferencesprecedingLPAR2001 RCLP\u201990,Irkutsk,SovietUnion RCLP\u201991,Leningrad,SovietUnion,aboardtheship\u201cMichailLomonosov\u201d LPAR\u201992,St. Petersburg,Russia,aboardtheship\u201cMichailLomonosov\u201d LPAR\u201993,St.^ Petersburg,Russia LPAR\u201994,Kiev,Ukraine,aboardtheship\u201cMarshalKoshevoi\u201d LPAR\u201999,Tbilisi,RepublicofGeorgia LPAR2000,ReunionIsland,France LPAR2001,Havana,Cuba TableofContents ImprovingOn-DemandStrategyAnnotations . . . . . . . . . . . . . . . . . . . . . . . . . 1 M. Alpuente,S. Escobar,B. Gramlich,S. Lucas First-OrderLogicasaConstraintProgrammingLanguage. . . . . . . . . . . . . . 19 K. R. Apt,C. F. M. Vermeulen MaintenanceofFormalSoftwareDevelopmentsby Strati?edVeri?cation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 SergeAutexier,DieterHutter ANoteonUniversalMeasuresforWeakImplicit ComputationalComplexity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 ArnoldBeckmann ExtendingCompositionalMessageSequenceGraphs. . . . . . . . . . . . . . . . . . . . 68 BenediktBollig,MartinLeucker,PhilippLucas SearchingforInvariantsUsingTemporalResolution . . . . . . . . . . . . . . . . . . .^ 86 JamesBrotherston,AnatoliDegtyarev,MichaelFisher, AlexeiLisitsa ProofPlanningforFeatureInteractions:APreliminaryReport. . . . . . . . . . 102 ClaudioCastellini,AlanSmaill AnExtensionofBDI withFunctional CTL DependenciesandComponents. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 MehdiDastani,LeendertvanderTorre BindingLogic:ProofsandModels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130 GillesDowek,Th\u00b4er`eseHardin,ClaudeKirchner DirectedAutomatedTheoremProving. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145 StefanEdelkamp,PeterLeven AFrameworkforSplittingBDIAgents. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160 XiaocongFan,JohnYen OntheComplexityofDisjunctionandExplicitDe?nability PropertiesinSomeIntermediateLogics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175 MauroFerrari,CamilloFiorentini,GuidoFiorino UsingBDDswithCombinationsofTheories . . . . . . . . . . . . . . . .^ . . . . . . . . . . 190 PascalFontaine,E. PascalGribomont XII TableofContents OnExpressiveDescriptionLogicswithCompositionofRolesin NumberRestrictions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202 FabioGrandi QueryOptimizationofDisjunctiveDatabaseswithConstraints throughBindingPropagation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216 GianluigiGreco,SergioGreco,IrinaTrubtsyna,EsterZumpano ANon-commutativeExtensionofMELL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231 AlessioGuglielmi,LutzStra\u00dfburger ProceduralSemanticsforFuzzyDisjunctivePrograms. . . . . . . . . . . . . . . . . . 247 Du?sanGuller PushdownSpeci?cations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262 OrnaKupferman,NirPiterman,MosheY. Vardi TheoremProvingwithSequenceVariablesandFlexible AritySymbols. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .^ . . . . . . . . . . . ."}, "latest_revision": 4, "revision": 4, "created": {"type": "/type/datetime", "value": "2014-07-29T14:42:21.386545"}, "last_modified": {"type": "/type/datetime", "value": "2025-10-25T09:32:25.188566"}}