Zobacz książki o podobnej tematyce

Więcej informacji o Symbolic and Quantitative Approaches to Reasoning and Uncertainty

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 147 punkty

Opis

Uncertaintyisanincreasinglyimportantresearchtopicinmanyareasofc- puterscience. Manyformalismsarebeingdeveloped,withmuchinterestatthe theoryleveldirectedatdevelopingabetterunderstandingoftheformalismsand identifyingrelationshipsbetweenformalisms,andatthetechnologyleveldirected atdevelopingsoftwaretoolsforformalismsandapplicationsofformalisms. ThemainEuropeanforumforthesubjectistheEuropeanConferenceon SymbolicandQuantitativeApproachestoReasoningandUncertainty(EC- SQARU). FollowingthesuccessofthepreviousECSQARUconferences,heldin Marseilles(1991),Granada(1993),Fribourg(1995),andBonn(1997),the?fth conferenceintheserieswasheldatUniversityCollegeLondoninJuly1999. ThisvolumecontainspapersacceptedforpresentationatECSQARU 99. In additiontothemainconference,twoworkshopswereheld. The?rstwason DecisionTheoreticandGameTheoreticAgents,chairedbySimonParsonsand MikeWooldridge,andthesecondwasonLogicalandUncertaintyModelsfor InformationSystems,chairedbyFabioCrestaniandMouniaLalmas. Selected papersfromtheworkshopsarealsoincludedintheseproceedings. Weareindebitedtotheprogrammmecommitteefortheire?ortinorganising theprogramme,totheinvitedspeakers,andtothepresentersofthetutorials. Furthermore,wegratefullyacknowledgethecontributionofthemanyreferees whowereinvolvedinthereviewingprocess. Finallywewouldliketothankthe DepartmentofComputerScienceatUniversityCollegeLondonforadminist- tivesupport. ProgrammeCommittee TheprogrammecommitteewaschairedbyAnthonyHunter(UniversityCollege London),andcomprisedDovGabbay(King sCollegeLondon),FinnJensen (AalborgUniversity),RudolfKruse(UniversityofMagdeburg),SimonParsons (QueenMary,UniversityofLondon)HenriPrade(IRIT,Toulouse),Torsten Schaub(UniversityofPotsdam),andPhilippeSmets(ULB,Bruxelles). Reviewers Theprogrammecommitteeisverygratefulforallthehardworkcontributed bythereviewers. Hopefully,wehavenotmissedanyonefromthefollowing list:BruceD Ambrosio,FlorenceBannay,SalemBenferhat,PhilippeBesnard, HuguesBersini,ChristianBorgelt,RachelBourne,StefanBrass,LaurenceCholvy, RogerCooke,AdnanDarwiche,YannisDimopoulos,JurgenDix,DidierDubois, UweEgly,LindavanderGaag,JoergGebhardt,SiegfriedGottwald,RolfHaenni, Jean-YvesJa?ray,RadimJirousek,RuthKempson,U?eKjaerulf,FrankK- wonn,AljoschaKlose,JuergKohlas,PaulKrause,GerhardLakemeyer,Mounia Lalmas,JeromeLang,KimG. Larsen,NorbertLehmann,T. Y. Lin,Thomas Linke,KhalidMellouli,JeromeMengin,J. -J. Ch. Meyer,SanjayModgil,Yves Moinard,Sera?nMoral,DetlefNauck,AnnNicholson,PascalNicolas,Dennis VI Preface Nilsson,KristianG. Olesen,RainerPalm,ZdzislawPawlak,VincentRisch,Regis Sabbadin,CamillaSchwind,PrakashP. Shenoy,MilanStudeny,HeikoTimm, HansTompits,MarcoValtorta,andCeesWitteven. April1999 AnthonyHunterandSimonParsons TableofContents Onthedynamicsofdefaultreasoning GrigorisAntoniou. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Non-monotonicandparaconsistentreasoning:Frombasicentailmentsto plausiblerelations OferArieliandArnonAvron . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 AcomparisonofsystematicandlocalsearchalgorithmsforregularCNF formulas Ram onB ejarandFelipMany`a. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Query-answeringinprioritizeddefaultlogic FaridBenhammadi,PascalNicolasandTorstenSchaub. . . . . . . . . . . . . . . . . . . . 32 Updatingdirectedbeliefnetworks BoutheinaBenYaghlaneandKhaledMellouli. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 Inferringcausalexplanations PhilippeBesnardandMarie-OdileCordier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 Acritiqueofinductivecausation ChristianBorgeltandRudolfKruse. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 Connectinglexicographicwithmaximumentropyentailment RachelA. BourneandSimonParsons. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 Avoidingnon-groundvariables StefanBruni

Szczegóły książki

Kategoria Books in English Computing & information technology Computer science Artificial intelligence

• Pełny tytuł: Symbolic and Quantitative Approaches to Reasoning and Uncertainty
• Podtytuł: European Conference, ECSQARU '99, London, UK, July 5-9, 1999. Proceedings
• Autor: Anthony Hunter, Simon D. Parsons
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 402
• EAN: 9783540661313
• ISBN: 354066131X
• ID: 05274960
• Wydawca: Springer, Berlin
• Waga: 539 g
• Wymiary: 233 × 155 × 21 mm
• Rok wydania: 1999

Ulubione w innej kategorii

---

---

---