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.
Advances in Intelligent Data Analysis V [[electronic resource] ] : 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings / / edited by Michael R. Berthold, Hans-Joachim Lenz, Elizabeth Bradley, Rudolf Kruse, Christian Borgelt
| Advances in Intelligent Data Analysis V [[electronic resource] ] : 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings / / edited by Michael R. Berthold, Hans-Joachim Lenz, Elizabeth Bradley, Rudolf Kruse, Christian Borgelt |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVI, 632 p.) |
| Disciplina | 519.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Mathematical statistics Pattern recognition Application software Information technology Business—Data processing Artificial Intelligence Information Storage and Retrieval Probability and Statistics in Computer Science Pattern Recognition Computer Appl. in Administrative Data Processing IT in Business |
| ISBN | 3-540-45231-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine Learning -- Pruning for Monotone Classification Trees -- Regularized Learning with Flexible Constraints -- Learning to Answer Emails -- A Semi-supervised Method for Learning the Structure of Robot Environment Interactions -- Using Domain Specific Knowledge for Automated Modeling -- Resolving Rule Conflicts with Double Induction -- A Novel Partial-Memory Learning Algorithm Based on Grey Relational Structure -- Constructing Hierarchical Rule Systems -- Text Categorization Using Hybrid Multiple Model Schemes -- Probability and Topology -- Learning Dynamic Bayesian Networks from Multivariate Time Series with Changing Dependencies -- Topology and Intelligent Data Analysis -- Coherent Conditional Probability as a Measure of Information of the Relevant Conditioning Events -- Very Predictive Ngrams for Space-Limited Probabilistic Models -- Interval Estimation Naïve Bayes -- Mining Networks and Central Entities in Digital Libraries. A Graph Theoretic Approach Applied to Co-author Networks -- Classification and Pattern Recognition -- Learning Linear Classifiers Sensitive to Example Dependent and Noisy Costs -- An Effective Associative Memory for Pattern Recognition -- Similarity Based Classification -- Numerical Attributes in Decision Trees: A Hierarchical Approach -- Similarity-Based Neural Networks for Applications in Computational Molecular Biology -- Combining Pairwise Classifiers with Stacking -- APRIORI-SD: Adapting Association Rule Learning to Subgroup Discovery -- Solving Classification Problems Using Infix Form Genetic Programming -- Clustering -- What Is Fuzzy about Fuzzy Clustering? Understanding and Improving the Concept of the Fuzzifier -- A Mixture Model Approach for Binned Data Clustering -- Fuzzy Clustering Based Segmentation of Time-Series -- An Iterated Local Search Approach for Minimum Sum-of-Squares Clustering -- Data Clustering in Tolerance Space -- Refined Shared Nearest Neighbors Graph for Combining Multiple Data Clusterings -- Clustering Mobile Trajectories for Resource Allocation in Mobile Environments -- Fuzzy Clustering of Short Time-Series and Unevenly Distributed Sampling Points -- Combining and Comparing Cluster Methods in a Receptor Database -- Applications -- Selective Sampling with a Hierarchical Latent Variable Model -- Obtaining Quality Microarray Data via Image Reconstruction -- Large Scale Mining of Molecular Fragments with Wildcards -- Genome-Wide Prokaryotic Promoter Recognition Based on Sequence Alignment Kernel -- Towards Automated Electrocardiac Map Interpretation: An Intelligent Contouring Tool Based on Spatial Aggregation -- Study of Canada/US Dollar Exchange Rate Movements Using Recurrent Neural Network Model of FX-Market -- Gaussian Mixture Density Estimation Applied to Microarray Data -- Classification of Protein Localisation Patterns via Supervised Neural Network Learning -- Applying Intelligent Data Analysis to Coupling Relationships in Object-Oriented Software -- The Smaller the Better: Comparison of Two Approaches for Sales Rate Prediction -- Modeling -- A Multiagent-Based Constructive Approach for Feedforward Neural Networks -- Evolutionary System Identification via Descriptive Takagi Sugeno Fuzzy Systems -- Minimum Message Length Criterion for Second-Order Polynomial Model Selection Applied to Tropical Cyclone Intensity Forecasting -- On the Use of the GTM Algorithm for Mode Detection -- Regularization Methods for Additive Models -- Automated Detection of Influenza Epidemics with Hidden Markov Models -- Guided Incremental Construction of Belief Networks -- Distributed Regression for Heterogeneous Data Sets -- (Data) Preprocessing -- A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning -- Compression Technique Preserving Correlations of a Multivariate Temporal Sequence -- Condensed Representations in Presence of Missing Values -- Measures of Rule Quality for Feature Selection in Text Categorization -- Genetic Approach to Constructive Induction Based on Non-algebraic Feature Representation -- Active Feature Selection Based on a Very Limited Number of Entities. |
| Record Nr. | UNISA-996465955503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Intelligent Data Analysis V : 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings / / edited by Michael R. Berthold, Hans-Joachim Lenz, Elizabeth Bradley, Rudolf Kruse, Christian Borgelt
| Advances in Intelligent Data Analysis V : 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings / / edited by Michael R. Berthold, Hans-Joachim Lenz, Elizabeth Bradley, Rudolf Kruse, Christian Borgelt |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVI, 632 p.) |
| Disciplina | 519.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Mathematical statistics Pattern perception Application software Information technology Business—Data processing Artificial Intelligence Information Storage and Retrieval Probability and Statistics in Computer Science Pattern Recognition Computer Appl. in Administrative Data Processing IT in Business |
| ISBN | 3-540-45231-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine Learning -- Pruning for Monotone Classification Trees -- Regularized Learning with Flexible Constraints -- Learning to Answer Emails -- A Semi-supervised Method for Learning the Structure of Robot Environment Interactions -- Using Domain Specific Knowledge for Automated Modeling -- Resolving Rule Conflicts with Double Induction -- A Novel Partial-Memory Learning Algorithm Based on Grey Relational Structure -- Constructing Hierarchical Rule Systems -- Text Categorization Using Hybrid Multiple Model Schemes -- Probability and Topology -- Learning Dynamic Bayesian Networks from Multivariate Time Series with Changing Dependencies -- Topology and Intelligent Data Analysis -- Coherent Conditional Probability as a Measure of Information of the Relevant Conditioning Events -- Very Predictive Ngrams for Space-Limited Probabilistic Models -- Interval Estimation Naïve Bayes -- Mining Networks and Central Entities in Digital Libraries. A Graph Theoretic Approach Applied to Co-author Networks -- Classification and Pattern Recognition -- Learning Linear Classifiers Sensitive to Example Dependent and Noisy Costs -- An Effective Associative Memory for Pattern Recognition -- Similarity Based Classification -- Numerical Attributes in Decision Trees: A Hierarchical Approach -- Similarity-Based Neural Networks for Applications in Computational Molecular Biology -- Combining Pairwise Classifiers with Stacking -- APRIORI-SD: Adapting Association Rule Learning to Subgroup Discovery -- Solving Classification Problems Using Infix Form Genetic Programming -- Clustering -- What Is Fuzzy about Fuzzy Clustering? Understanding and Improving the Concept of the Fuzzifier -- A Mixture Model Approach for Binned Data Clustering -- Fuzzy Clustering Based Segmentation of Time-Series -- An Iterated Local Search Approach for Minimum Sum-of-Squares Clustering -- Data Clustering in Tolerance Space -- Refined Shared Nearest Neighbors Graph for Combining Multiple Data Clusterings -- Clustering Mobile Trajectories for Resource Allocation in Mobile Environments -- Fuzzy Clustering of Short Time-Series and Unevenly Distributed Sampling Points -- Combining and Comparing Cluster Methods in a Receptor Database -- Applications -- Selective Sampling with a Hierarchical Latent Variable Model -- Obtaining Quality Microarray Data via Image Reconstruction -- Large Scale Mining of Molecular Fragments with Wildcards -- Genome-Wide Prokaryotic Promoter Recognition Based on Sequence Alignment Kernel -- Towards Automated Electrocardiac Map Interpretation: An Intelligent Contouring Tool Based on Spatial Aggregation -- Study of Canada/US Dollar Exchange Rate Movements Using Recurrent Neural Network Model of FX-Market -- Gaussian Mixture Density Estimation Applied to Microarray Data -- Classification of Protein Localisation Patterns via Supervised Neural Network Learning -- Applying Intelligent Data Analysis to Coupling Relationships in Object-Oriented Software -- The Smaller the Better: Comparison of Two Approaches for Sales Rate Prediction -- Modeling -- A Multiagent-Based Constructive Approach for Feedforward Neural Networks -- Evolutionary System Identification via Descriptive Takagi Sugeno Fuzzy Systems -- Minimum Message Length Criterion for Second-Order Polynomial Model Selection Applied to Tropical Cyclone Intensity Forecasting -- On the Use of the GTM Algorithm for Mode Detection -- Regularization Methods for Additive Models -- Automated Detection of Influenza Epidemics with Hidden Markov Models -- Guided Incremental Construction of Belief Networks -- Distributed Regression for Heterogeneous Data Sets -- (Data) Preprocessing -- A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning -- Compression Technique Preserving Correlations of a Multivariate Temporal Sequence -- Condensed Representations in Presence of Missing Values -- Measures of Rule Quality for Feature Selection in Text Categorization -- Genetic Approach to Constructive Induction Based on Non-algebraic Feature Representation -- Active Feature Selection Based on a Very Limited Number of Entities. |
| Record Nr. | UNINA-9910767545103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Intelligence for Knowledge-Based System Design [[electronic resource] ] : 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann
| Computational Intelligence for Knowledge-Based System Design [[electronic resource] ] : 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVII, 771 p. 183 illus.) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Database management Application software Computers Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Database Management Information Systems Applications (incl. Internet) Computation by Abstract Devices |
| ISBN |
1-280-38758-0
9786613565501 3-642-14049-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A Qualitative Point of View -- A Stochastic Treatment of Similarity -- Order-Based Equivalence Degrees for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued Indistinguishability Operators -- Discovering Rules-Based Similarity in Microarray Data -- Fuzzy Clustering of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using Fuzzy Clustering -- On Dynamic Soft Dimension Reduction in Evolving Fuzzy Classifiers -- Multi-class Imbalanced Data-Sets with Linguistic Fuzzy Rule Based Classification Systems Based on Pairwise Learning -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page Classification: A Probabilistic Model with Relational Uncertainty -- Evidential Multi-Label Classification Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower Previsions -- Fuzzy Probabilities: Tentative Discussions on the Mathematical Concepts -- On Dealing with Imprecise Information in a Content Based Image Retrieval System -- An Extension of Stochastic Dominance to Fuzzy Random Variables -- Correlation of Intuitionistic Fuzzy Sets -- A Correlation Ratio for Possibility Distributions -- On Nonparametric Predictive Inference for Ordinal Data -- Using Cloudy Kernels for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions -- The Most Representative Utility Function for Non-Additive Robust Ordinal Regression -- Alternative Normalization Schemas for Bayesian Confirmation Measures -- Gender and Age Estimation from Synthetic Face Images -- Attribute Value Selection Considering the Minimum Description Length Approach and Feature Granularity -- Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling -- A Parallel between Extended Formal Concept Analysis and Bipartite Graphs Analysis -- Negotiation as Creative Social Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining Algorithm for Inducing Temporal Constraint Networks -- Analysis of the Time Evolution of Scientograms Using the Subdue Graph Mining Algorithm -- Short-Time Prediction Based on Recognition of Fuzzy Time Series Patterns -- Time Series Comparison Using Linguistic Fuzzy Techniques -- Granular Approach for Evolving System Modeling -- Data Mining in Precision Agriculture: Management of Spatial Information -- Fuzzy Multivariable Gaussian Evolving Approach for Fault Detection and Diagnosis -- Dispersion Estimates for Telecommunications Fraud -- The Link Prediction Problem in Bipartite Networks -- Aggregation and Fusion -- Symmetrization of Modular Aggregation Functions -- Smooth Aggregation Functions on Finite Scales -- Dual Representable Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types of Monotonicity -- Some Remarks on the Characterization of Idempotent Uninorms -- On the Median and Its Extensions -- Evidential Combination of Multiple HMM Classifiers for Multi-script Handwriting Recognition -- Using Uncertainty Information to Combine Soft Classifications -- Performance Evaluation of a Fusion System Devoted to Image Interpretation -- A New Adaptive Consensus Reaching Process Based on the Experts’ Importance -- On the Robustness for the Choquet Integral -- Explicit Descriptions of Bisymmetric Sugeno Integrals -- Learning Fuzzy-Valued Fuzzy Measures for the Fuzzy-Valued Sugeno Fuzzy Integral -- Choquet Integration on Set Systems -- Necessity-Based Choquet Integrals for Sequential Decision Making under Uncertainty -- A Fuzzy-Rule-Based Approach to Contextual Preference Queries -- Extracting and Modelling Preferences from Dialogue -- Argumentation Framework with Fuzzy Preference Relations -- An Algorithm for Generating Consistent and Transitive Approximations of Reciprocal Preference Relations -- Preference Modeling and Model Management for Interactive Multi-objective Evolutionary Optimization -- Dominance-Based Rough Set Approach to Preference Learning from Pairwise Comparisons in Case of Decision under Uncertainty -- Uncertainty Handling -- Trimming Plethoric Answers to Fuzzy Queries: An Approach Based on Predicate Correlation -- Searching Aligned Groups of Objects with Fuzzy Criteria -- How to Translate Words into Numbers? A Fuzzy Approach for the Numerical Translation of Verbal Probabilities -- Plateau Regions: An Implementation Concept for Fuzzy Regions in Spatial Databases and GIS -- Genuine Linguistic Fuzzy Logic Control: Powerful and Successful Control Method -- Cytoplasm Contour Approximation Based on Color Fuzzy Sets and Color Gradient -- Keeping Secrets in Possibilistic Knowledge Bases with Necessity-Valued Privacy Policies -- Inference with Fuzzy and Probabilistic Information -- Modelling Patterns of Evidence in Bayesian Networks: A Case-Study in Classical Swine Fever -- An Importance Sampling Approach to Integrate Expert Knowledge When Learning Bayesian Networks From Data -- Conflicts within and between Belief Functions -- Consonant Continuous Belief Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent Natural Extension -- On Elementary Extensions in Fuzzy Predicate Logics -- Logical Proportions – Typology and Roadmap. |
| Record Nr. | UNISA-996465844803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational intelligence for knowledge-based systems design : 13th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010 : proceedings / / Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann (eds.)
| Computational intelligence for knowledge-based systems design : 13th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010 : proceedings / / Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XVII, 771 p. 183 illus.) |
| Disciplina | 006.33 |
| Altri autori (Persone) |
HullermeierEyke
KruseRudolf HoffmannFrank <1964-> |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in artificial intelligence |
| Soggetto topico | Computational intelligence |
| ISBN |
1-280-38758-0
9786613565501 3-642-14049-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A Qualitative Point of View -- A Stochastic Treatment of Similarity -- Order-Based Equivalence Degrees for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued Indistinguishability Operators -- Discovering Rules-Based Similarity in Microarray Data -- Fuzzy Clustering of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using Fuzzy Clustering -- On Dynamic Soft Dimension Reduction in Evolving Fuzzy Classifiers -- Multi-class Imbalanced Data-Sets with Linguistic Fuzzy Rule Based Classification Systems Based on Pairwise Learning -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page Classification: A Probabilistic Model with Relational Uncertainty -- Evidential Multi-Label Classification Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower Previsions -- Fuzzy Probabilities: Tentative Discussions on the Mathematical Concepts -- On Dealing with Imprecise Information in a Content Based Image Retrieval System -- An Extension of Stochastic Dominance to Fuzzy Random Variables -- Correlation of Intuitionistic Fuzzy Sets -- A Correlation Ratio for Possibility Distributions -- On Nonparametric Predictive Inference for Ordinal Data -- Using Cloudy Kernels for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions -- The Most Representative Utility Function for Non-Additive Robust Ordinal Regression -- Alternative Normalization Schemas for Bayesian Confirmation Measures -- Gender and Age Estimation from Synthetic Face Images -- Attribute Value Selection Considering the Minimum Description Length Approach and Feature Granularity -- Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling -- A Parallel between Extended Formal Concept Analysis and Bipartite Graphs Analysis -- Negotiation as Creative Social Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining Algorithm for Inducing Temporal Constraint Networks -- Analysis of the Time Evolution of Scientograms Using the Subdue Graph Mining Algorithm -- Short-Time Prediction Based on Recognition of Fuzzy Time Series Patterns -- Time Series Comparison Using Linguistic Fuzzy Techniques -- Granular Approach for Evolving System Modeling -- Data Mining in Precision Agriculture: Management of Spatial Information -- Fuzzy Multivariable Gaussian Evolving Approach for Fault Detection and Diagnosis -- Dispersion Estimates for Telecommunications Fraud -- The Link Prediction Problem in Bipartite Networks -- Aggregation and Fusion -- Symmetrization of Modular Aggregation Functions -- Smooth Aggregation Functions on Finite Scales -- Dual Representable Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types of Monotonicity -- Some Remarks on the Characterization of Idempotent Uninorms -- On the Median and Its Extensions -- Evidential Combination of Multiple HMM Classifiers for Multi-script Handwriting Recognition -- Using Uncertainty Information to Combine Soft Classifications -- Performance Evaluation of a Fusion System Devoted to Image Interpretation -- A New Adaptive Consensus Reaching Process Based on the Experts’ Importance -- On the Robustness for the Choquet Integral -- Explicit Descriptions of Bisymmetric Sugeno Integrals -- Learning Fuzzy-Valued Fuzzy Measures for the Fuzzy-Valued Sugeno Fuzzy Integral -- Choquet Integration on Set Systems -- Necessity-Based Choquet Integrals for Sequential Decision Making under Uncertainty -- A Fuzzy-Rule-Based Approach to Contextual Preference Queries -- Extracting and Modelling Preferences from Dialogue -- Argumentation Framework with Fuzzy Preference Relations -- An Algorithm for Generating Consistent and Transitive Approximations of Reciprocal Preference Relations -- Preference Modeling and Model Management for Interactive Multi-objective Evolutionary Optimization -- Dominance-Based Rough Set Approach to Preference Learning from Pairwise Comparisons in Case of Decision under Uncertainty -- Uncertainty Handling -- Trimming Plethoric Answers to Fuzzy Queries: An Approach Based on Predicate Correlation -- Searching Aligned Groups of Objects with Fuzzy Criteria -- How to Translate Words into Numbers? A Fuzzy Approach for the Numerical Translation of Verbal Probabilities -- Plateau Regions: An Implementation Concept for Fuzzy Regions in Spatial Databases and GIS -- Genuine Linguistic Fuzzy Logic Control: Powerful and Successful Control Method -- Cytoplasm Contour Approximation Based on Color Fuzzy Sets and Color Gradient -- Keeping Secrets in Possibilistic Knowledge Bases with Necessity-Valued Privacy Policies -- Inference with Fuzzy and Probabilistic Information -- Modelling Patterns of Evidence in Bayesian Networks: A Case-Study in Classical Swine Fever -- An Importance Sampling Approach to Integrate Expert Knowledge When Learning Bayesian Networks From Data -- Conflicts within and between Belief Functions -- Consonant Continuous Belief Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent Natural Extension -- On Elementary Extensions in Fuzzy Predicate Logics -- Logical Proportions – Typology and Roadmap. |
| Record Nr. | UNINA-9910483703303321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graphical models : methods for data analysis and mining / / Christian Borgelt, Matthias Steinbrecher & Rudolf Kruse
| Graphical models : methods for data analysis and mining / / Christian Borgelt, Matthias Steinbrecher & Rudolf Kruse |
| Autore | Borgelt Christian |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Hoboken, NJ, : John Wiley, c2009 |
| Descrizione fisica | 1 online resource (405 p.) |
| Disciplina | 006.3/12 |
| Altri autori (Persone) |
SteinbrecherMatthias
KruseRudolf |
| Collana | Wiley series in computational statistics |
| Soggetto topico |
Data mining
Mathematical statistics - Graphic methods |
| ISBN |
9786612278884
9781282278882 1282278886 9780470749555 0470749555 9780470749562 0470749563 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Graphical Models; Contents; Preface; 1 Introduction; 1.1 Data and Knowledge; 1.2 Knowledge Discovery and Data Mining; 1.2.1 The KDD Process; 1.2.2 Data Mining Tasks; 1.2.3 Data Mining Methods; 1.3 Graphical Models; 1.4 Outline of this Book; 2 Imprecision and Uncertainty; 2.1 Modeling Inferences; 2.2 Imprecision and Relational Algebra; 2.3 Uncertainty and Probability Theory; 2.4 Possibility Theory and the Context Model; 2.4.1 Experiments with Dice; 2.4.2 The Context Model; 2.4.3 The Insufficient Reason Principle; 2.4.4 Overlapping Contexts; 2.4.5 Mathematical Formalization
2.4.6 Normalization and Consistency2.4.7 Possibility Measures; 2.4.8 Mass Assignment Theory; 2.4.9 Degrees of Possibility for Decision Making; 2.4.10 Conditional Degrees of Possibility; 2.4.11 Imprecision and Uncertainty; 2.4.12 Open Problems; 3 Decomposition; 3.1 Decomposition and Reasoning; 3.2 Relational Decomposition; 3.2.1 A Simple Example; 3.2.2 Reasoning in the Simple Example; 3.2.3 Decomposability of Relations; 3.2.4 Tuple-Based Formalization; 3.2.5 Possibility-Based Formalization; 3.2.6 Conditional Possibility and Independence; 3.3 Probabilistic Decomposition; 3.3.1 A Simple Example 3.3.2 Reasoning in the Simple Example3.3.3 Factorization of Probability Distributions; 3.3.4 Conditional Probability and Independence; 3.4 Possibilistic Decomposition; 3.4.1 Transfer from Relational Decomposition; 3.4.2 A Simple Example; 3.4.3 Reasoning in the Simple Example; 3.4.4 Conditional Degrees of Possibility and Independence; 3.5 Possibility versus Probability; 4 Graphical Representation; 4.1 Conditional Independence Graphs; 4.1.1 Axioms of Conditional Independence; 4.1.2 Graph Terminology; 4.1.3 Separation in Graphs; 4.1.4 Dependence and Independence Maps 4.1.5 Markov Properties of Graphs4.1.6 Markov Equivalence of Graphs; 4.1.7 Graphs and Decompositions; 4.1.8 Markov Networks and Bayesian Networks; 4.2 Evidence Propagation in Graphs; 4.2.1 Propagation in Undirected Trees; 4.2.2 Join Tree Propagation; 4.2.3 Other Evidence Propagation Methods; 5 Computing Projections; 5.1 Databases of Sample Cases; 5.2 Relational and Sum Projections; 5.3 Expectation Maximization; 5.4 Maximum Projections; 5.4.1 A Simple Example; 5.4.2 Computation via the Support; 5.4.3 Computation via the Closure; 5.4.4 Experimental Evaluation; 5.4.5 Limitations 6 Naive Classifiers6.1 Naive Bayes Classifiers; 6.1.1 The Basic Formula; 6.1.2 Relation to Bayesian Networks; 6.1.3 A Simple Example; 6.2 A Naive Possibilistic Classifier; 6.3 Classifier Simplification; 6.4 Experimental Evaluation; 7 Learning Global Structure; 7.1 Principles of Learning Global Structure; 7.1.1 Learning Relational Networks; 7.1.2 Learning Probabilistic Networks; 7.1.3 Learning Possibilistic Networks; 7.1.4 Components of a Learning Algorithm; 7.2 Evaluation Measures; 7.2.1 General Considerations; 7.2.2 Notation and Presuppositions; 7.2.3 Relational Evaluation Measures 7.2.4 Probabilistic Evaluation Measures |
| Record Nr. | UNINA-9910139802403321 |
Borgelt Christian
|
||
| Hoboken, NJ, : John Wiley, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
KI 2003: Advances in Artificial Intelligence [[electronic resource] ] : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings / / edited by Andreas Günter, Rudolf Kruse, Bernd Neumann
| KI 2003: Advances in Artificial Intelligence [[electronic resource] ] : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings / / edited by Andreas Günter, Rudolf Kruse, Bernd Neumann |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 668 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-39451-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression -- Leveraging Metadata Creation for the Semantic Web with CREAM -- Negotiation Technologies -- Pushing the Limit in Visual Data Exploration: Techniques and Applications -- Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle -- Logics and Ontologies -- The Instance Problem and the Most Specific Concept in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics -- Satisfiability and Completeness of Converse-PDL Replayed -- Optimality Theory through Default Logic -- Towards a Systematic Account of Different Logic Programming Semantics -- How to Build a Foundational Ontology -- The Universal Medical Language System and the Gene Ontology: Some Critical Reflections -- Cognitive Modeling -- Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences -- Designing Agents with MicroPsi Node Nets -- Conscious Behavior through Reflexive Dialogs -- Reasoning Methods -- What Observations Really Tell Us -- A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k -- Computing Minimum-Cardinality Diagnoses Using OBDDs -- Presenting Sets of Problem Solutions Concisely -- Machine Learning -- Automatic Document Categorization -- A Logical Approach to Data-Driven Classification -- Spatial Inference – Combining Learning and Constraint Solving -- Hybrid Approaches for Case Retrieval and Adaptation -- Neural Networks -- Applied Connectionistic Methods in Computer Vision to Compare Segmented Images -- Sequential Learning Algorithm of Neural Networks Systems for Time Series -- A k-Winner-Takes-All Classifier for Structured Data -- Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks -- Reasoning under Uncertainty -- Bayesian Metanetworks for Modelling User Preferences in Mobile Environment -- On Identifying Tree-Structured Perfect Maps -- Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection -- Fusing Probabilistic Information on Maximum Entropy -- A Probabilistic Approach for Dynamic State Estimation Using Visual Information -- Approaches to Semi-supervised Learning of Fuzzy Classifiers -- Instance-Based Learning of Credible Label Sets -- Self Learning or How to Make a Knowledge Base Curious about Itself -- Tolerance Spaces and Approximative Representational Structures -- Planning and Constraints -- Planning in Answer Set Programming Using Ordered Task Decomposition -- The Process Semantics Based Reasoning about Continuous Change -- A Flexible Meta-solver Framework for Constraint Solver Collaboration -- Spatial Modeling -- Tripartite Line Tracks – Bipartite Line Tracks -- Consistent 3D Model Construction with Autonomous Mobile Robots -- Who Can Connect in RCC? -- An Arrangement Calculus, Its Complexity and Algorithmic Properties -- User Modeling -- Multimodal User State Recognition in a Modern Dialogue System -- Tailoring the Presentation of Plans to Users’ Knowledge and Capabilites -- Agent Technology -- An Agents’ Definition Framework and a Methodology for Deriving Agents’ Taxonomies -- A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom -- Monitoring Agents Using Declarative Planning. |
| Record Nr. | UNISA-996466060003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings / / edited by Andreas Günter, Rudolf Kruse, Bernd Neumann
| KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings / / edited by Andreas Günter, Rudolf Kruse, Bernd Neumann |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 668 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-39451-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression -- Leveraging Metadata Creation for the Semantic Web with CREAM -- Negotiation Technologies -- Pushing the Limit in Visual Data Exploration: Techniques and Applications -- Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle -- Logics and Ontologies -- The Instance Problem and the Most Specific Concept in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics -- Satisfiability and Completeness of Converse-PDL Replayed -- Optimality Theory through Default Logic -- Towards a Systematic Account of Different Logic Programming Semantics -- How to Build a Foundational Ontology -- The Universal Medical Language System and the Gene Ontology: Some Critical Reflections -- Cognitive Modeling -- Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences -- Designing Agents with MicroPsi Node Nets -- Conscious Behavior through Reflexive Dialogs -- Reasoning Methods -- What Observations Really Tell Us -- A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k -- Computing Minimum-Cardinality Diagnoses Using OBDDs -- Presenting Sets of Problem Solutions Concisely -- Machine Learning -- Automatic Document Categorization -- A Logical Approach to Data-Driven Classification -- Spatial Inference – Combining Learning and Constraint Solving -- Hybrid Approaches for Case Retrieval and Adaptation -- Neural Networks -- Applied Connectionistic Methods in Computer Vision to Compare Segmented Images -- Sequential Learning Algorithm of Neural Networks Systems for Time Series -- A k-Winner-Takes-All Classifier for Structured Data -- Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks -- Reasoning under Uncertainty -- Bayesian Metanetworks for Modelling User Preferences in Mobile Environment -- On Identifying Tree-Structured Perfect Maps -- Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection -- Fusing Probabilistic Information on Maximum Entropy -- A Probabilistic Approach for Dynamic State Estimation Using Visual Information -- Approaches to Semi-supervised Learning of Fuzzy Classifiers -- Instance-Based Learning of Credible Label Sets -- Self Learning or How to Make a Knowledge Base Curious about Itself -- Tolerance Spaces and Approximative Representational Structures -- Planning and Constraints -- Planning in Answer Set Programming Using Ordered Task Decomposition -- The Process Semantics Based Reasoning about Continuous Change -- A Flexible Meta-solver Framework for Constraint Solver Collaboration -- Spatial Modeling -- Tripartite Line Tracks – Bipartite Line Tracks -- Consistent 3D Model Construction with Autonomous Mobile Robots -- Who Can Connect in RCC? -- An Arrangement Calculus, Its Complexity and Algorithmic Properties -- User Modeling -- Multimodal User State Recognition in a Modern Dialogue System -- Tailoring the Presentation of Plans to Users’ Knowledge and Capabilites -- Agent Technology -- An Agents’ Definition Framework and a Methodology for Deriving Agents’ Taxonomies -- A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom -- Monitoring Agents Using Declarative Planning. |
| Record Nr. | UNINA-9910144047903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach
| Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 626 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Artificial intelligence Logic Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-69129-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multisensor data fusion in situation assessment processes -- Dependency mining in relational databases -- Syntactic combination of uncertain information: A possibilistic approach -- A coherence-based approach to default reasoning -- A syntactical approach to data fusion -- Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures -- Information fusion in logic: A brief overview -- Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge -- Background and perspectives of possibilistic graphical models -- Checking several forms of consistency in nonmonotonic knowledge-bases -- The ?-junctions: Combination operators applicable to belief functions -- Just how stupid is postmodernism? -- Integrating preference orderings into argument-based reasoning -- Assumption-based modeling using ABEL -- Propositional quantification for conditional logic -- Fast-division architecture for Dempster-Shafer belief functions -- Graduality by means of analogical reasoning -- Reasoning about unpredicted change and explicit time -- Non-elementary speed-ups in default reasoning -- A compositional reasoning system for executing nonmonotonic theories of reasoning -- Structured belief bases: A practical approach to prioritised base revision -- Entrenchment relations: A uniform approach to nonmonotonicity -- A modal logic for reasoning about knowledge and time on binary subset trees -- How to change factual beliefs using laws and dependence information -- Using default logic for lexical knowledge -- A layered, any time approach to sensor validation -- TreeNets: A framework for anytime evaluation of belief networks -- A logically sound method for uncertain reasoning with quantified conditionals -- Belief functions with nonstandard values -- Error tolerance method in multiple-valued logic -- Representing and reasoning with events from natural language -- Reasoning about security: A logic and a decision method for role-based access control -- Process modeling with different qualities of knowledge -- A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems -- Normative argumentation and qualitative probability -- Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications -- Multiple subarguments in logic, argumentation, rhetoric and text generation -- Cactus: A branching-time logic programming language -- Creating prototypes for fast classification in Dempster-Shafer clustering -- Probabilistic default logic based on irrelevance and relevance assumptions -- Logic for two: The semantics of distributive substructural logics -- Multivalued extension of conditional belief functions -- Combining evidence under partial ignorance -- Rational Default Quantifier Logic -- Disjunctive update, minimal change, and default reasoning -- Toward a uniform logical representation of different kinds of integrity constraints. |
| Record Nr. | UNISA-996465571803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach
| Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 626 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Logic, Symbolic and mathematical
Artificial intelligence Logic Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-69129-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multisensor data fusion in situation assessment processes -- Dependency mining in relational databases -- Syntactic combination of uncertain information: A possibilistic approach -- A coherence-based approach to default reasoning -- A syntactical approach to data fusion -- Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures -- Information fusion in logic: A brief overview -- Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge -- Background and perspectives of possibilistic graphical models -- Checking several forms of consistency in nonmonotonic knowledge-bases -- The ?-junctions: Combination operators applicable to belief functions -- Just how stupid is postmodernism? -- Integrating preference orderings into argument-based reasoning -- Assumption-based modeling using ABEL -- Propositional quantification for conditional logic -- Fast-division architecture for Dempster-Shafer belief functions -- Graduality by means of analogical reasoning -- Reasoning about unpredicted change and explicit time -- Non-elementary speed-ups in default reasoning -- A compositional reasoning system for executing nonmonotonic theories of reasoning -- Structured belief bases: A practical approach to prioritised base revision -- Entrenchment relations: A uniform approach to nonmonotonicity -- A modal logic for reasoning about knowledge and time on binary subset trees -- How to change factual beliefs using laws and dependence information -- Using default logic for lexical knowledge -- A layered, any time approach to sensor validation -- TreeNets: A framework for anytime evaluation of belief networks -- A logically sound method for uncertain reasoning with quantified conditionals -- Belief functions with nonstandard values -- Error tolerance method in multiple-valued logic -- Representing and reasoning with events from natural language -- Reasoning about security: A logic and a decision method for role-based access control -- Process modeling with different qualities of knowledge -- A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems -- Normative argumentation and qualitative probability -- Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications -- Multiple subarguments in logic, argumentation, rhetoric and text generation -- Cactus: A branching-time logic programming language -- Creating prototypes for fast classification in Dempster-Shafer clustering -- Probabilistic default logic based on irrelevance and relevance assumptions -- Logic for two: The semantics of distributive substructural logics -- Multivalued extension of conditional belief functions -- Combining evidence under partial ignorance -- Rational Default Quantifier Logic -- Disjunctive update, minimal change, and default reasoning -- Toward a uniform logical representation of different kinds of integrity constraints. |
| Record Nr. | UNINA-9910144920403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [[electronic resource] ] : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings / / edited by Michael Clarke, Rudolf Kruse, Serafin Moral
| Symbolic and Quantitative Approaches to Reasoning and Uncertainty [[electronic resource] ] : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings / / edited by Michael Clarke, Rudolf Kruse, Serafin Moral |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-48130-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | RES: A formalism for reasoning with relative-strength defaults -- A semantics for open normal defaults via a modified preferential approach -- Possibilistic logic: From nonmonotonicity to logic programming -- Learning membership functions -- The use of possibilistic logic PL1 in a customizable tool for the generation of production-rule based systems -- Probabilistic network construction using the minimum description length principle -- IDAGs: A perfect map for any distribution -- Learning non probabilistic belief networks -- A practical system for defeasible reasoning and belief revision -- Influence of granularity level in fuzzy functional dependencies -- A logic for reasoning about safety in decision support systems -- Acceptability of arguments as ‘logical uncertainty’ -- A temporal model theory for default logic -- Uncertainty in constraint satisfaction problems: A probabilistic approach -- Interference logic = conditional logic + frame axiom -- A unifying logical framework for reason maintenance -- Taxonomic linear theories -- Making inconsistency respectable: Part 2 — Meta-level handling of inconsistency -- Restricted access logics for inconsistent information -- Translating inaccessible worlds logic into bimodal logic -- A new approach to semantic aspects of possibilistic reasoning -- Probabilistic consistency of knowledge bases in inference systems -- Weighting independent bodies of evidence -- Default logic: Orderings and extensions -- Learning causal polytrees -- Symbolic evidence, arguments, supports and valuation networks -- A dynamic ordering relation for revision -- On extensions of marginals for decision-making -- On the semantics of negations in logic programming -- Structure learning approaches in causal probabilistics networks -- Weak extensions for default theories -- Recovering incidence functions -- On the relations between incidence calculus and ATMS -- A resolution method for a non monotonic multimodal logic -- A default logic based on epistemic states -- A Formal language for convex sets of probabilities -- A lattice-theoretic analysis of ATMS problem solving -- Examples of causal probabilistic expert systems -- A mixed approach of revision in propositional calculus -- Integrating uncertainty handling formalisms in distributed artificial intelligence -- Variations of constrained default logic -- Information sets in decision theory -- The preferential semantics of a multi-modal nonmonotonic logic -- Probability of deductibility and belief functions -- Formal properties of conditional independence in different calculi of AI -- A proof theory for Constructive Default Logic -- Plausible inference for default conditionals -- Decision-making with Belief Functions and pignistic probabilities -- Default logic and Dempster-Shafer theory -- Belief revision by expansion. |
| Record Nr. | UNISA-996466070903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
