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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1997.
|
| Έκδοση: | 1st ed. 1997. |
| Σειρά: | Lecture Notes in Artificial Intelligence ;
1244 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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 nonstandard values
- 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.
