000 05449nam a22005055i 4500
001 978-3-540-48130-0
003 DE-He213
005 20160624102030.0
007 cr nn 008mamaa
008 121227s1993 gw | s |||| 0|eng d
020 _a9783540481300
_9978-3-540-48130-0
024 7 _a10.1007/BFb0028174
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aSymbolic and Quantitative Approaches to Reasoning and Uncertainty
_h[electronic resource] :
_bEuropean Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings /
_cedited by Michael Clarke, Rudolf Kruse, Serafín Moral.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
300 _aXII, 396 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v747
505 0 _a$$\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 states -- A Formal language for convex sets of probabilities -- A lattice-theoretic analysis of ATMS problem solving -- Examples of causal probabilistic expert systems -- A mixed approach of revision in propositional calculus -- Integrating uncertainty handling formalisms in distributed artificial intelligence -- Variations of constrained default logic -- Information sets in decision theory -- The preferential semantics of a multi-modal nonmonotonic logic -- Probability of deductibility and belief functions -- Formal properties of conditional independence in different calculi of AI -- A proof theory for Constructive Default Logic -- Plausible inference for default conditionals -- Decision-making with Belief Functions and pignistic probabilities -- Default logic and Dempster-Shafer theory -- Belief revision by expansion.
520 _aIn recent years it has become apparent that an important part of the theory of artificial intelligence is concerned with reasoning on the basis of uncertain, incomplete, or inconsistent information. A variety of formalisms have been developed, including nonmonotonic logic, fuzzy sets, possibility theory, belief functions, and dynamic models of reasoning such as belief revision and Bayesian networks. Several European research projects have been formed in the area and the first European conference was held in 1991. This volume contains the papers accepted for presentation at ECSQARU-93, the European Conference on Symbolicand Quantitative Approaches to Reasoning and Uncertainty, held at the University of Granada, Spain, November 8-10, 1993.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aClarke, Michael.
_eeditor.
700 1 _aKruse, Rudolf.
_eeditor.
700 1 _aMoral, Serafín.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540573951
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v747
856 4 0 _uhttp://dx.doi.org/10.1007/BFb0028174
942 _2EBK6327
_cEBK
999 _c35621
_d35621