Verwandte Artikel zu Symbolic and Quantitative Approaches to Reasoning and...
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings: 1638 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Reseña del editor
This book constitutes the refereed proceedings of the 1999 European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, ECSQARU'99, held in London, UK, in July 1999.
The 35 revised full papers presented were carefully reviewed and selected for inclusion in the book by the program committee. The volume covers theoretical as well as application-oriented aspects of various formalisms for reasoning under uncertainty. Among the issues addressed are default reasoning, nonmonotonic reasoning, fuzzy logic, Bayesian theory, probabilistic reasoning, inductive learning, rough knowledge discovery, Dempster-Shafer theory, qualitative decision making, belief functions, and evidence theory.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 53,49
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Symbolic and Quantitative Approaches to Reasoning and...
Foto des Verkäufers
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Artikel-Nr. 9783540661313
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings (Lecture Notes in Computer Science, 1638)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540661313_new
Anzahl: Mehr als 20 verfügbar