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

Multisensor data fusion in situation assessment processes....Pages 1-15
Dependency mining in relational databases....Pages 16-29
Syntactic combination of uncertain information: A possibilistic approach....Pages 30-42
A coherence-based approach to default reasoning....Pages 43-57
A syntactical approach to data fusion....Pages 58-70
Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures....Pages 71-85
Information fusion in logic: A brief overview....Pages 86-95
Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge....Pages 96-107
Background and perspectives of possibilistic graphical models....Pages 108-121
Checking several forms of consistency in nonmonotonic knowledge-bases....Pages 122-130
The α-junctions: Combination operators applicable to belief functions....Pages 131-153
Just how stupid is postmodernism?....Pages 154-158
Integrating preference orderings into argument-based reasoning....Pages 159-170
Assumption-based modeling using ABEL....Pages 171-182
Propositional quantification for conditional logic....Pages 183-197
Fast-division architecture for Dempster-Shafer belief functions....Pages 198-209
Graduality by means of analogical reasoning....Pages 210-222
Reasoning about unpredicted change and explicit time....Pages 223-236
Non-elementary speed-ups in default reasoning....Pages 237-251
A compositional reasoning system for executing nonmonotonic theories of reasoning....Pages 252-266
Structured belief bases: A practical approach to prioritised base revision....Pages 267-281
Entrenchment relations: A uniform approach to nonmonotonicity....Pages 282-297
A modal logic for reasoning about knowledge and time on binary subset trees....Pages 298-310
How to change factual beliefs using laws and dependence information....Pages 311-321
Using default logic for lexical knowledge....Pages 322-335
A layered, any time approach to sensor validation....Pages 336-349
TreeNets: A framework for anytime evaluation of belief networks....Pages 350-364
A logically sound method for uncertain reasoning with quantified conditionals....Pages 365-379
Belief functions with nonstandard values....Pages 380-391
Error tolerance method in multiple-valued logic....Pages 392-405
Representing and reasoning with events from natural language....Pages 406-420
Reasoning about security: A logic and a decision method for role-based access control....Pages 421-435
Process modeling with different qualities of knowledge....Pages 436-450
A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems....Pages 451-465
Normative argumentation and qualitative probability....Pages 466-480
Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications....Pages 481-495
Multiple subarguments in logic, argumentation, rhetoric and text generation....Pages 496-510
Cactus: A branching-time logic programming language....Pages 511-524
Creating prototypes for fast classification in Dempster-Shafer clustering....Pages 525-535
Probabilistic default logic based on irrelevance and relevance assumptions....Pages 536-553
Logic for two: The semantics of distributive substructural logics....Pages 554-567
Multivalued extension of conditional belief functions....Pages 568-573
Combining evidence under partial ignorance....Pages 574-588
Rational Default Quantifier Logic....Pages 589-599
Disjunctive update, minimal change, and default reasoning....Pages 600-613
Toward a uniform logical representation of different kinds of integrity constraints....Pages 614-620