Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [[electronic resource] ] : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings / / edited by Thomas D. Nielsen, Nevin L. Zhang
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty [[electronic resource] ] : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings / / edited by Thomas D. Nielsen, Nevin L. Zhang |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 608 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Mathematical logic Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Computer Science, general Mathematical Logic and Formal Languages |
| ISBN | 3-540-45062-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Qualitative Decision Rules under Uncertainty -- Applications of Latent Class Analysis in Social Science Research -- Foundations of Uncertainty Concepts -- Transformations from Imprecise to Precise Probabilities -- A Representation Theorem and Applications -- On Modal Probability and Belief -- Bayesian Networks -- A Multi-layered Bayesian Network Model for Structured Document Retrieval -- Using Kappas as Indicators of Strength in Qualitative Probabilistic Networks -- Qualitative Bayesian Networks with Logical Constraints -- Introducing Situational Influences in QPNs -- Classification of Aerial Missions Using Hidden Markov Models -- Algorithms for Uncertainty Inference -- Dynamic Importance Sampling Computation in Bayesian Networks -- Morphing the Hugin and Shenoy–Shafer Architectures -- Learning -- Characterization of Inclusion Neighbourhood in Terms of the Essential Graph: Upper Neighbours -- Approximating Conditional MTE Distributions by Means of Mixed Trees -- Effective Dimensions of Partially Observed Polytrees -- Decision Graphs -- Applying Numerical Trees to Evaluate Asymmetric Decision Problems -- Mixed Influence Diagrams -- Decision Making Based on Sampled Disease Occurrence in Animal Herds -- Decision Network Semantics of Branching Constraint Satisfaction Problems -- Belief Functions -- Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography -- A Comparison of Methods for Transforming Belief Function Models to Probability Models -- Fuzzy Matching and Evidential Reasoning -- Modeling Positive and Negative Pieces of Evidence in Uncertainty -- Directed Evidential Networks with Conditional Belief Functions -- Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination -- Risk Assessment in Drinking Water Production Using Belief Functions -- Algebraic Structures Related to the Consensus Operator for Combining of Beliefs -- Fuzzy Sets -- Inclusion Measures in Intuitionistic Fuzzy Set Theory -- A Random Set Model for Fuzzy Labels -- On the Induction of Different Kinds of First-Order Fuzzy Rules -- Reasoning under Vagueness Expressed by Nuanced Statements -- Possibility Theory -- Partial Lattice-Valued Possibilistic Measures and Some Relations Induced by Them -- Coherent Conditional Probability as a Measure of Uncertainty of the Relevant Conditioning Events -- Decision Trees and Qualitative Possibilistic Inference: Application to the Intrusion Detection Problem -- Default Reasoning -- Multi-valued Conditional Events Avoid Lewis’ Triviality Result -- Solving Semantic Problems with Odd-Length Cycles in Argumentation -- On the Relation between Reiter’s Default Logic and Its (Major) Variants -- Belief Revision and Inconsistency Handling -- Probable Consistency Checking for Sets of Propositional Clauses -- On Iterated Revision in the AGM Framework -- Epistemic Logics for Information Fusion -- Logics -- Propositional Fusion Rules -- Preferential Logics for Reasoning with Graded Uncertainty -- Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories -- Modal (Logic) Paraconsistency -- A Formal Framework for Handling Conflicting Desires -- A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract) -- Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding -- Demo Papers -- ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning -- The Hugin Tool for Learning Bayesian Networks. |
| Record Nr. | UNISA-996466158803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings / / edited by Thomas D. Nielsen, Nevin L. Zhang
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings / / edited by Thomas D. Nielsen, Nevin L. Zhang |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 608 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Logic, Symbolic and mathematical Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Computer Science, general Mathematical Logic and Formal Languages |
| ISBN | 3-540-45062-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Qualitative Decision Rules under Uncertainty -- Applications of Latent Class Analysis in Social Science Research -- Foundations of Uncertainty Concepts -- Transformations from Imprecise to Precise Probabilities -- A Representation Theorem and Applications -- On Modal Probability and Belief -- Bayesian Networks -- A Multi-layered Bayesian Network Model for Structured Document Retrieval -- Using Kappas as Indicators of Strength in Qualitative Probabilistic Networks -- Qualitative Bayesian Networks with Logical Constraints -- Introducing Situational Influences in QPNs -- Classification of Aerial Missions Using Hidden Markov Models -- Algorithms for Uncertainty Inference -- Dynamic Importance Sampling Computation in Bayesian Networks -- Morphing the Hugin and Shenoy–Shafer Architectures -- Learning -- Characterization of Inclusion Neighbourhood in Terms of the Essential Graph: Upper Neighbours -- Approximating Conditional MTE Distributions by Means of Mixed Trees -- Effective Dimensions of Partially Observed Polytrees -- Decision Graphs -- Applying Numerical Trees to Evaluate Asymmetric Decision Problems -- Mixed Influence Diagrams -- Decision Making Based on Sampled Disease Occurrence in Animal Herds -- Decision Network Semantics of Branching Constraint Satisfaction Problems -- Belief Functions -- Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography -- A Comparison of Methods for Transforming Belief Function Models to Probability Models -- Fuzzy Matching and Evidential Reasoning -- Modeling Positive and Negative Pieces of Evidence in Uncertainty -- Directed Evidential Networks with Conditional Belief Functions -- Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination -- Risk Assessment in Drinking Water Production Using Belief Functions -- Algebraic Structures Related to the Consensus Operator for Combining of Beliefs -- Fuzzy Sets -- Inclusion Measures in Intuitionistic Fuzzy Set Theory -- A Random Set Model for Fuzzy Labels -- On the Induction of Different Kinds of First-Order Fuzzy Rules -- Reasoning under Vagueness Expressed by Nuanced Statements -- Possibility Theory -- Partial Lattice-Valued Possibilistic Measures and Some Relations Induced by Them -- Coherent Conditional Probability as a Measure of Uncertainty of the Relevant Conditioning Events -- Decision Trees and Qualitative Possibilistic Inference: Application to the Intrusion Detection Problem -- Default Reasoning -- Multi-valued Conditional Events Avoid Lewis’ Triviality Result -- Solving Semantic Problems with Odd-Length Cycles in Argumentation -- On the Relation between Reiter’s Default Logic and Its (Major) Variants -- Belief Revision and Inconsistency Handling -- Probable Consistency Checking for Sets of Propositional Clauses -- On Iterated Revision in the AGM Framework -- Epistemic Logics for Information Fusion -- Logics -- Propositional Fusion Rules -- Preferential Logics for Reasoning with Graded Uncertainty -- Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories -- Modal (Logic) Paraconsistency -- A Formal Framework for Handling Conflicting Desires -- A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract) -- Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding -- Demo Papers -- ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning -- The Hugin Tool for Learning Bayesian Networks. |
| Record Nr. | UNINA-9910767538103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||