资源描述：
《Infinity in Logic & Computation 2009》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、LectureNotesinArtificialIntelligence5489EditedbyR.Goebel,J.Siekmann,andW.WahlsterSubseriesofLectureNotesinComputerScienceFoLLIPublicationsonLogic,LanguageandInformationEditors-in-ChiefLuigiaCarlucciAiello,UniversityofRome"LaSapienza",ItalyMichaelMoortgat,UniversityofU
2、trecht,TheNetherlandsMaartendeRijke,UniversityofAmsterdam,TheNetherlandsEditorialBoardCarlosAreces,INRIALorraine,FranceNicholasAsher,UniversityofTexasatAustin,TX,USAJohanvanBenthem,UniversityofAmsterdam,TheNetherlandsRaffaellaBernardi,FreeUniversityofBozen-Bolzano,It
3、alyAntalvandenBosch,TilburgUniversity,TheNetherlandsPaulBuitelaar,DFKI,Saarbrücken,GermanyDiegoCalvanese,FreeUniversityofBozen-Bolzano,ItalyAnnCopestake,UniversityofCambridge,UnitedKingdomRobertDale,MacquarieUniversity,Sydney,AustraliaLuisFariñas,IRIT,Toulouse,France
4、ClaireGardent,INRIALorraine,FranceRajeevGoré,AustralianNationalUniversity,Canberra,AustraliaReinerHähnle,ChalmersUniversityofTechnology,Göteborg,SwedenWilfridHodges,QueenMary,UniversityofLondon,UnitedKingdomCarstenLutz,DresdenUniversityofTechnology,GermanyChristopher
5、Manning,StanfordUniversity,CA,USAValeriadePaiva,PaloAltoResearchCenter,CA,USAMarthaPalmer,UniversityofPennsylvania,PA,USAAlbertoPolicriti,UniversityofUdine,ItalyJamesRogers,EarlhamCollege,Richmond,IN,USAFrancescaRossi,UniversityofPadua,ItalyYdeVenema,UniversityofAmst
6、erdam,TheNetherlandsBonnieWebber,UniversityofEdinburgh,Scotland,UnitedKingdomIanH.Witten,UniversityofWaikato,NewZealandMargaretArchibaldVascoBrattkaValentinGorankoBenediktLöwe(Eds.)InfinityinLogicandComputationInternationalConference,ILC2007CapeTown,SouthAfrica,Novemb
7、er3-5,2007RevisedSelectedPapers13SeriesEditorsRandyGoebel,UniversityofAlberta,Edmonton,CanadaJörgSiekmann,UniversityofSaarland,Saarbrücken,GermanyWolfgangWahlster,DFKIandUniversityofSaarland,Saarbrücken,GermanyVolumeEditorsMargaretArchibaldVascoBrattkaUniversityofCap
8、eTownDepartmentofMathematicsandAppliedMathematicsRondebosch7701,SouthAfricaE-mail:{margaret.archibald,vasco.brattka}@uct.ac.zaValen
