Symbolic and Quantitative Approaches to Reasoning and Uncertainty Book

	For All Typical	1
	A Posteriori Knowledge: From Ambiguous Knowledge and Undefined Information to Knowledge	9
	Modeling Uncertain Relational Knowledge: The AV-Quantified Production Rules Approach	18
	Multiple Database Logic	28
	A Local Approach to Reasoning under Inconsistency in Stratified Knowledge Bases	36
	Quasi-Classical Logic: Non-Trivializable Classical Reasoning from Inconsistent Information	44
	A Cost Bounded Possibilistic ATMS	52
	A Substructural Connective for Possibilistic Logic	60
	Chain Graphs: Semantics and Expressiveness	69
	Axiomatic Treatment of Possibilistic Independence	77
	Parametric Structure of Probabilities in Bayesian Networks	89
	From Non-Monotonic Syntax-Based Entailment to Preference-Based Argumentation	99
	Non-Monotonic Syntax-Based Entailment: A Classification of Consequence Relations	107
	Local Mobius Transforms of Monotone Capacities	115
	Automated Reasoning with Merged Contradictory Information whose Reliability Depends on Topics	125
	Linking Transition-Based Update and Base Revision	133
	Prioritized Transitions for Updates	142
	Probabilistic Satisfiability and Decomposition	151
	Update Postulates without Inertia	162
	Similarity-Based Consequence Relations	171
	Epistemic Approach to Actions with Typical Effects	180
	Nonmonotonic Belief State Frames and Reasoning Frames	189
	A Bayesian Network Based Learning System	197
	Specificity by Default	207
	Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases	217
	On the Formalism of Stochastic Logic	227
	Using Default Logic in Information Retrieval	235
	Sensitivity Analysis in Bayesian Networks	243
	Bayesian Approximation and Invariance of Bayesian Belief Functions	251
	Model-Based Diagnostics Using Hints	259
	An Axiomatic Approach to Extensional Probability Measures	267
	The Dynamics of Default Reasoning	277
	Lemma Handling in Default Logic Theorem Provers	285
	Uncertain Reasoning in Concept Lattices	293
	A Theorem Prover for Default Logic based on Prioritized Conflict Resolution and an Extended Resolution Principle	301
	A Theorem Prover for Lukaszewicz' Open Default Theory	311
	Two Different Types of Discontinuity of Bayesian Learning in Causal Probabilistic Networks	320
	Revision in Extended Propositional Calculus	328
	Using Qualitative Uncertainty in Protein Topology Prediction	336
	Circumscribing Features and Fluents: Reasoning about Action with Default Effects	344
	Using Maximum Entropy to Compute Marginal Probabilities in a Causal Binary Tree Need Not Take Exponential Time	352
	Yet Some More Considerations on Cumulativity in Default Logics	364
	A Two-Stage Approach to First Order Default Reasoning	379
	A Reduction of the Theory of Confirmation to the Notions of Distance and Measure	387
	Cluster-Based Specification Techniques in Dempster-Shafer Theory	395
	AND/OR Trees for Knowledge Representation	405
	Why Defeasible Deontic Logic needs a Multi Preference Semantics	412
	Numeric Defaults: About an Expressive First-Order Framework for Reasoning with Infinitesimal Probabilities	420
	Author Index	429