Visit our Christmas Gift Finder
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 (Paperback)
  • 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 (Paperback)
zoom

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 (Paperback)

(editor), (editor)
£78.50
Paperback 402 Pages / Published: 16/06/1999
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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 StefanBruning .. andTorstenSchaub...92 Anchoringsymbolstovisiondatabyfuzzylogic SilviaCoradeschiandAlessandroSa?otti...104 Filteringvsrevisionandupdate:Letusdebate! CorineCossartandCatherineTessier...116 Irrelevanceandindependenceaxiomsinquasi-Bayesiantheory FabioG. Cozman...128 Assessingthevalueofacandidate:Aqualitativepossibilisticapproach DidierDubois,MichelGrabischandHenriPrade...137 VIII TableofContents Learningdefaulttheories B'eatriceDuvalandPascalNicolas...148 Knowledgerepresentationforinductivelearning PeterA. Flach...160 Handling inconsistency e?ciently in the incremental construction of strati?ed beliefbases EricGr'egoire...168 Roughknowledgediscoveryandapplications J. W. GuanandD. A. Bell...179 GradientdescenttrainingofBayesiannetworks FinnV. Jensen...190 Opendefaulttheoriesovercloseddomains:Anextendedabstract MichaelKaminski...201 Shopboteconomics Je?reyO. KephartandAmyR. Greenwald...208 OptimizedalgorithmforlearningBayesiannetworkfromdata F'ediaKhalfallahandKhaledMellouli...221 Mergingwithintegrityconstraints S'ebastienKoniecznyandRam'onPinoP'erez...233 Boolean-likeinterpretationofSugenointegral IvanKramosil...245 AnalternativetooutwardpropagationforDempster-Shaferbelieffunctions NorbertLehmannandRolfHaenni...256 Onbottom-uppre-processingtechniquesforautomateddefaultreasoning ThomasLinkeandTorstenSchaub...2 68 Probabilisitclogicprogrammingundermaximumentropy ThomasLukasiewiczandGabrieleKern-Isberner...279 Lazypropagationandindependenceofcausalin?uence AndersL. MadsenandBruceD'Ambrosio...293 TableofContents IX AMonteCarloalgorithmforcombiningDempster-Shaferbeliefbasedon approximatepre-computation Seraf'?nMoralandAntonioSalmer'on...305 Anextensionofalinguisticnegationmodelallowingustodenynuanced propertycombinations DanielPacholczyk...316 Argumentationandqualitativedecisionmaking SimonParsonsandShawGreen...328 Handling di?erent forms of uncertainty in regression analysis: A fuzzy belief structureapproach SimonPetit-RenaudandThierryDenoeux...340 State recognition in discrete dynamical systems using Petri nets and evidence theory Mich'eleRombaut,ImanJarkassandThierryDenoeux...352 Robotnavigationandmapbuildingwiththeeventcalculus MurrayShanahanandMarkWitkowski...362 Informationfusioninthecontextofstockindexprediction StefanSiekmann,J..orgGebhardtandRudolfKruse...363 Defeasiblegoals LeendertvanderTorre...374 Logicaldeductionusingthelocalcomputationframework NicWilsonandJ'eromeMengin...386 AuthorIndex...397 OntheDynamicsofDefaultReasoning Grigoris Antoniou Gri?thUniversity,QLD4111,Australia UniversityofMacedonia,Thessaloniki,Greece ga@cit. gu. edu. au Abstract. Defaultlogicisaprominentrigorousmethodforreasoning withincompleteinformationbasedonassumptions. Itisastaticreas- ingapproach,inthesensethatitdoesn'treasonaboutchangesandtheir consequences. Ontheotherhand,itsnonmonotonicbehaviourappears whenchangestoadefaulttheoryaremade.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540661313
Number of pages: 402
Weight: 1280 g
Dimensions: 233 x 155 x 21 mm
Edition: 1999 ed.

You may also be interested in...

Reinforcement Learning
Added to basket
Introducing Artificial Intelligence
Added to basket
Understanding Beliefs
Added to basket
Programming Game AI By Example
Added to basket
The Singularity Is Near
Added to basket
The Soar Cognitive Architecture
Added to basket
Dark Pools
Added to basket
£9.99
Paperback
Machine Learning
Added to basket
£59.99
Paperback
Visualize This
Added to basket
£30.99
Paperback
Emotion: A Very Short Introduction
Added to basket
Introduction to Machine Learning
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket

Please sign in to write a review

Your review has been submitted successfully.