ECSQARU / FAPR '97: CALL FOR PAPERS

• Subject: ECSQARU / FAPR '97: CALL FOR PAPERS
• From: dov gabbay <dg@doc.ic.ac.uk>
• Date: Tue, 15 Oct 1996 18:21:12 +0000
• Cc: kruse@iik.cs.uni-magdeburg.de, ho1@doc.ic.ac.uk

DEAR FRIENDS
WOULD YOU PLEASE DISTRIBUTE  THIS CONFERENCE CALL
THANK YOU


     International Joint Conference on
       Qualitative and Quantitative
           Practical Reasoning

            ECSQARU / FAPR '97

              9-12 June 1997

     Seminaris, Bad Honnef, Germany

        URL:   http://www.mpi-sb.mpg.de/FAPR


             Aims and Scope
             **************

We are happy to announce that from the 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.

The three predecessors of ECSQARU'97 were sponsored
and organized by the consortium of DRUMS
(Defeasible Reasoning and Uncertainty Management Systems,
ESPRIT III BRA 6156). This project involved 21 European
universities and research organizations with the goal of
developing and synthesizing approaches in the fields of
belief change, non-monotonic deduction,
inconsistency in reasoning, abduction, efficient
inference algorithms, and dynamic reasoning with partial models.
FAPR 96 was sponsored by MEDLAR, the european project on
practical reasoning, involving over 15 major european
groups in mechanised deduction in qualitative
practicsal reasoning.

TOGETHER BOTH CONFERENCES COVER ALL ASPECTS OF HUMAN
PRACTICAL REASONING!


                   Areas of Contribution

     Theories of agents
     Theories of actions
     New logics (informal, dialogue, etc.)
     Argumentation theory
     Belief functions
     Aggregating arguments
     Combining reasoning mechanisms
     Case studies
     Formal models for reasoning
     Non-monotonic practical reasoning mechanisms
     Application of agent oriented programming
     Fallacies and their role in practical reasoning
     Inconsistency and actions
     Temporal and spatial practical reasoning
     Tools for the practical reasoner
     Practical reasoning application in robotics
     Practical reasoning application in knowledge bases
     Logic programming and practical reasoning
     Legal reasoning
     User modelling
     The numerical aspects of handling
           imperfect knowledge as uncertainty
     Vagueness, imprecision, incompleteness,
          and partial inconsistency.
     Probability theory
     Possibility theory
     Fuzzy logic
     Evidence or Dempster-Shafer theory
     Uncertainty in knowledge-based systems
     Data fusion
     Knowledge discovery from data bases
     Data mining
     Graphical models
     General concepts of belief change.
     Theoretical results, algorithms,
          and applications that address the unification and
     integration of different approaches
          are especially encouraged.



              Conference Chairs
              *****************

            Dov M. Gabbay
            Imperial College, London,
            England

            Rudolf Kruse
            University of Braunschweig,
            Germany




            Program Committee
            *****************

    Luigia Carlucci Aiello, (Rome)
    J. Baldwin, (Bristol)
    J. Bell, (QMW, London)
    Wolfgang Bibel, (Darmstadt)
    J. Bigham, (QMW, London)
    F. Bergadano, (Torino)
    Ph. Besnard, (Rennes)
    J. Anthony Blair, (Windsor)
    B. Bouchon-Meunier, (Paris VI)
    Gerd Brewka, (Wien)
    Alan Bundy, (Edinburgh)
    Anthony Cohn, (Leeds)
    Jim Cunningham, (London)
    M. Delgado, (Granada)
    Robert Demolombe, (Toulouse)
    Patrick Doherty, (Linkoping)
    D. Dubois, (Toulouse)
    Luis Fariqas del Cerro, (Toulouse)
    J. Fox, (ICRF, London)
    Christine Froidevaux, (Orsay)
    P. Gardenfors, (Lund)
    J. Gebhardt, (Braunschweig)
    E. Gregoire, (Artois)
    Dov Gabbay, (London)
    Rob Grootendorst, (Amsterdam)
    P. Hajek, (Czech. Acad. of Science, Prague)
    H. Herre, (Leipzig)
    Tony Hunter, (London)
    David Israel, (Menlo Park)
    Ralph A. Johnson, (Windsor)
    Andrew Jones, (Oslo)
    J. Kohlas, (Fribourg)
    Robert A. Kowalski, (London)
    P. Krause, (ICRF, London)
    Rudolf Kruse, (Braunschweig)
    S. Lauritzen, (Aalborg)
    R. Lopez de Mantaras, (CEAB,Blanes)
    W. Lukaszewicz, (Warsaw)
    E. Mamdani, (QMW, London)
    Alberto Martelli, (Torino)
    J.J. Meyer, (Free Amsterdam)
    S. Moral, (Granada)
    Bernhard Nebel, (Freiburg)
    Andreas Nonnengart,(Saarbr|cken)
    Donald Nute, (Athens, Georgia)
    Hans J|rgen Ohlbach, (London)
    David Pearce, (Saarbr|cken)
    David Perkins, (Cambridge, USA)
    Henri Prade, (Toulouse)
    I Pratt, (Manchester)
    Uwe Reyle, (Suttgart)
    Hans Rott, (Konstanz)
    L. Saitta, (Torino)
    Erik Sandewall, (Linkoping)
    T. Schaub, (Rennes)
    Michael Scriven, (Michigan)
    P. Siegel, (Marseille)
    ?Jvrg Siekmann, (Saarbr|cken)
    Philippe Smets, (Brussels)
    K. Sundermeyer, (Daimler Benz, Berlin)
    Y.H. Tan, (Amsterdam)
    Richmond H. Thomason, (Pittsburgh)
    Jan Treur, (Amsterdam)
    D. Vermeir, (Antwerpen)
    F. Voorbraak, (Amsterdam)
    Doug Walton, (Winnipeg)
    Emil Weydert, (MPI Saarbr|cken)
    N. Wilson, (QMW, London)
    C. Witteveen, (Delft)
    John Woods, (Lethbridge)
    Lotfi Zadeh, (Berkeley)
    H.-J. Zimmermann, (Aachen)




                  Organizing Committee
                  ********************

       Christine Harms         Andreas Nonnengart
       GMD, Sankt Augustin,    Max-Planck-Institut, Saarbr|cken,
       Germany                 Germany






                     Important dates
                     ***************

            January 06 1997    Submission deadline
            February 15 1997   Notification of acceptance
            March 15 1997      Final version of accepted papers
            June 9-12 1997     The conference




                     Where to submit
                     ***************

         ECSQARU Papers:

         Prof. Dr. Rudolf Kruse
         Dept. of Computer Science
         TU Braunschweig
         B|ltenweg 74 - 75
         38102 Braunschweig,
         Germany
         Phone: +49 531 391 3289
         Fax: +49 531 391 5936
         Email: kruse@ibr.cs.tu-bs.de


         FAPR Papers:

         Dr. Hans J|rgen Ohlbach
         Dept. of Computing
         Imperial College
         180 Queen's Gate
         London SW7 2BZ, England
         Phone: +44 171 594 8208
         Fax: +44 171 594 8201
         Email: h.ohlbach@doc.ic.ac.uk


PROFESSOR DOV GABBAY                   ALL LATEX COMMUNICATIONS AND
DEPT OF COMPUTING                      DOCUMENTS PLEASE SEND TO JANE SPURR
180 QUEEN'S GATE                        js@doc.ic.ac.uk
LONDON SW7 2BZ
 TEL ++44 171 5948205                  TEL ++44 171 5948200
 FAX ++44 171 5948201                  FAX ++44 171 5948201

• Prev: ETW'97: IEEE European Test Workshop - Call for papers.
• Next: Grenoble-Alpe d'Huez European School of Computer Science
• Index: AMAST Mail 1996