Knowledge Representation for Health-Care. Data, Processes and Guidelines [[electronic resource] ] : AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009, Revised Selected Papers / / edited by David Riano, Annette ten Teije, Silvia Miksch, Mor Peleg |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (195 p. 60 illus.) |
Disciplina | 610.285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Data mining
Information storage and retrieval Application software Database management Management information systems Computer science Data Mining and Knowledge Discovery Information Storage and Retrieval Computer Applications Database Management Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
Soggetto genere / forma |
Kongress.
Verona (2009) |
ISBN |
1-280-38570-7
9786613563620 3-642-11808-9 |
Classificazione |
SS 4800
DAT 703f MED 230f |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From Patient Data to Medical Ontologies -- Creating Topic Hierarchies for Large Medical Libraries -- Bridging an Asbru Protocol to an Existing Electronic Patient Record -- From Natural Language Descriptions in Clinical Guidelines to Relationships in an Ontology -- A Hybrid Methodology for Consumer-Oriented Healthcare Knowledge Acquisition -- Identifying Disease-Centric Subdomains in Very Large Medical Ontologies: A Case-Study on Breast Cancer Concepts in SNOMED CT. Or: Finding 2500 Out of 300.000 -- Sharable Appropriateness Criteria in GLIF3 Using Standards and the Knowledge-Data Ontology Mapper -- Guideline Modeling and Tools -- Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines -- Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S -- Extracting Qualitative Knowledge from Medical Guidelines for Clinical Decision-Support Systems -- Experiences in the Development of Electronic Care Plans for the Management of Comorbidities -- Challenges in Delivering Decision Support Systems: The MATE Experience -- Technical Solutions for Integrating Clinical Practice Guidelines with Electronic Patient Records -- Advanced Topics -- Towards a Possibility-Theoretic Approach to Uncertainty in Medical Data Interpretation for Text Generation -- Argumentation about Treatment Efficacy -- A Knowledge-Management Architecture to Integrate and to Share Medical and Clinical Data, Information, and Knowledge. |
Record Nr. | UNISA-996465666703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [[electronic resource] ] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings / / edited by Claudio Sossai, Gaetano Chemello |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XVII, 936 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Computer science—Mathematics Computer logic Mathematical logic Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Mathematics of Computing Logics and Meanings of Programs Mathematical Logic and Formal Languages |
Soggetto genere / forma |
Kongress.
Verona (2009) |
ISBN | 3-642-02906-X |
Classificazione |
DAT 706f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited 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. |
Record Nr. | UNISA-996465600403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|