+612 9045 4394
 
CHECKOUT
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, Ecsqaru'99, London, Uk, July 5-9, 1999, Proceedings - Anthony Hunter

Symbolic and Quantitative Approaches to Reasoning and Uncertainty

European Conference, Ecsqaru'99, London, Uk, July 5-9, 1999, Proceedings

By: Anthony Hunter (Editor), Simon D. Parsons (Editor)

Paperback Published: 16th June 1999
ISBN: 9783540661313
Number Of Pages: 402

Share This Book:

Paperback

$146.95
or 4 easy payments of $36.74 with Learn more
Ships in 5 to 9 business days

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. . . . . . . . .

On the dynamics of default reasoningp. 1
Non-monotonic and paraconsistent reasoning: From basic entailments to plausible relationsp. 11
A comparison of systematic and local search algorithms for regular CNF formulasp. 22
Query-answering in prioritized default logicp. 32
Updating directed belief networksp. 43
Inferring causal explanationsp. 55
A critique of inductive causationp. 68
Connecting lexicographic with maximum entropy entailmentp. 80
Avoiding non-ground variablesp. 92
Anchoring symbols to vision data by fuzzy logicp. 104
Filtering vs revision and update: Let us debate!p. 116
Irrelevance and independence axioms in quasi-Bayesian theoryp. 128
Assessing the value of a candidate: A qualitative possibilistic approachp. 137
Learning default theoriesp. 148
Knowledge representation for inductive learningp. 160
Handling inconsistency efficiently in the incremental construction of stratified belief basesp. 168
Rough knowledge discovery and applicationsp. 179
Gradient descent training of Bayesian networksp. 190
Open default theories over closed domains: An extended abstractp. 201
Shopbot economicsp. 208
Optimized algorithm for learning Bayesian network from datap. 221
Merging with integrity constraintsp. 233
Boolean-like interpretation of Sugeno integralp. 245
An alternative to outward propagation for Dempster-Shafer belief functionsp. 256
On bottom-up pre-processing techniques for automated default reasoningp. 268
Probabilisitc logic programming under maximum entropyp. 279
Lazy propagation and independence of causal influencep. 293
A Monte Carlo algorithm for combining Dempster-Shafer belief based on approximate pre-computationp. 305
An extension of a linguistic negation model allowing us to deny nuanced property combinationsp. 316
Argumentation and qualitative decision makingp. 328
Handling different forms of uncertainty in regression analysis: A fuzzy belief structure approachp. 340
State recognition in discrete dynamical systems using Petri nets and evidence theoryp. 352
Robot navigation and map building with the event calculusp. 362
Information fusion in the context of stock index predictionp. 363
Defeasible goalsLeendert van der Torrep. 374
Logical deduction using the local computation frameworkp. 386
Author Indexp. 397
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540661313
ISBN-10: 354066131X
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 402
Published: 16th June 1999
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.16
Weight (kg): 0.58