Skip to main content
SpringerLink
Log in

Symbolic and Quantitative Approaches to Reasoning and Uncertainty

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

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Christine Froidevaux
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jürg Kohlas
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: ECSQARU 1995.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (48 papers)

  1. Front Matter

    Download chapter PDF

  2. For all typical

    • Natasha Alechina
    Pages 1-8

  3. A posteriori knowledge: from ambiguous knowledge and undefined information to knowledge

    • Matías Alvarado
    Pages 9-17

  4. Modeling uncertain relational knowledge: the AV-quantified production rules approach

    • Pietro Baroni, Giovanni Guida, Silvano Mussi
    Pages 18-27

  5. Multiple database logic

    • Mario R. F. Benevides
    Pages 28-35

  6. A local approach to reasoning under inconsistency in stratified knowledge bases

    • Salem Benferhat, Didier Dubois, Henri Prade
    Pages 36-43

  7. Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information

    • Philippe Besnard, Anthony Hunter
    Pages 44-51

  8. A cost bounded possibilistic ATMS

    • John Bigham, Zhiyuan Luo, Debashis Banerjee
    Pages 52-59

  9. A substructural connective for possibilistic logic

    • Luca Boldrin
    Pages 60-68

  10. Chain graphs: Semantics and expressiveness

    • Remco R. Bouckaert, Milan Studený
    Pages 69-76

  11. Axiomatic treatment of possibilistic independence

    • Luis M. de Campos, Jörg Gebhardt, Rudolf Kruse
    Pages 77-88

  12. Parametric structure of probabilities in Bayesian networks

    • Enrique Castillo, José Manuel Gutiérrez, Ali S. Hadi
    Pages 89-98

  13. From non-monotonic syntax-based entailment to preference-based argumentation

    • Claudette Cayrol
    Pages 99-106

  14. Non-monotonic syntax-based entailment: A classification of consequence relations

    • Claudette Cayrol, Marie-Christine Lagasquie-Schiex
    Pages 107-114

  15. Local Möbius transforms of monotone capacities

    • Alain Chateauneuf, Jean-Yves Jaffray
    Pages 115-124

  16. Automated reasoning with merged contradictory information whose reliability depends on topics

    • Laurence Cholvy
    Pages 125-132

  17. Linking transition-based update and base revision

    • Marie-Odile Cordier, Jérôme Lang
    Pages 133-141

  18. Prioritized transitions for updates

    • Marie-Odile Cordier, Pierre Siegel
    Pages 142-150

  19. Probabilistic satisfiability and decomposition

    • Guy-Blaise Douanya Nguetsé, Pierre Hansen, Brigitte Jaumard
    Pages 151-161

  20. Update postulates without inertia

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

Other volumes

  1. Symbolic and Quantitative Approaches to Reasoning and Uncertainty

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation