Scalable uncertainty management : 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011 : proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Scalable Uncertainty Management, SUM 2011, held in Dayton, OH, USA, in October 2011. The 32 revised full papers and 3 revised short papers presented together with the abstracts of 2 invited talks and 6 "(Bdiscussant" contributions were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on argumentation systems, probabilistic inference, dynamic of beliefs, information retrieval and databases, ontologies, possibility theory and classification, logic programming, and applications Front Matter....Pages - Causality, Responsibility, and Blame: A Structural-Model Approach....Pages 1-1 Fuzzy Logic, Annotation Domains and Semantic Web Languages....Pages 2-21 Logic Programming and Uncertainty....Pages 22-37 Evaluating Probabilistic Inference Techniques: A Question of “When,” not “Which”....Pages 38-51 Probabilistic Logic Networks in a Nutshell....Pages 52-60 Dynamics of Beliefs....Pages 61-74 Fuzzy Classifiers – Opportunities and Challenges –....Pages 75-80 A Brief Overview of Research in Argumentation Systems....Pages 81-95 Maximal Ideal Recursive Semantics for Defeasible Argumentation....Pages 96-109 Argumentation Frameworks as Constraint Satisfaction Problems....Pages 110-122 On the Equivalence of Logic-Based Argumentation Systems....Pages 123-136 Bipolarity in Argumentation Graphs: Towards a Better Understanding....Pages 137-148 Handling Enthymemes in Time-Limited Persuasion Dialogs....Pages 149-162 Argumentation Frameworks with Necessities....Pages 163-176 A Heuristics-Based Pruning Technique for Argumentation Trees....Pages 177-190 On Warranted Inference in Argument Trees Based Framework....Pages 191-204 Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation....Pages 205-218 A Branching Time Logic with Two Types of Probability Operators....Pages 219-232 A Partition-Based First-Order Probabilistic Logic to Represent Interactive Beliefs....Pages 233-246 Patterns Discovery for Efficient Structured Probabilistic Inference....Pages 247-260 Indirect Elicitation of NIN-AND Trees in Causal Model Acquisition....Pages 261-274 Change in Argumentation Systems: Exploring the Interest of Removing an Argument....Pages 275-288 Incorporating Domain Knowledge and User Expertise in Probabilistic Tuple Merging....Pages 289-302 Qualitative Reasoning about Incomplete Categorization Rules Based on Interpolation and Extrapolation in Conceptual Spaces....Pages 303-316 A Change Model for Credibility Partial Order....Pages 317-330 Conflict-Aware Historical Data Fusion....Pages 331-345 Extended Galois Derivation Operators for Information Retrieval Based on Fuzzy Formal Concept Lattice....Pages 346-358 Processing Fuzzy Queries in a Peer Data Management System Using Distributed Fuzzy Summaries....Pages 359-372 Embedding Forecast Operators in Databases....Pages 373-386 Investigating Ontological Similarity Theoretically with Fuzzy Set Theory, Information Content, and Tversky Similarity and Empirically with the Gene Ontology....Pages 387-400 Answering Threshold Queries in Probabilistic Datalog+/– Ontologies....Pages 401-414 Coherent Top-k Ontology Alignment for OWL EL....Pages 415-427 Generalized Possibilistic Logic....Pages 428-432 Transformations around Quantitative Possibilistic Logic....Pages 433-446 Imprecise Regression Based on Possibilistic Likelihood....Pages 447-459 Possibilistic Network-Based Classifiers: On the Reject Option and Concept Drift Issues....Pages 460-474 Weak and Strong Disjunction in Possibilistic ASP....Pages 475-488 t-DeLP: A Temporal Extension of the Defeasible Logic Programming Argumentative Framework....Pages 489-503 Learning to Act Optimally in Partially Observable Markov Decision Processes Using Hybrid Probabilistic Logic Programs....Pages 504-519 ChaseT : A Tool for Checking Chase Termination....Pages 520-524 Swapping-Based Partitioned Sampling for Better Complex Density Estimation: Application to Articulated Object Tracking....Pages 525-538 A Fuzzy-Based Approach to the Value of Information in Complex Military Environments....Pages 539-546 Handling Sequential Observations in Intelligent Surveillance....Pages 547-560 Back Matter....Pages -