1 option
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / edited by Salem Benferhat, Philippe Besnard.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 2143.
- Lecture Notes in Artificial Intelligence ; 2143
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Programming languages (Electronic computers).
- Logic, Symbolic and mathematical.
- Information technology.
- Business--Data processing.
- Business.
- Artificial Intelligence.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Formal Languages.
- IT in Business.
- Local Subjects:
- Artificial Intelligence.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Formal Languages.
- IT in Business.
- Physical Description:
- 1 online resource (XIV, 818 pages).
- Edition:
- First edition 2001.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
- System Details:
- text file PDF
- Summary:
- This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in Toulouse, France in September 2001. The 68 revised full papers presented together with three invited papers were carefully reviewed and selected from over a hundred submissions. The book offers topical sections on decision theory, partially observable Markov decision processes, decision-making, coherent probabilities, Bayesian networks, learning causal networks, graphical representation of uncertainty, imprecise probabilities, belief functions, fuzzy sets and rough sets, possibility theory, merging, belief revision and preferences, inconsistency handling, default logic, logic programming, et cetera.
- Contents:
- Invited Papers
- Graphical Models as Languages for Computer Assisted Diagnosis and Decision Making
- Planning with Uncertainty and Incomplete Information
- What's Your Preference? And How to Express and Implement It in Logic Programming!
- Contributed Papers
- On Preference Representation on an Ordinal Scale
- Rule-Based Decision Support in Multicriteria Choice and Ranking
- Propositional Distances and Preference Representation
- Value Iteration over Belief Subspace
- Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs
- Reasoning about Intentions in Uncertain Domains
- Troubleshooting with Simultaneous Models
- A Rational Conditional Utility Model in a Coherent Framework
- Probabilistic Reasoning as a General Unifying Tool
- An Operational View of Coherent Conditional Previsions
- Decomposition of Influence Diagrams
- Mixtures of Truncated Exponentials in Hybrid Bayesian Networks
- Importance Sampling in Bayesian Networks Using Antithetic Variables
- Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees
- Caveats For Causal Reasoning With Equilibrium Models
- Supporting Changes in Structure in Causal Model Construction
- The Search of Causal Orderings: A Short Cut for Learning Belief Networks
- Stochastic Local Algorithms for Learning Belief Networks: Searching in the Space of the Orderings
- An Empirical Investigation of the K2 Metric
- Sequential Valuation Networks: A New Graphical Technique for Asymmetric Decision Problems
- A Two-Steps Algorithm for Min-Based Possibilistic Causal Networks
- Computing Intervals of Probabilities with Simulated Annealing and Probability Trees
- Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
- Belief Functions with Partially Ordered Values
- Dempster Specialization Matrices and the Combination of Belief Functions
- On the Conceptual Status of Belief Functions with Respect to Coherent Lower Probabilities
- About Conditional Belief Function Independence
- The Evaluation of Sensors' Reliability and Their Tuning for Multisensor Data Fusion within the Transferable Belief Model
- Coarsening Approximations of Belief Functions
- Label Semantics: A Formal Framework for Modeling with Words
- Reasoning about Knowledge Using Rough Sets
- The Capacity of a Possibilistic Channel
- New Semantics for Quantitative Possibility Theory
- Bridging logical, comparative and graphical possibilistic representation frameworks
- Ellipse fitting with uncertainty and fuzzy decision stage for detection. Application in videomicroscopy.
- Probabilistic Modelling for Software Quality Control
- Spatial Information Revision: A Comparison between 3 Approaches
- Social Choice, Merging, and Elections
- Data merging: Theory of Evidence vs knowledge-bases merging operators
- A Priori Revision
- Some Operators for Iterated Revision
- On Computing Solutions to Belief Change Scenarios
- "Not impossible" vs. "guaranteed possible" in fusion and revision
- General Preferential Entaulments as Circumscriptions
- A Semantic Tableau Version of First-Order Quasi-Classical Logic
- On Anytime Coherence-Based Reasoning
- Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires
- Comparing a Pair-wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results
- How to Reason Credulously and Skeptically within a Single Extension
- Handling Conditionals Adequately in Uncertain Reasoning
- Rankings We Prefer
- Formalizing Human Uncertain Reasoning with Default Rules: A Psychological Conundrum and a Pragmatic Suggestion
- Statistical Information, Uncertainty, and Bayes' Theorem: Some Applications in Experimental Psychology
- Polymorphism of Human Judgment under Uncertainty
- How to Doubt about a Conditional
- Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks
- Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus
- Importance Measures from Reliability Theory for Probabilistic Assumption-Based Reasoning
- Ramification in the Normative Method of Causality
- Simultaneous Events: Conflicts and Preferences
- Orthogonal Relations for Reasoning about Abstract Events
- Explanatory Relations Based on Mathematical Morphology
- Monotonic and Residuated Logic Programs
- A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants
- First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems
- Complete and Incomplete Knowledge in Logical Information Systems
- Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas
- A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-44652-1
- 9783540446521
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.