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

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...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Gabbay, Dov M., 1945-
Coauteur: International joint conference on qualitative and quantitative practical reasoning (Auteur)
Andere auteurs: Kruse, Rudolf, 1952- (Publishing director), Nonnengart, Andreas (Publishing director), Ohlbach, Hans Jürgen (Publishing director)
Formaat: Livre numérique
Taal:Anglais
Gepubliceerd in: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Reeks:Lecture notes in computer science. Lecture notes in artificial intelligence 1244
Onderwerpen:
Online toegang:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Opmerking: Autre directeur de publication : Hans Jürgen Ohlbach
Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• 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, Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart... [et al.] (Eds.), 1997, Berlin, Springer, 1 vol. (X-620 p.), Lecture notes in computer science, 3-540-63095-3
• Qualitative and Quantitative Practical Reasoning, Texte imprimé, 9783662206539
Inhoudsopgave:
  • Multisensor data fusion in situation assessment processes
  • Dependency mining in relational databases
  • Syntactic combination of uncertain information: A possibilistic approach
  • A coherence-based approach to default reasoning
  • A syntactical approach to data fusion
  • Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures
  • Information fusion in logic: A brief overview
  • Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge
  • Background and perspectives of possibilistic graphical models
  • Checking several forms of consistency in nonmonotonic knowledge-bases
  • The ?-junctions: Combination operators applicable to belief functions
  • Just how stupid is postmodernism?
  • Integrating preference orderings into argument-based reasoning
  • Assumption-based modeling using ABEL
  • Propositional quantification for conditional logic
  • Fast-division architecture for Dempster-Shafer belief functions
  • Graduality by means of analogical reasoning
  • Reasoning about unpredicted change and explicit time
  • Non-elementary speed-ups in default reasoning
  • A compositional reasoning system for executing nonmonotonic theories of reasoning
  • Structured belief bases: A practical approach to prioritised base revision
  • Entrenchment relations: A uniform approach to nonmonotonicity
  • A modal logic for reasoning about knowledge and time on binary subset trees
  • How to change factual beliefs using laws and dependence information
  • Using default logic for lexical knowledge
  • A layered, any time approach to sensor validation
  • TreeNets: A framework for anytime evaluation of belief networks
  • A logically sound method for uncertain reasoning with quantified conditionals
  • Belief functions with nonstandardvalues
  • Error tolerance method in multiple-valued logic
  • Representing and reasoning with events from natural language
  • Reasoning about security: A logic and a decision method for role-based access control
  • Process modeling with different qualities of knowledge
  • A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems
  • Normative argumentation and qualitative probability
  • Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications
  • Multiple subarguments in logic, argumentation, rhetoric and text generation
  • Cactus: A branching-time logic programming language
  • Creating prototypes for fast classification in Dempster-Shafer clustering
  • Probabilistic default logic based on irrelevance and relevance assumptions
  • Logic for two: The semantics of distributive substructural logics
  • Multivalued extension of conditional belief functions
  • Combining evidence under partial ignorance
  • Rational Default Quantifier Logic
  • Disjunctive update, minimal change, and default reasoning
  • Toward a uniform logical representation of different kinds of integrity constraints.