Symbolic and Quantitative Approaches to Reasoning and Uncertainty

$$mathcal{R}mathcal{E}mathcal{S}$$ : A formalism for reasoning with relative-strength defaults.- A semantics for open normal defaults via a modified preferential approach.- Possibilistic logic: From nonmonotonicity to logic programming.- Learning membership functions.- The use of possibilistic logic PL1 in a customizable tool for the generation of production-rule based systems.- Probabilistic network construction using the minimum description length principle.- IDAGs: A perfect map for any distribution.- Learning non probabilistic belief networks.- A practical system for defeasible reasoning and belief revision.- Influence of granularity level in fuzzy functional dependencies.- A logic for reasoning about safety in decision support systems.- Acceptability of arguments as 'logical uncertainty'.- A temporal model theory for default logic.- Uncertainty in constraint satisfaction problems: A probabilistic approach.- Interference logic = conditional logic + frame axiom.- A unifying logical framework for reason maintenance.- Taxonomic linear theories.- Making inconsistency respectable: Part 2 - Meta-level handling of inconsistency.- Restricted access logics for inconsistent information.- Translating inaccessible worlds logic into bimodal logic.- A new approach to semantic aspects of possibilistic reasoning.- Probabilistic consistency of knowledge bases in inference systems.- Weighting independent bodies of evidence.- Default logic: Orderings and extensions.- Learning causal polytrees.- Symbolic evidence, arguments, supports and valuation networks.- A dynamic ordering relation for revision.- On extensions of marginals for decision-making.- On the semantics of negations in logic programming.- Structure learning approaches in causal probabilistics networks.- Weak extensions for default theories.- Recovering incidence functions.- On the relations between incidence calculus and ATMS.- A resolution method for a non monotonic multimodal logic.- A default logic based on epistemic

Prof. Dr. Rudolf Kruse ist Leiter des Lehrstuhls für Neuro-Fuzzy-Systeme an der Universität Magdeburg.