Qualitative and quantitative practical reasoning
9 Czerwca 1997 - 9 Czerwca 1997
Germany
The International Joint Conference on Qualitative and Quantitative Practical Reasoning will take place in Bad Honnef, Germany, on 9-12 June 1997. The conference combines two major conferences in the field of reasoning and uncertainty: the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'97) and the International Conference on Formal and Applied Practical Reasoning (FAPR'97).
The ECSQARU was an initiative of the DRUMS (Defeasible Reasoning and Uncertainty Management Systems) consortium, supported by the Community's specific RTD programme in the field of Information Technologies (ESPRIT). 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 was sponsored by the MEDLAR (Mechanising Deduction in the Logics of Practical Reasoning) project, also supported by the ESPRIT programme, which involved over 15 major European groups.
The joint conference covers all aspects of human practical reasoning. It is open to the international community of researchers interested in reasoning and uncertainty. Papers are invited for submission by 6 January 1996.
For further information on, and submission of papers to, ECSQARU, please contact:
Otto von Guericke Universit�t Magdeburg
Prof. Dr. Rudolf Kruse
Institut f�r Informations und Kommunikationssysteme
Universit�tsplatz 2
D-39106 Magdeburg
Tel. +49-391-6718706; Fax +49-391-6712018
E-mail: kruse@iik.cs.uni-magdeburg.de
For further information on, and submission of papers to, FAPR, please contact:
Imperial College
Prof. Dov Gabbay/Dr. Hans Jurgen Ohlbach
Dept. of Computing
180 Queen's Gate
London SW7 2BZ
Tel. +44-171-5948205/5948208; Fax +44-171-5948201
E-mail: h.ohlbach@doc.ic.ac.uk
URL: http://www.mpi-sb.mpg.de/FAPR(odnośnik otworzy się w nowym oknie)
The ECSQARU was an initiative of the DRUMS (Defeasible Reasoning and Uncertainty Management Systems) consortium, supported by the Community's specific RTD programme in the field of Information Technologies (ESPRIT). 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 was sponsored by the MEDLAR (Mechanising Deduction in the Logics of Practical Reasoning) project, also supported by the ESPRIT programme, which involved over 15 major European groups.
The joint conference covers all aspects of human practical reasoning. It is open to the international community of researchers interested in reasoning and uncertainty. Papers are invited for submission by 6 January 1996.
For further information on, and submission of papers to, ECSQARU, please contact:
Otto von Guericke Universit�t Magdeburg
Prof. Dr. Rudolf Kruse
Institut f�r Informations und Kommunikationssysteme
Universit�tsplatz 2
D-39106 Magdeburg
Tel. +49-391-6718706; Fax +49-391-6712018
E-mail: kruse@iik.cs.uni-magdeburg.de
For further information on, and submission of papers to, FAPR, please contact:
Imperial College
Prof. Dov Gabbay/Dr. Hans Jurgen Ohlbach
Dept. of Computing
180 Queen's Gate
London SW7 2BZ
Tel. +44-171-5948205/5948208; Fax +44-171-5948201
E-mail: h.ohlbach@doc.ic.ac.uk
URL: http://www.mpi-sb.mpg.de/FAPR(odnośnik otworzy się w nowym oknie)