Conference Program of ECSQARU / FAPR '97

Rudolf Kruse (kruse@hp827.cs.Uni-Magdeburg.DE)
Wed, 14 May 1997 09:18:07 +0200

Please excuse if you receive this message more than once.

Including you will find the program of the International Joint Conference o=
Qualitative and Quantitative Practical Reasoning (ECSQARU / FAPR '97),
9-12 June 1997, Seminaris Hotel, Bad Honnef, Germany.

From=20the year 1997, the biannual
European Conference on Symbolic and Quantitative Approaches to
Reasoning and Uncertainty (ECSQARU'97) and the biannual
International Conference on Formal and Applied Practical Reasoning
(FAPR'97), have merged into one joint biannual conference.
The first in the series is ECSQARU/FAPR 97

The joint two conferences are open to the international community of
researchers interested in reasoning and uncertainty.
Together both conferences cover all aspects of Human Practical Reasoning!

For more information please refer to the WWW page at

Best regards,

Rudolf Kruse

9-12 June 1997
Seminaris Hotel
Bad Honnef, Germany

Monday, 9th June 1997, Track A

0845 -- 0900 Opening=20
=09=09Dov Gabbay and Rudolf Kruse
0900 -- 1000 Invited Talk:=20
=09=09Focusing vs. Belief Revision: A Fundamental=20
=09=09Distinction when Dealing with Generic Knowledge
=09=09Henri Prade and Didier Dubois
1000 -- 1030 Break
1030 -- 1230 Tutorial:
Numerical Approaches to Uncertainty
Philippe Smets
1230 -- 1400 Lunch
Information Fusion: Methodological Aspects
Organised by Didier Dubois and Henri Prade
1400 -- 1430 The a-Junctions:
=09=09Combination Operators Applicable to Belief Functions
Philippe Smets
1430 -- 1500 Multisensor Data Fusion in Situation Assessment Processes
Alain Appriou
1500 -- 1530 Background and Perspectives of Possibilistic
=09=09Graphical Models
Joerg Gebhardt and Rudolf Kruse
1530 -- 1600 Syntactic Combination of Uncertain Information:
=09=09A Possibilistic Approach
Salem Benferhat, Didier Dubois and Henri Prade
1600 -- 1630 Break
1630 -- 1700 How to Derive Belief Functions Within Probabilistic
Philippe Smets and Roger Cooke
1700 -- 1730 Information Fusion in Logic: A Brief Overview
Laurence Cholvy and Anthony Hunter
1730 -- 1800 A Syntactical Approach to Data Fusion
Paolo Bison, Gaetano Chemello, Claudio Sossai and
=09=09Gaetano Trainito

Monday, 9th June 1997, Track B

0845 -- 0900 Opening
Dov Gabbay and Rudolf Kruse
0900 -- 1000 Invited Talk:
Focusing vs. Belief Revision: A Fundamental
Distinction when Dealing with Generic Knowledge
Henri Prade and Didier Dubois
1000 -- 1030 Break
1030 -- 1230 Tutorial:
John Woods
1230 -- 1400 Lunch
Session: Conflict Resolution
1400 -- 1430 Checking Several Forms of Consistency in
Nonmonotonic Knowledge-Bases
Bertrand Mazure, Lakhdar Sais and Eric Gregoire
1430 -- 1500 A Coherence-Based Approach to Default Reasoning
Salem Benferhat and Laurent Garcia
1500 -- open Formalization of Agent's Behaviors with Actions
Erik Sandewall

Tuesday, 10th June 1997, Track A

0900 -- 1000 Invited Talk:
Just How Stupid is Postmodernism?
John Woods
1000 -- 1030 Break
Invited Session on Data Mining
Organised by Daimler Benz
1030 -- 1100 Evaluation of Data Mining Algorithms
Gholamreza Nakhaeizadeh
1100 -- 1130 Causal Structures and Dependency Modelling
Peter Kischka
1130 -- 1200 Dependency Mining in Relational Databases
Siegfried Bell
1200 -- 1230 Some Experimental Results on Learning Probabilistic
and Possibilistic Networks with Different Evaluation
Christian Borgelt and Rudolf Kruse
1230 -- 1400 Lunch
Session: Reasoning about Knowledge and/or Time
1400 -- 1430 Toward a Uniform Logical Representation of Different
Kinds of Integrity Constraints
Robert Demolombe, Andrew Jones and Jose Carmo
1430 -- 1500 A Modal Logic for Reasoning about Knowledge and
Time on Binary Subset Trees
Bernhard Heinemann
1500 -- 1530 Representing and Reasoning with Events from Natural
Miguel Leith and Jim Cunningham
1530 -- 1600 Break
Session: Reasoning about Actions
1600 -- 1630 Towards a Formalization of Narratives: Actions with
Duration, Concurrent Actions and Qualification
Anna Radzikowska
1630 -- 1700 Process Modeling with Different Qualities of Knowledge
Wolfgang May
1800 -- open Conference Dinner (Barbecue)

Tuesday, 10th June 1997, Track B

0900 -- 1000 Invited Talk:
Just How Stupid is Postmodernism?
John Woods
1000 -- 1030 Break
Session: Dempster-Shafer Theory
1030 -- 1100 Multivalued Extension of Conditional Belief Functions
Anna Slobodov=E1
1100 -- 1130 Creating Prototypes for Fast Classification in
Dempster-Shafer Clustering
Johan Schubert
1130 -- 1200 Belief Functions with Nonstandard Values
Ivan Kramosil
1200 -- 1230 Fast-Division Architecture for Dempster-Shafer Belief
R. Bissig, J. Kohlas, N. Lehmann
1230 -- 1400 Lunch
Session: (Programming) Languages and Systems
1400 -- 1430 Assumption-Based Modeling Using ABEL
B. Anrig, R. Haenni, J. Kohlas, N. Lehmann
1430 -- 1500 Cactus: A Branching-Time Logic Programming Language
P. Rondogiannis, M. Gergatsoulis and T. Panayiotopoulos
1500 -- 1530 A Compositional Rreasoning System for Executing
Nonmonotonic Theories of Reasoning
Joeri Engelfriet and Jan Treur
1530 -- 1600 Break
Session: Uncertainty
1600 -- 1630 A Layered, Anytime Approach to Sensor Validation
Pablo Ibarguengoytia, Sunil Vadera and L. Enrique Sucar
1630 -- 1700 Combining Evidence under Partial Ignorance
Frans Voorbraak
1800 -- open Conference Dinner (Barbecue)

Wednesday, 11th June 1997, Track A

0900 -- 1000 Invited Talk:
On the Fundamental Problem of Deontic Logic
David Makinson
1000 -- 1030 Break
Session: Default Logic
1030 -- 1100 Using Default Logic for Lexical Knowledge
Anthony Hunter
1100 -- 1130 Rational Default Quantifier Logic
Emil Weydert
1130 -- 1200 Non-Elementary Speed-Ups in Default Reasoning
Uwe Egly and Hans Tompits
1200 -- 1230 Disjunctive Update, Minimal Change, and Default Reasoning
Yan Zhang
1230 -- 1400 Lunch
Session: Probability
1400 -- 1430 A Logically Sound Method for Uncertain Reasoning with
Quantified Conditionals
Gabriele Kern-Isberner
1430 -- 1500 Probabilistic Default Logic Based on Irrelevance and
Relevance Assumptions
Gerhard Schurz
1500 -- 1530 treeNets: A Framework for Anytime Evaluation of Belief
Nathalie Jitnah and A. Nicholson
1600 -- open Boat trip on the Rhine to Rh=F6ndorf
Following wine-tasting

Wednesday, 11th June 1997, Track B

0900 -- 1000 Invited Talk:
On the Fundamental Problem of Deontic Logic
David Makinson
1000 -- 1030 Break
Session: Miscellaneous Reasoning I
1030 -- 1100 Graduality by Means of Analogical Reasoning
J. Delechamp and B. Bouchon-Meunier
1100 -- 1130 Reasoning About Security: A Logic and a Decision
Method for Role-Based Access Control
Fabio Massacci
1130 -- 1200 Reasoning About Unpredicted Change and Explicit Time
Florence Dupin de Saint-Cyr and Jerome Lang
1200 -- 1230 Logic for Two: The Semantics of Distributive
Substructural Logics
John Slaney and Robert Meyer
1230 -- 1400 Lunch
Session: Argument-Based Reasoning
1400 -- 1430 Integrating Preference Orderings into Argument-Based
Leila Amgoud and Claudette Cayrol
1430 -- 1500 Normative Argumentation and Qualitative Probability
Simon Parsons
1500 -- 1530 Multiple Subarguments in Logic, Argumentation,
Rhetoric and Text Generation
Chris Reed and Derek Long
1600 -- open Boat trip on the Rhine to Rh=F6ndorf
Following wine-tasting

Thursday, 12th June 1997, Track A

0900 -- 1000 Invited Talk:
Algorithms and Systems for Data Mining
Stefan Wrobel
1000 -- 1030 Break
Session: Nonmonotonicity and Belief Revision
1030 -- 1100 Entrenchment Relations: A Uniform Approach to
Konstantinos Georgatos
1100 -- 1130 Structured Belief Bases: A Practical Approach to
Prioritised Base Revision
Dov Gabbay and Odinaldo Rodrigues
1130 -- 1200 How to Change Factual Beliefs Using Laws and
Dependence Information
Andreas Herzig
1200 -- 1400 Lunch
1400 End of Conference

Thursday, 12th June 1997, Track B

0900 -- 1000 Invited Talk:
Algorithms and Systems for Data Mining
Stefan Wrobel
1000 -- 1030 Break
Session: Miscellaneous Reasoning II
1030 -- 1100 Error Tolerance Method in Multiple-Valued Logic
Soowoo Lee
1100 -- 1130 Propositional Quantification for Conditional Logic
Philippe Besnard, J.-M. Guinnebault and Emm. Mayer
1130 -- 1200 A Fuzzy Analysis of Linguistic Negation of Nuanced
Property in Knowledge-Based Systems
Daniel Pacholczyk
1200 -- 1400 Lunch
1400 End of Conference


Henri Prade, Didier Dubois:=20
Focusing vs. Belief Revision:
A Fundamental Distinction when Dealing with Generic Knowledge
This paper advocates a basic distinction between two epistemic
operations called focusing and revision, which can be defined in any,
symbolic or numerical, representation framework which is rich enough
for acknowledging the difference between factual evidence and generic
knowledge. Revision amounts to modifying the generic knowledge when
receiving new pieces of generic knowledge (or the factual evidence
when obtaining more factual information), while focusing is just
applying the generic knowledge to the reference class of situations
which exactly corresponds to all the available evidence gathered on
the case under consideration. Various settings are considered, upper
and lower probabilities, belief functions, numerical possibility
measures, ordinal possibility measures, conditional objects,
nonmonotonic consequence relations.=20

David Makinson:=20
On the Fundamental Problem of Deontic Logic
The usual presentations of deontic logic, whether axiomatic or
semantic, treat norms as if they could bear truth-values. The
fundamental problem of deontic logic is to reconstruct it in accord
with the philosophical position that they do not. Alchourr=F3n and
Bulygin 1981 have indeed made such a construction, based on the
distinction between a norm and a proposition about norms, which
however has the shortcoming that it does not deal with conditional
norms. An extension devised by Alchourr=F3n 1993 covers conditional
norms, but with certain shortcomings. We extend the basic 1981
construction of Alchourr=F3n and Bulygin in another manner which, we
suggest, provides a more satisfactory and sensitive analysis of
conditional norms. In the process we also draw attention to two
interesting variants of the account of unconditional norms, one of
which allows obligations to have a part in generating permissions, the
other allowing permissions to limit obligations.=20

John Woods:=20
1.The Revival of Fallacy Theory in 1970. What provoked it?=20
2.Selected Historical Glimpses.=20
3.The Main Schools of Fallacy Theory=20
The Informal Logic Approach=20
The Pragma-Dialectical Approach=20
The Woods-Walton Approach=20
4.Contemporary Skepticism about Fallacy Theory=20
5.Open Questions and Future Prospects as an
=09 Interdisciplinary Research Programme.=20

John Woods:=20
Just How Stupid is Postmodernism?
Or, No Sets, Please, We're British
The title is a provocation, of course, a likely satisfier of its own
predicate. Even so, the intent of the paper is seriously to propose
that all the vital elements of postmodernism are to be found doing
indispensable work in some of this century's most celebrated technical
philosophy. We shall examine central issues in set theory and truth
conditional semantics.=20

Erik Sandewall:=20
Formalization of Agent's Behaviors with Actions
This tutorial is about a formalization of agent's behaviors in terms
of actions (and not in terms of goals). All actions have the
capability of succeeding or failing. Some actions are "procedural"
like subroutines, others are "goal-oriented". Actions have subactions
and a goal-oriented action may have procedural actions as sub-actions,
or (to obtain a nested structure) lower level goal-directed actions.=20

Philippe Smets:=20
Numerical Approaches to Uncertainty
After distinguishing between imprecision and uncertainty, we focus on
the quantified representations of uncertainty, considering weighted
imprecision only in its relation to uncertainty. We restrict ourselves
on the theories with well structured foundations leaving aside ad hoc
theories. We successively define the concept of support, the frame on
which uncertainty is defined and the concepts of actual worlds, of
'evidential corpus' and of the 'support state' that describes the
agent's opinion about which of the possible worlds is the actual
world. We then proceed by describing the various theories for
representing quantified uncertainty, those based on probability
functions, on possibility functions and on belief functions.=20

Stefan Wrobel:=20
Algorithms and Systems for Data Mining
Data Mining, or Knowledge Discovery in Databases, refers to a host of
techniques from Machine Learning and statistics for discovering
important information in large collections of data. In this talk, we
will give a brief introduction to this rapidly developing field and
outline the key principles. We will then illustrate the issues faced
in designing data mining methods with a description of a new method
for a typical data mining task, the problem of finding statistically
unusual subgroups, in particular for multi-relational databases. We
conclude with a description of Kepler, the data mining system which
supports our analysis methods.=20

Prof. Dr. Rudolf Kruse =20
Fakultaet fuer Informatik
Otto-von-Guericke-Universitaet Magdeburg
Universitaetsplatz 2
D-39106 Magdeburg, Germany
Voice: +49.391.67.18706
Fax: +49.391.6712018