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 (Lecture Notes in Computer Science, 1638, Band 1638) - Softcover
Inhaltsangabe
On the Dynamics of Default Reasoning.- Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.- A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas.- Query-answering in Prioritized Default Logic.- Updating Directed Belief Networks.- Inferring Causal Explanations.- A Critique of Inductive Causation.- Connecting Lexicographic with Maximum Entropy Entailment.- Avoiding Non-Ground Variables.- Anchoring Symbols to Vision Data by Fuzzy Logic.- Filtering vs Revision and Update: let us Debate!.- Irrelevance and Independence Axioms in Quasi-Bayesian Theory.- Assessing the value of a candidate.- Learning Default Theories.- Knowledge Representation for Inductive Learning.- Handling Inconsistency Efficiently in the Incremental Construction of Stratified Belief Bases.- Rough Knowledge Discovery and Applications.- Gradient Descent Training of Bayesian Networks.- Open Default Theories over Closed Domains.- Shopbot Economics.- Optimized Algorithm for Learning Bayesian Network from Data.- Merging with Integrity Constraints.- Boolean-like Interpretation of Sugeno Integral.- An Alternative to Outward Propagation for Dempster-Shafer Belief Functions.- On bottom-up pre-processing techniques for automated default reasoning.- Probabilisitc Logic Programming under Maximum Entropy.- Lazy Propagation and Independence of Causal Influence.- A Monte Carlo Algorithm for Combining Dempster-Shafer Belief Based on Approximate Pre-Computation.- An Extension of a lInguistic Negation Model allowing us to Deny Nuanced Property Combinations.- Argumentation and Qualitative Decision Making.- Handling Different Forms of Uncertainty in Regression Analysis: A Fuzzy Belief Structure Approach.- State Recognition in Discrete Dynamical Systems using PetriNets and Evidence Theory.- Robot Navigation and Map Building with the Event Calculus.- Information Fusion in the Context of Stock Index Prediction.- Defeasible Goals.- Logical Deduction using the Local Computation Framework.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Symbolic and Quantitative Approaches to Reasoning and...
Foto des Verkäufers
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
ISBN 10: 354066131X
ISBN 13: 9783540661313
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 DepartmentofComputerScienceatUniversityCollegeLondonforadmin ist- 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 StefanBr 416 pp. Englisch. Bestandsnummer des Verkäufers 9783540661313
Neu kaufen
EUR 53,49
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 918525-n
Neu kaufen
EUR 60,97
EUR 17,48 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 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 English. Bestandsnummer des Verkäufers ria9783540661313_new
Neu kaufen
EUR 67,17
EUR 13,16 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, Ecsqaru'99, London, Uk, July 5-9, 1999, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 918525-n
Neu kaufen
EUR 78,05
EUR 2,31 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Anbieter: Books Puddle, Woodside, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 416. Bestandsnummer des Verkäufers 263077328
Neu kaufen
EUR 79,77
EUR 3,49 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 416 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 5851919
Neu kaufen
EUR 78,78
EUR 7,58 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 416. Bestandsnummer des Verkäufers 183077338
Neu kaufen
EUR 79,39
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. On the Dynamics of Default Reasoning.- Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.- A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas.- Query-answering in Prioritized Default Logic. Bestandsnummer des Verkäufers 4897536
Neu kaufen
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Verlag:
Springer, Springer Jun 1999, 1999
ISBN 10: 354066131X
ISBN 13: 9783540661313
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -On the Dynamics of Default Reasoning.- Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.- A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas.- Query-answering in Prioritized Default Logic.- Updating Directed Belief Networks.- Inferring Causal Explanations.- A Critique of Inductive Causation.- Connecting Lexicographic with Maximum Entropy Entailment.- Avoiding Non-Ground Variables.- Anchoring Symbols to Vision Data by Fuzzy Logic.- Filtering vs Revision and Update: let us Debate!.- Irrelevance and Independence Axioms in Quasi-Bayesian Theory.- Assessing the value of a candidate.- Learning Default Theories.- Knowledge Representation for Inductive Learning.- Handling Inconsistency Efficiently in the Incremental Construction of Stratified Belief Bases.- Rough Knowledge Discovery and Applications.- Gradient Descent Training of Bayesian Networks.- Open Default Theories over Closed Domains.- Shopbot Economics.- Optimized Algorithm for Learning Bayesian Network from Data.- Merging with Integrity Constraints.- Boolean-like Interpretation of Sugeno Integral.- An Alternative to Outward Propagation for Dempster-Shafer Belief Functions.- On bottom-up pre-processing techniques for automated default reasoning.- Probabilisitc Logic Programming under Maximum Entropy.- Lazy Propagation and Independence of Causal Influence.- A Monte Carlo Algorithm for Combining Dempster-Shafer Belief Based on Approximate Pre-Computation.- An Extension of a lInguistic Negation Model allowing us to Deny Nuanced Property Combinations.- Argumentation and Qualitative Decision Making.- Handling Different Forms of Uncertainty in Regression Analysis: A Fuzzy Belief Structure Approach.- State Recognition in Discrete Dynamical Systems using PetriNets and Evidence Theory.- Robot Navigation and Map Building with the Event Calculus.- Information Fusion in the Context of Stock Index Prediction.- Defeasible Goals.- Logical Deduction using the Local Computation Framework.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 416 pp. Englisch. Bestandsnummer des Verkäufers 9783540661313
Neu kaufen
EUR 53,49
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
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. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 Avoidingnon-groundvariables StefanBr. Bestandsnummer des Verkäufers 9783540661313
Neu kaufen
EUR 53,49
EUR 63,14 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar