The Resource Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings, edited by Christine Froidevaux, Jürg Kohlas
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings, edited by Christine Froidevaux, Jürg Kohlas
Resource Information
The item Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings, edited by Christine Froidevaux, Jürg Kohlas represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings, edited by Christine Froidevaux, Jürg Kohlas represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- This volume constitutes the 48 full refereed research papers accepted for presentation at the Third European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '95, held in Fribourg, Switzerland in July 1995 under the sponsorship of the DRUMS consortium (ESPRIT II BRA 6156). In recent years, it has become apparent that an important part of the theory of AI is concerned with reasoning on the basis of uncertain, vague, incomplete, or inconsistent information. A variety of nonclassical formalisms, both symbolic and numerical, have been developed and are addressed in this volume; among them are nonmonotonic and modal logics, fuzzy sets, possibility theory, believe functions, evidence theory, dynamic models, and Bayesian networks
- Language
- eng
- Extent
- 1 online resource
- Contents
-
- For all typical
- A posteriori knowledge: from ambiguous knowledge and undefined information to knowledge
- Modeling uncertain relational knowledge: the AV-quantified production rules approach
- Multiple database logic
- A local approach to reasoning under inconsistency in stratified knowledge bases
- Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information
- A cost bounded possibilistic ATMS
- A substructural connective for possibilistic logic
- Chain graphs: Semantics and expressiveness
- Axiomatic treatment of possibilistic independence
- Parametric structure of probabilities in Bayesian networks
- From non-monotonic syntax-based entailment to preference-based argumentation
- Non-monotonic syntax-based entailment: A classification of consequence relations
- Local Möbius transforms of monotone capacities
- Automated reasoning with merged contradictory information whose reliability depends on topics
- Linking transition-based update and base revision
- Prioritized transitions for updates
- Probabilistic satisfiability and decomposition
- Update postulates without inertia
- Similarity-based consequence relations
- Epistemic approach to actions with typical effects
- Nonmonotonic belief state frames and reasoning frames
- A Bayesian network based learning system:
- Architecture and performance comparison with other methods
- Specificity by default
- Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases
- On the formalism of stochastic logic
- Using default logic in information retrieval
- Sensitivity analysis in Bayesian networks
- Bayesian approximation and invariance of Bayesian belief functions
- Model-based diagnostics using hints
- An axiomatic approach to extensional probability measures
- The dynamics of default reasoning
- Lemma handling in default logic theorem provers
- Uncertain reasoning in concept lattices
- A theorem prover for default logic based on prioritized conflict resolution and an extended resolution principle
- A theorem prover for lukaszewicz open default theory
- Two different types of discontinuity of bayesian learning in causal probabilistic networks
- Revision in extended propositional calculus
- Using qualitative uncertainty in protein topology prediction
- Circumscribing features and fluents: Reasoning about action with default effects
- Using Maximum Entropy to compute marginal probabilities in a causal binary tree need not take exponential time
- Yet some more considerations on cumulativity in default logics
- A two-stage approach to first order default reasoning
- A reduction of the theory of confirmation to the notions of distance and measure
- Cluster-based specification techniques in Dempster-Shafer theory
- And/or trees for knowledge representation
- Why defeasible deontic logic needs a multi preference semantics
- Numeric defaults
- Isbn
- 9783540494386
- Label
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings
- Title
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty
- Title remainder
- European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings
- Statement of responsibility
- edited by Christine Froidevaux, Jürg Kohlas
- Language
- eng
- Summary
- This volume constitutes the 48 full refereed research papers accepted for presentation at the Third European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '95, held in Fribourg, Switzerland in July 1995 under the sponsorship of the DRUMS consortium (ESPRIT II BRA 6156). In recent years, it has become apparent that an important part of the theory of AI is concerned with reasoning on the basis of uncertain, vague, incomplete, or inconsistent information. A variety of nonclassical formalisms, both symbolic and numerical, have been developed and are addressed in this volume; among them are nonmonotonic and modal logics, fuzzy sets, possibility theory, believe functions, evidence theory, dynamic models, and Bayesian networks
- Cataloging source
- KIJ
- Dewey number
- 006.3
- Image bit depth
- 0
- Index
- no index present
- LC call number
- Q334-342
- Literary form
- non fiction
- Nature of contents
- dictionaries
- http://library.link/vocab/relatedWorkOrContributorDate
- 1939-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Froidevaux, Christine
- Kohlas, Jürg
- Series statement
- Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
- Series volume
- 946
- http://library.link/vocab/subjectName
-
- Computer science
- Artificial intelligence
- Artificial intelligence
- Computer science
- Computer Science
- Engineering & Applied Sciences
- Label
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings, edited by Christine Froidevaux, Jürg Kohlas
- Antecedent source
- mixed
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- not applicable
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- For all typical -- A posteriori knowledge: from ambiguous knowledge and undefined information to knowledge -- Modeling uncertain relational knowledge: the AV-quantified production rules approach -- Multiple database logic -- A local approach to reasoning under inconsistency in stratified knowledge bases -- Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information -- A cost bounded possibilistic ATMS -- A substructural connective for possibilistic logic -- Chain graphs: Semantics and expressiveness -- Axiomatic treatment of possibilistic independence -- Parametric structure of probabilities in Bayesian networks -- From non-monotonic syntax-based entailment to preference-based argumentation -- Non-monotonic syntax-based entailment: A classification of consequence relations -- Local Möbius transforms of monotone capacities -- Automated reasoning with merged contradictory information whose reliability depends on topics -- Linking transition-based update and base revision -- Prioritized transitions for updates -- Probabilistic satisfiability and decomposition -- Update postulates without inertia -- Similarity-based consequence relations -- Epistemic approach to actions with typical effects -- Nonmonotonic belief state frames and reasoning frames -- A Bayesian network based learning system: -- Architecture and performance comparison with other methods -- Specificity by default -- Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases -- On the formalism of stochastic logic -- Using default logic in information retrieval -- Sensitivity analysis in Bayesian networks -- Bayesian approximation and invariance of Bayesian belief functions -- Model-based diagnostics using hints -- An axiomatic approach to extensional probability measures -- The dynamics of default reasoning -- Lemma handling in default logic theorem provers -- Uncertain reasoning in concept lattices -- A theorem prover for default logic based on prioritized conflict resolution and an extended resolution principle -- A theorem prover for lukaszewicz open default theory -- Two different types of discontinuity of bayesian learning in causal probabilistic networks -- Revision in extended propositional calculus -- Using qualitative uncertainty in protein topology prediction -- Circumscribing features and fluents: Reasoning about action with default effects -- Using Maximum Entropy to compute marginal probabilities in a causal binary tree need not take exponential time -- Yet some more considerations on cumulativity in default logics -- A two-stage approach to first order default reasoning -- A reduction of the theory of confirmation to the notions of distance and measure -- Cluster-based specification techniques in Dempster-Shafer theory -- And/or trees for knowledge representation -- Why defeasible deontic logic needs a multi preference semantics -- Numeric defaults
- Control code
- 827360236
- Dimensions
- unknown
- Extent
- 1 online resource
- File format
- multiple file formats
- Form of item
- online
- Isbn
- 9783540494386
- Level of compression
- uncompressed
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-60112-0
- Other physical details
- volumes: digital.
- Quality assurance targets
- absent
- Reformatting quality
- access
- Specific material designation
- remote
- System control number
- (OCoLC)827360236
- Label
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings, edited by Christine Froidevaux, Jürg Kohlas
- Antecedent source
- mixed
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- not applicable
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- For all typical -- A posteriori knowledge: from ambiguous knowledge and undefined information to knowledge -- Modeling uncertain relational knowledge: the AV-quantified production rules approach -- Multiple database logic -- A local approach to reasoning under inconsistency in stratified knowledge bases -- Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information -- A cost bounded possibilistic ATMS -- A substructural connective for possibilistic logic -- Chain graphs: Semantics and expressiveness -- Axiomatic treatment of possibilistic independence -- Parametric structure of probabilities in Bayesian networks -- From non-monotonic syntax-based entailment to preference-based argumentation -- Non-monotonic syntax-based entailment: A classification of consequence relations -- Local Möbius transforms of monotone capacities -- Automated reasoning with merged contradictory information whose reliability depends on topics -- Linking transition-based update and base revision -- Prioritized transitions for updates -- Probabilistic satisfiability and decomposition -- Update postulates without inertia -- Similarity-based consequence relations -- Epistemic approach to actions with typical effects -- Nonmonotonic belief state frames and reasoning frames -- A Bayesian network based learning system: -- Architecture and performance comparison with other methods -- Specificity by default -- Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases -- On the formalism of stochastic logic -- Using default logic in information retrieval -- Sensitivity analysis in Bayesian networks -- Bayesian approximation and invariance of Bayesian belief functions -- Model-based diagnostics using hints -- An axiomatic approach to extensional probability measures -- The dynamics of default reasoning -- Lemma handling in default logic theorem provers -- Uncertain reasoning in concept lattices -- A theorem prover for default logic based on prioritized conflict resolution and an extended resolution principle -- A theorem prover for lukaszewicz open default theory -- Two different types of discontinuity of bayesian learning in causal probabilistic networks -- Revision in extended propositional calculus -- Using qualitative uncertainty in protein topology prediction -- Circumscribing features and fluents: Reasoning about action with default effects -- Using Maximum Entropy to compute marginal probabilities in a causal binary tree need not take exponential time -- Yet some more considerations on cumulativity in default logics -- A two-stage approach to first order default reasoning -- A reduction of the theory of confirmation to the notions of distance and measure -- Cluster-based specification techniques in Dempster-Shafer theory -- And/or trees for knowledge representation -- Why defeasible deontic logic needs a multi preference semantics -- Numeric defaults
- Control code
- 827360236
- Dimensions
- unknown
- Extent
- 1 online resource
- File format
- multiple file formats
- Form of item
- online
- Isbn
- 9783540494386
- Level of compression
- uncompressed
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-60112-0
- Other physical details
- volumes: digital.
- Quality assurance targets
- absent
- Reformatting quality
- access
- Specific material designation
- remote
- System control number
- (OCoLC)827360236
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Symbolic-and-Quantitative-Approaches-to-Reasoning/MeopkZdiVTs/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Symbolic-and-Quantitative-Approaches-to-Reasoning/MeopkZdiVTs/">Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings, edited by Christine Froidevaux, Jürg Kohlas</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings, edited by Christine Froidevaux, Jürg Kohlas
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Symbolic-and-Quantitative-Approaches-to-Reasoning/MeopkZdiVTs/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Symbolic-and-Quantitative-Approaches-to-Reasoning/MeopkZdiVTs/">Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3-5, 1995 Proceedings, edited by Christine Froidevaux, Jürg Kohlas</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>