June, 9 - 12, 1997, Bad Honnef, Germany
You can find program, general information and registration form at the
conference homepage http://www.mpi-sb.mpg.de/FAPR/
PROGRAM, GENERAL INFORMATION AND REGISTRATION FORM
--------------------------------------------------
GENERAL INFORMATION
It has become apparent in the last decades that human practical reasoning
demands more than traditional deductive logic can offer.
>From both a philosophical and an engineering perspective the analysis
and mechanisation of human practical reasoning requires a subtle
understanding of pragmatics, dialectics, and linguistics, even psychology.
Philosophers, software engineers, and AI researchers have similar ambitions
in this respect; they all try to deepen our understanding of human
reasoning and argumentation.
Various aspects of human practical reasoning have resulted in the
development of non-monotonic logics, default reasoning, modal logics,
belief function theory, Bayesian networks, fuzzy logic, possibility
theory, and user modelling approaches, to name a few.
These are new and active areas of research with many practical applications
and many interesting, as yet unsolved, theoretical problems.
The purpose of the ECSQARU/FAPR is to introduce these communities
to each other, compare the current state of research, and make research
available to all researchers involved.
This year particular attention is directed to
special tutorials and invited sessions which were organised by leading
researchers from the ``quantitative'' and the ``qualitative communities''
respectively.
The ECSQARU/FAPR'97 Conference will be held at the Seminaris,
Alexander-von-Humboldt-Str. 20, 53604 Bad Honnef, Germany.
The Seminaris is within easy reach of the main train station
of Bonn. Major airports are Cologne/Bonn, Duesseldorf
(1 hour by train) and Frankfurt (2 hours by train). Registered
participants will receive detailed information about Seminaris
and how to get there.
Conference Chairs
Dov Gabbay Rudolf Kruse
Imperial College Otto-von-Guericke-Univ.
180 Queen's Gate Bueltenweg 74/75
London SW7 2BZ 39106 Magdeburg
Great Britain Germany
Secretary Arrangement
Christine Harms Andreas Nonnengart
c/o GMD Max-Planck-Institut
Schloss Birlinghoven Im Stadtwald
53757 St. Augustin 66123 Saarbruecken
Germany Germany
email: christine.harms@gmd.de email: nonnenga@mpi-sb.mpg.de
Program Committee:
L.Carlucci Aiello, J.Baldwin, J.Bell, W.Bibel, J.Bigham, F.Bergadano,
P.Besnard, J.Blair, B.Bouchon-Meunier, G.Brewka, A.Bundy, A.Cohn,
J.Cunningham, M.Delgado, R.Demolombe, P.Doherty, D.Dubois,
L.Farinas del Cerro, J.Fox, C.Froidevaux, D.Gabbay, P.Gaerdenfors,
J.Gebhardt, T.Gordon, E.Gregoire, R.Grootendorst, P.Hajek, H.Herre,
A.Hunter, D.Israel, R.Johnson, A.Jones, J.Kohlas, R.Kowalski, P.Krause,
R.Kruse, S.Lauritzen, R.Lopez de Mantaras, W.Lukaszewicz, E.Mamdani,
A.Martelli, J.Meyer, S.Moral, B.Nebel, A.Nonnengart, D.Nute, H.Ohlbach,
D.Pearce, D.Perkins, H.Prade, I.Pratt, U.Reyle, H.Rott, L.Saitta,
E.Sandewall, T.Schaub, M.Scriven, P.Siegel, J.Siekmann, P.Smets,
K.Sundermeyer, Y.Tan, R.Thomason, J.Treur, D.Vermeir, F.Voorbraak,
D.Walton, E.Weydert, N.Wilson, C.Witteveen, J.Woods, L.Zadeh
PROGRAM:
Monday, June 9, Track A
8:45 Dov Gabbay and Rudolf Kruse
Opening
Plenary Session: Invited Talk
9:00 Henri Prade and Didier Dubois
Focusing vs. Belief Revision:
A Fundamental Distinction when Dealing with Generic Knowledge
10:00 Break
Tutorial
10:30 Philippe Smets
Numerical Approaches to Uncertainty
12:30 Lunch
Information Fusion: Methodological Aspects
Organised by Didier Dubois and Henri Prade
14:00 Philippe Smets
The alpha-Junctions:
Combination Operators Applicable to Belief Functions
14:30 Alain Appriou
Multisensor Data Fusion in Situation Asessment Processes
15:00 Joerg Gebhardt and Rudolf Kruse
Background and Perspectives of Possibilistic Graphical Models
15:30 Salem Benferhat, Didier Dubois and Henri Prade
Syntactic Combination of Uncertain Information:
A Possibilistic Approach
16:00 Break
16:30 Philippe Smets and Roger Cooke
How to Derive Belief Functions Within Probabilistic Frameworks?
17:00 Laurence Cholvy and Anthony Hunter
Information Fusion in Logic: A Brief Overview
17:30 Paolo Bison, Gaetano Chemello, Claudio Sossai, Gaetano Trainito
A Syntactic al Approach to Data Fusion
Monday, June 9, Track B
8:45 Dov Gabbay and Rudolf Kruse
Opening
Plenary Session: Invited Talk
9:00 Henri Prade and Didier Dubois
Focusing vs. Belief Revision:
A Fundamental Distinction when Dealing with Generic Knowledge
10:00 Break
Tutorial
10:30 John Woods:
Fallacies
12:30 Lunch
Session: Conflict Resolution
14:00 Bertrand Mazure, Lakhdar Sais and Eric Gregoire
Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases
14:30 Salem Benferhat and Laurent Garcia
A Coherence-Based Approach to Default Reasoning
Tutorial
15:00 Erik Sandewall
Formalization of Agent's Behaviors with Actions
Tuesday, June 10, Track A
Plenary Session: Invited Talk
9:00 John Woods
Just How Stupid is Postmodernism?
10:00 Break
Invited Session on Data Mining
Organized by Daimler Benz
10:30 Gholamreza Nakaizadeh
Applications Aspects of Data Mining
11:00 Peter Kischka
Causal Structures and Dependency Modelling
11:30 Siegfried Bell
Dependency Mining in Relational Databases
12:00 Christian Borgelt and Rudolf Kruse
Some Experimental Results on Learning Probabilistic and
Possibilistic Networks with Different Evaluation Measures
12:30 Lunch
Session: Reasoning about Knowledge and/or Time
14:00 Robert Demolombe, Andrew Jones and Jose Carmo
Toward a Uniform Logical Representation of Different Kinds of
Integrity Constraints
14:30 Bernhard Heinemann
A Modal Logic for Reasoning about Knowledge and Time on
Binary Subset Trees
15:00 Miguel Leith and Jim Cunningham
Representing and Reasoning with Events from Natural Language
15:30 Break
Session: Reasoning about Actions
16:00 Anna Radzikowska
Towards a Formalization of Narratives: Actions with Duration,
Concurrent Actions and Qualification
16:30 Wolfgang May
Process Modeling with Different Qualities of Knowledge
17:00 Break
18:00 Conference Dinner (Barbecue)
Tuesday, June 10, Track B
Plenary Session: Invited Talk
9:00 John Woods
Just How Stupid is Postmodernism?
10:00 Break
Session: Dempster-Shafer Theory
10:30 Anna Slobodova
Multivalued Extension of Conditional Belief Functions
11:00 Johan Schubert
Creating Prototypes for Fast Classification in Dempster-Shafer
Clustering
11:30 Ivan Kramosil
Belief Functions with Nonstandard Values
12:00 R.Bissig, J.Kohlas and N.Lehmann
Fast-Division Architecture for Dempster-Shafer Belief Functions
12:30 Lunch
Session: (Programming) Languages and Systems
14:00 B.Anrig, R.Haenni, J.Kohlas and N.Lehmann
Assumption-Based Modeling Using ABEL
14:30 P.Rondogianni, M.Gergatsoulis and T.Panayiotopoulos
Cactus: A Branching-Time Logic Programming Language
15:00 Joeri Engelfriet and Jan Treur
A Compositional Rreasoning System for Executing Nonmonotonic
Theories of Reasoning}
15:30 Break
Session: Uncertainty
16:00 Pablo Ibarguengoytia, Sunil Vadera and L.Enrique Sucar
A Layered, Anytime Approach to Sensor Validation
16:30 Frans Voorbraak
Combining Evidence under Partial Ignorance
17:00 Break
18:00 Conference Dinner (Barbecue)
Wednesday, June 11, Track A
Plenary Session: Invited Talk
9:00 David Makinson
On the Fundamental Problem of Deontic Logic
10:00 Break
Session: Default Logic
10:30 Anthony Hunter
Using Default Logic for Lexical Knowledge
11:00 Emil Weydert
Rational Default Quantifier Logic
11:30 Uwe Egly, Hans Tompits
Non-Elementary Speed-Ups in Default Reasoning
12:00 Yan Zhang
Disjunctive Update, Minimal Change, and Default Reasoning
12:30 Lunch
Session: Probability
14:00 Gabriele Kern-Isberner
A Logically Sound Method for Uncertain Reasoning with
Quantified Conditionals
14:30 Gerhard Schurz
Probabilistic Default Logic Based on Irrelevance and
Relevance Assumptions
15:00 Nathalie Jitnah and A.Nicholson
treeNets: A Framework for Anytime Evaluation of Belief Networks
15:30 Break
16:00 Boat trip on the Rhine to Rhoendorf;
Following wine-tasting
Wednesday, June 11, Track B
Plenary Session: Invited Talk
9:00 David Makinson
On the Fundamental Problem of Deontic Logic
10:00 Break
Session; Miscellaneous Reasoning I
10:30 J.Delechamp and B.Bouchon-Meunier
Graduality by Means of Analogical Reasoning
11:00 Fabio Massacci
Reasoning About Security: A Logic and a Decision Method for
Role-Based Access Control
11:30 Florence Dupin de Saint-Cyr and Jerome Lang
Reasoning About Unpredicted Change and Explicit Time
12:00 John Slaney and Robert Meyer
Logic for Two: The Semantics of Distributive Substructural Logics
12:30 Lunch
Session: Argument-Based Reasoning
14:00 Leila Amgoud and Claudette Cayrol
Integrating Preference Orderings into Argument-Based Reasoning
14:30 Simon Parsons
Normative Argumentation and Qualitative Probability
15:00 Chris Reed and Derek Long
Multiple Subarguments in Logic, Argumentation, Rhetoric and
Text Generation
15:30 Break
16:00 Boat trip on the Rhine to Rhoendorf;
Following wine-tasting
Thursday, June 12, Track A
Plenary Session: Invited Talk
09:00 Stefan Wrobel
Algorithms and Systems for Data Mining
10:00 Break
Session: Nonmonotonicity and Belief Revision
10:30 Konstantinos Georgatos
Entrenchment Relations: A Uniform Approach to Nonmonotonicity
11:00 Dov Gabbay and Odinaldo Rodrigues
Structured Belief Bases:
A Practical Approach to Prioritised Base Revision
11:30 Andreas Herzig
How to Change Factual Beliefs Using Laws and Dependence Information
12:00 Lunch
14:00 End of Conference
Thursday, June 12, Track B
Plenary Session: Invited Talk
09:00 Stefan Wrobel
Algorithms and Systems for Data Mining
10:00 Break
Session: Miscellaneous Reasoning II
10:30 Soowoo Lee
Error Tolerance Method in Multiple-Valued Logic
11:00 Philippe Besnard, J.-M.Guinnebault and Emm.Mayer
Propositional Quantification for Conditional Logic
11:30 Daniel Pacholczyk
A Fuzzy Analysis of Linguistic Negation of Nuanced Property
in Knowledge-Based Systems
12:00 Lunch
14:00 End of Conference
--------------------------------------------------------------
ECSQARU/FAPR' 97 Registration
--------------------------------------------------------------
Fill out this form and
email it to christine.harms@gmd.de
or send it by snail mail to
Christine Harms
c/o GMD
ECSQARU/FAPR-97
Schloss Birlinghoven
D-53754 Sankt Augustin
Germany
Tel: ..49 2241 14 2473
Fax: ..49 2241 14 2472
--------------------------------------------------------------
Last Name
First Name
Mr. Mrs. Title:
Affiliation
Street/PO Box
Zip Code City
Country
E-mail address
Phone
Fax
Check here if you have a disability that requires
special needs: no yes
Please explain:
--------------------------------------------------------------
Accommodation (Room + Breakfast)
--------------------------------
single nights 122.- DM each = DM total
double nights 86.- DM each = DM total
Room mate (for double rooms):
Conference Fee
--------------
This includes
- Proceedings
- lunch and coffee
- conference dinner (barbecue)
early (until 9th May) 470.- DM
late (after 9th May) 570.- DM
--------------------------------------------------------------
Please indicate
Arrival time (date,time)
Departure time (date,time)
--------------------------------------------------------------
Excursion 35.- DM
Two hours boat trip to Rhoendorf; wine tasting in Rhoendorf
I want to join the excursion no yes
--------------------------------------------------------------
TOTAL: (Registration + Accommodation) DM
--------------------------------------------------------------
Please indicate your payment:
-- I pay cash when I arrive
(please add 50.- DM to the total amount)
-- Check, draft or money order sent to the Conference Office
-- Money transfer to:
Bank: Volksbank Bonn Rhein-Sieg
Beneficiary: `ECSQARU/FAPR c/o Christine Harms'
Account No: 160 255 90 13
Bank code: 380 601 86
-- Only for participants coming from abroad it is possible to
pay by credit card
Eurocard/Mastercard/Access AmericanExpress Visa Diners
Card Number:
Card expiration date:
Card Holder's name:
Amount Card:
--------------------------------------------------------------
Any further comments: (If you want student reductions, grants
etc explain here)
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-