LEADER 10336nam 22008295 450 001 996465600403316 005 20200702014612.0 010 $a3-642-02906-X 024 7 $a10.1007/978-3-642-02906-6 035 $a(CKB)1000000000753994 035 $a(SSID)ssj0000320290 035 $a(PQKBManifestationID)11253483 035 $a(PQKBTitleCode)TC0000320290 035 $a(PQKBWorkID)10348255 035 $a(PQKB)11643475 035 $a(DE-He213)978-3-642-02906-6 035 $a(MiAaPQ)EBC3064262 035 $a(PPN)136307132 035 $a(EXLCZ)991000000000753994 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSymbolic and Quantitative Approaches to Reasoning with Uncertainty$b[electronic resource] $e10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings /$fedited by Claudio Sossai, Gaetano Chemello 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XVII, 936 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v5590 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-02905-1 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning -- From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics -- Conditionals and Independence in Many-Valued Logics -- Algorithms for Uncertain Inference -- Inference from Multinomial Data Based on a MLE-Dominance Criterion -- Local Computation Schemes with Partially Ordered Preferences -- Inference in Hybrid Bayesian Networks with Deterministic Variables -- Argumentation Systems -- Extracting the Core of a Persuasion Dialog to Evaluate Its Quality -- On Revising Argumentation-Based Decision Systems -- Encompassing Attacks to Attacks in Abstract Argumentation Frameworks -- Social Argument Justification: Some Mechanisms and Conditions for Their Coincidence -- Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension -- An Algorithm for Generating Arguments in Classical Predicate Logic -- Modelling Argument Accrual in Possibilistic Defeasible Logic Programming -- Generalized Abstract Argumentation: Handling Arguments in FOL Fragments -- Bayesian Networks -- Probability Density Estimation by Perturbing and Combining Tree Structured Markov Networks -- Integrating Ontological Knowledge for Iterative Causal Discovery and Visualization -- Binary Probability Trees for Bayesian Networks Inference -- Marginals of DAG-Isomorphic Independence Models -- The Probabilistic Interpretation of Model-Based Diagnosis -- Simplifying Learning in Non-repetitive Dynamic Bayesian Networks -- Surprise-Based Qualitative Probabilistic Networks -- Maximum Likelihood Learning of Conditional MTE Distributions -- Belief Functions -- A Generalization of the Pignistic Transform for Partial Bet -- Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory -- Complexes of Outer Consonant Approximations -- The Intersection Probability and Its Properties -- Can the Minimum Rule of Possibility Theory Be Extended to Belief Functions? -- Capacity Refinements and Their Application to Qualitative Decision Evaluation -- Belief Functions and Cluster Ensembles -- Upper Probabilities Attainable by Distributions of Measurable Selections -- Belief Revision and Inconsistency Handling -- Merging Qualitative Constraints Networks Using Propositional Logic -- Distance-Based Semantics for C-Structure Belief Revision -- Merging Belief Bases Represented by Logic Programs -- Knowledge Base Stratification and Merging Based on Degree of Support -- Using Transfinite Ordinal Conditional Functions -- The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases -- Encoding the Revision of Partially Preordered Information in Answer Set Programming -- A Distance-Based Operator to Revising Ontologies in DL -- Classification and Clustering -- An Experimental Study about Simple Decision Trees for Bagging Ensemble on Datasets with Classification Noise -- Incremental Maintenance of Frequent Itemsets in Evidential Databases -- A Bayesian Random Split to Build Ensembles of Classification Trees -- HODE: Hidden One-Dependence Estimator -- On the Effectiveness of Diversity When Training Multiple Classifier Systems -- On the Use of Clustering in Possibilistic Decision Tree Induction -- When in Doubt ... Be Indecisive -- Conditioning, Independence, Inference -- Acyclic Directed Graphs to Represent Conditional Independence Models -- Towards a Conscious Choice of a Similarity Measure: A Qualitative Point of View -- Integrated Likelihood in a Finitely Additive Setting -- Triangulation Heuristics for BN2O Networks -- Default Reasoning -- A Default Logic Patch for Default Logic -- A Note on Cumulative Stereotypical Reasoning -- Realizing Default Logic over Description Logic Knowledge Bases -- Dealing Automatically with Exceptions by Introducing Specificity in ASP -- Foundations of Reasoning and Decision Making under Uncertainty -- Generalised Label Semantics as a Model of Epistemic Vagueness -- Handling Analogical Proportions in Classical Logic and Fuzzy Logics Settings -- Qualitative Possibilities and Necessities -- Probabilistic Reasoning by SAT Solvers -- Fuzzy Sets and Fuzzy Logic -- Supporting Fuzzy Rough Sets in Fuzzy Description Logics -- Possibilistic Measures Taking Their Values in Spaces Given by Inclusion-Closed Fragments of Power-Sets -- Different Representations of Fuzzy Vectors -- Elicitating Sugeno Integrals: Methodology and a Case Study -- Implementation and Applications of Uncertain Systems -- Robust Gene Selection from Microarray Data with a Novel Markov Boundary Learning Method: Application to Diabetes Analysis -- Brain Tumor Segmentation Using Support Vector Machines -- Ensemble Learning for Multi-source Information Fusion -- Bayesian Belief Network for Tsunami Warning Decision Support -- Anti-division Queries with Ordinal Layered Preferences -- Predicting Stock and Portfolio Returns Using Mixtures of Truncated Exponentials -- Logics for Reasoning under Uncertainty -- Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data -- A Simple Modal Logic for Reasoning about Revealed Beliefs -- Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases -- A Logic for Complete Information Systems -- Markov Decision Processes -- An Uncertainty-Based Belief Selection Method for POMDP Value Iteration -- Optimal Threshold Policies for Multivariate Stopping-Time POMDPs -- An Evidential Measure of Risk in Evidential Markov Chains -- Mathematical Fuzzy Logic -- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms -- Soft Constraints Processing over Divisible Residuated Lattices -- On the Convergence with Fixed Regulator in Residuated Structures -- Open Partitions and Probability Assignments in Gödel Logic -- Exploring Extensions of Possibilistic Logic over Gödel Logic. 330 $aThis book constitutes the refereed proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, held in Verona, Italy, July 1-3, 2009. There are 76 revised full papers presented together with 3 invited lectures by three outstanding researchers in the area. All papers were carefully reviewed and selected from 118 submissions for inclusion in the book. The papers are organized in topical sections on algorithms for uncertain inference, argumentation systems, Bayesian networks, Belief functions, Belief revision and inconsistency handling, classification and clustering, conditioning, independence, inference, default reasoning, foundations of reasoning, decision making under uncertainty, Fuzzy sets and Fuzzy logic, implementation and application of uncertain systems, logics for reasoning under uncertainty, Markov decision process, and Mathematical Fuzzy Logic. 410 0$aLecture Notes in Artificial Intelligence ;$v5590 606 $aArtificial intelligence 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer science?Mathematics 606 $aComputer logic 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 608 $aKongress.$2swd 608 $aVerona (2009)$2swd 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer science?Mathematics. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematics of Computing. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 686 $aDAT 706f$2stub 686 $aSS 4800$2rvk 702 $aSossai$b Claudio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aChemello$b Gaetano$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aEuropean Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty 906 $aBOOK 912 $a996465600403316 996 $aSymbolic and Quantitative Approaches to Reasoning with Uncertainty$9772405 997 $aUNISA