Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th European Conference, ECSQARU 2001 Toulouse, France, September 19–21, 2001 Proceedings

Graphical Models as Languages for Computer Assisted Diagnosis and Decision Making....Pages 1-15
Planning with Uncertainty and Incomplete Information....Pages 16-16
What’s Your Preference? And How to Express and Implement It in Logic Programming!....Pages 17-17
On Preference Representation on an Ordinal Scale....Pages 18-28
Rule-Based Decision Support in Multicriteria Choice and Ranking....Pages 29-47
Propositional Distances and Preference Representation....Pages 48-59
Value Iteration over Belief Subspace....Pages 60-71
Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs....Pages 72-83
Reasoning about Intentions in Uncertain Domains....Pages 84-95
Troubleshooting with Simultaneous Models....Pages 96-107
A Rational Conditional Utility Model in a Coherent Framework....Pages 108-119
Probabilistic Reasoning as a General Unifying Tool....Pages 120-131
An Operational View of Coherent Conditional Previsions....Pages 132-143
Decomposition of Influence Diagrams....Pages 144-155
Mixtures of Truncated Exponentials in Hybrid Bayesian Networks....Pages 156-167
Importance Sampling in Bayesian Networks Using Antithetic Variables....Pages 168-179
Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees....Pages 180-191
Caveats For Causal Reasoning With Equilibrium Models....Pages 192-203
Supporting Changes in Structure in Causal Model Construction....Pages 204-215
The Search of Causal Orderings: A Short Cut for Learning Belief Networks....Pages 216-227
Stochastic Local Algorithms for Learning Belief Networks: Searching in the Space of the Orderings....Pages 228-239
An Empirical Investigation of the K2 Metric....Pages 240-251
Sequential Valuation Networks: A New Graphical Technique for Asymmetric Decision Problems....Pages 252-265
A Two-Steps Algorithm for Min-Based Possibilistic Causal Networks....Pages 266-277
Computing Intervals of Probabilities with Simulated Annealing and Probability Trees....Pages 278-289
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning....Pages 290-302
Belief Functions with Partially Ordered Values....Pages 303-315
Dempster Specialization Matrices and the Combination of Belief Functions....Pages 316-327
On the Conceptual Status of Belief Functions with Respect to Coherent Lower Probabilities....Pages 328-339
About Conditional Belief Function Independence....Pages 340-349
The Evaluation of Sensors’ Reliability and Their Tuning for Multisensor Data Fusion within the Transferable Belief Model....Pages 350-361
Coarsening Approximations of Belief Functions....Pages 362-373
Label Semantics: A Formal Framework for Modeling with Words....Pages 374-384
Reasoning about Knowledge Using Rough Sets....Pages 385-397
The Capacity of a Possibilistic Channel....Pages 398-409
New Semantics for Quantitative Possibility Theory....Pages 410-421
Bridging logical, comparative and graphical possibilistic representation frameworks....Pages 422-431
Ellipse fitting with uncertainty and fuzzy decision stage for detection. Application in videomicroscopy.....Pages 432-443
Probabilistic Modelling for Software Quality Control....Pages 444-453
Spatial Information Revision: A Comparison between 3 Approaches....Pages 454-465
Social Choice, Merging, and Elections....Pages 466-477
Data merging: Theory of Evidence vs knowledge-bases merging operators....Pages 478-487
A Priori Revision....Pages 488-497
Some Operators for Iterated Revision....Pages 498-509
On Computing Solutions to Belief Change Scenarios....Pages 510-521
“Not impossible” vs. “guaranteed possible” in fusion and revision....Pages 522-531
General Preferential Entaulments as Circumscriptions....Pages 532-543
A Semantic Tableau Version of First-Order Quasi-Classical Logic....Pages 544-555
On Anytime Coherence-Based Reasoning....Pages 556-567
Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires....Pages 568-579
Comparing a Pair-wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results....Pages 580-591
How to Reason Credulously and Skeptically within a Single Extension....Pages 592-603
Handling Conditionals Adequately in Uncertain Reasoning....Pages 604-615
Rankings We Prefer....Pages 616-627
Formalizing Human Uncertain Reasoning with Default Rules: A Psychological Conundrum and a Pragmatic Suggestion....Pages 628-634
Statistical Information, Uncertainty, and Bayes’ Theorem: Some Applications in Experimental Psychology....Pages 635-646
Polymorphism of Human Judgment under Uncertainty....Pages 647-658
How to Doubt about a Conditional....Pages 659-667
Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks....Pages 668-679
Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus....Pages 680-691
Importance Measures from Reliability Theory for Probabilistic Assumption-Based Reasoning....Pages 692-703
Ramification in the Normative Method of Causality....Pages 704-713
Simultaneous Events: Conflicts and Preferences....Pages 714-725
Orthogonal Relations for Reasoning about Abstract Events....Pages 726-735
Explanatory Relations Based on Mathematical Morphology....Pages 736-747
Monotonic and Residuated Logic Programs....Pages 748-759
A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants....Pages 760-771
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems....Pages 772-781
Complete and Incomplete Knowledge in Logical Information Systems....Pages 782-791
Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas....Pages 792-804
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report....Pages 805-816