Skip to main content
  • Conference proceedings
  • © 1995

Symbolic and Quantitative Approaches to Reasoning and Uncertainty

European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 946)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): ECSQARU: European Conference on Symbolic and Quantitative Approaches with Uncertainty

Conference proceedings info: ECSQARU 1995.

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (48 papers)

  1. Front Matter

  2. For all typical

    • Natasha Alechina
    Pages 1-8
  3. Modeling uncertain relational knowledge: the AV-quantified production rules approach

    • Pietro Baroni, Giovanni Guida, Silvano Mussi
    Pages 18-27
  4. Multiple database logic

    • Mario R. F. Benevides
    Pages 28-35
  5. A local approach to reasoning under inconsistency in stratified knowledge bases

    • Salem Benferhat, Didier Dubois, Henri Prade
    Pages 36-43
  6. A cost bounded possibilistic ATMS

    • John Bigham, Zhiyuan Luo, Debashis Banerjee
    Pages 52-59
  7. Chain graphs: Semantics and expressiveness

    • Remco R. Bouckaert, Milan Studený
    Pages 69-76
  8. Axiomatic treatment of possibilistic independence

    • Luis M. de Campos, Jörg Gebhardt, Rudolf Kruse
    Pages 77-88
  9. Parametric structure of probabilities in Bayesian networks

    • Enrique Castillo, José Manuel Gutiérrez, Ali S. Hadi
    Pages 89-98
  10. Non-monotonic syntax-based entailment: A classification of consequence relations

    • Claudette Cayrol, Marie-Christine Lagasquie-Schiex
    Pages 107-114
  11. Local Möbius transforms of monotone capacities

    • Alain Chateauneuf, Jean-Yves Jaffray
    Pages 115-124
  12. Linking transition-based update and base revision

    • Marie-Odile Cordier, Jérôme Lang
    Pages 133-141
  13. Prioritized transitions for updates

    • Marie-Odile Cordier, Pierre Siegel
    Pages 142-150
  14. Probabilistic satisfiability and decomposition

    • Guy-Blaise Douanya Nguetsé, Pierre Hansen, Brigitte Jaumard
    Pages 151-161
  15. Update postulates without inertia

    • D. Dubois, F. Dupin de Saint-Cyr, H. Prade
    Pages 162-170

Other Volumes

  1. Symbolic and Quantitative Approaches to Reasoning and Uncertainty

About this book

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.

Bibliographic Information

  • Book Title: Symbolic and Quantitative Approaches to Reasoning and Uncertainty

  • Book Subtitle: European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings

  • Editors: Christine Froidevaux, Jürg Kohlas

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-60112-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1995

  • Softcover ISBN: 978-3-540-60112-8Published: 26 June 1995

  • eBook ISBN: 978-3-540-49438-6Published: 11 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 438

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access