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 / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach.

Format:

Book

Contributor:

Gabbay, Dov M., 1945- editor.

Kruse, Rudolf, editor.

Nonnengart, Andreas, editor.

Ohlbach, Hans J., editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 1244.

Lecture Notes in Artificial Intelligence ; 1244

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Artificial intelligence.

Logic.

Mathematical Logic and Foundations.

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Local Subjects:

Mathematical Logic and Foundations.

Artificial Intelligence.

Logic.

Mathematical Logic and Formal Languages.

Physical Description:

1 online resource (X, 626 pages).

Edition:

First edition 1997.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.

System Details:

text file PDF

Summary:

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.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-540-69129-7

9783540691297

Access Restriction:

Restricted for use by site license.