Advertisement

Qualitative and Quantitative Practical Reasoning

First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings

  • Editors
  • Dov M. Gabbay
  • Rudolf Kruse
  • Andreas Nonnengart
  • Hans Jürgen Ohlbach
Conference proceedings FAPR 1997, ECSQARU 1997

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

Table of contents

  1. Front Matter
    PDF
  2. Multisensor data fusion in situation assessment processes
    Alain Appriou
    Pages 1-15
  3. Dependency mining in relational databases
    Siegfried Bell
    Pages 16-29
  4. Syntactic combination of uncertain information: A possibilistic approach
    Salem Benferhat, Didier Dubois, Henri Prade
    Pages 30-42
  5. A coherence-based approach to default reasoning
    Salem Benferhat, Laurent Garcia
    Pages 43-57
  6. A syntactical approach to data fusion
    Paolo Bison, Gaetano Chemello, Claudio Sossai, Gaetano Trainito
    Pages 58-70
  7. Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures
    Christian Borgelt, Rudolf Kruse
    Pages 71-85
  8. Information fusion in logic: A brief overview
    Laurence Cholvy, Anthony Hunter
    Pages 86-95
  9. Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge
    Didier Dubois, Henri Prade
    Pages 96-107
  10. Background and perspectives of possibilistic graphical models
    Jörg Gebhardt, Rudolf Kruse
    Pages 108-121
  11. Checking several forms of consistency in nonmonotonic knowledge-bases
    Bertrand Mazure, Lakhdar Saïs, Éric Grégoire
    Pages 122-130
  12. The α-junctions: Combination operators applicable to belief functions
    Philippe Smets
    Pages 131-153
  13. Just how stupid is postmodernism?
    John Woods
    Pages 154-158
  14. Integrating preference orderings into argument-based reasoning
    Leila Amgoud, Claudette Cayrol
    Pages 159-170
  15. Assumption-based modeling using ABEL
    B. Anrig, R. Haenni, J. Kohlas, N. Lehmann
    Pages 171-182
  16. Propositional quantification for conditional logic
    Philippe Besnard, Jean-Marc Guinnebault, Emmanuel Mayer
    Pages 183-197
  17. Fast-division architecture for Dempster-Shafer belief functions
    R. Bissig, J. Kohlas, N. Lehmann
    Pages 198-209
  18. Graduality by means of analogical reasoning
    J. Delechamp, B. Bouchon-Meunier
    Pages 210-222
  19. Reasoning about unpredicted change and explicit time
    Florence Dupin de Saint-Cyr, Jérôme Lang
    Pages 223-236
  20. Non-elementary speed-ups in default reasoning
    Uwe Egly, Hans Tompits
    Pages 237-251
  21. A compositional reasoning system for executing nonmonotonic theories of reasoning
    J. Engelfriet, J. Treur
    Pages 252-266
  22. Structured belief bases: A practical approach to prioritised base revision
    Dov Gabbay, Odinaldo Rodrigues
    Pages 267-281
  23. Entrenchment relations: A uniform approach to nonmonotonicity
    Konstantinos Georgatos
    Pages 282-297
  24. A modal logic for reasoning about knowledge and time on binary subset trees
    Bernhard Heinemann
    Pages 298-310
  25. How to change factual beliefs using laws and dependence information
    Andreas Herzig
    Pages 311-321
  26. Using default logic for lexical knowledge
    Anthony Hunter
    Pages 322-335
  27. A layered, any time approach to sensor validation
    Pablo H. Ibargüengoytia, Sunil Vadera, L. Enrique Sucar
    Pages 336-349
  28. TreeNets: A framework for anytime evaluation of belief networks
    N. Jitnah, A. Nicholson
    Pages 350-364
  29. A logically sound method for uncertain reasoning with quantified conditionals
    Gabriele Kern-Isberner
    Pages 365-379
  30. Belief functions with nonstandard values
    Ivan Kramosil
    Pages 380-391
  31. Error tolerance method in multiple-valued logic
    Soowoo Lee
    Pages 392-405
  32. Representing and reasoning with events from natural language
    Miguel Leith, Jim Cunningham
    Pages 406-420
  33. Reasoning about security: A logic and a decision method for role-based access control
    Fabio Massacci
    Pages 421-435
  34. Process modeling with different qualities of knowledge
    Wolfgang May
    Pages 436-450
  35. A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems
    Daniel Pacholczyk
    Pages 451-465
  36. Normative argumentation and qualitative probability
    Simon Parsons
    Pages 466-480
  37. Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications
    Anna Radzikowska
    Pages 481-495
  38. Multiple subarguments in logic, argumentation, rhetoric and text generation
    Chris Reed, Derek Long
    Pages 496-510
  39. Cactus: A branching-time logic programming language
    P. Rondogiannis, M. Gergatsoulis, T. Panayiotopoulos
    Pages 511-524
  40. Creating prototypes for fast classification in Dempster-Shafer clustering
    Johan Schubert
    Pages 525-535
  41. Probabilistic default logic based on irrelevance and relevance assumptions
    Gerhard Schurz
    Pages 536-553
  42. Logic for two: The semantics of distributive substructural logics
    John Slaney, Robert Meyer
    Pages 554-567
  43. Multivalued extension of conditional belief functions
    Anna Slobodová
    Pages 568-573
  44. Combining evidence under partial ignorance
    Frans Voorbraak
    Pages 574-588
  45. Rational Default Quantifier Logic
    Emil Weydert
    Pages 589-599
  46. Disjunctive update, minimal change, and default reasoning
    Yan Zhang
    Pages 600-613
  47. Toward a uniform logical representation of different kinds of integrity constraints
    Robert Demolombe, Andrew J. I. Jones, Jose Carmo
    Pages 614-620
  48. Back Matter
    PDF

About these proceedings

Introduction

This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, held in Bad Honnef, Germany, in June 1997.
The volume presents 33 revised full papers carefully selected for inclusion in the book by the program committee as well as 12 invited contributions. Among the various aspects of human practical reasoning addressed in the papers are nonmonotonic logics, default reasoning, modal logics, belief function theory, Bayesian networks, fuzzy logic, possibility theory, inference algorithms, dynamic reasoning with partial models, and user modeling approaches.

Keywords

Bayesian network Dynamic Reasoning Knowledge-Based Reasoning Nonclassical Logics Practical Reasoning Uncertain Information Unsichere Information algorithms fuzzy fuzzy logic logic modal logic

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0035607
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63095-1
  • Online ISBN 978-3-540-69129-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Telecommunications