Qualitative und quantitative praktische Beweisführung
9 Juni 1997 - 9 Juni 1997
Deutschland
Die Internationale gemeinsame Konferenz über qualitative und quantitative praktische Beweisführung findet vom 9. bis 12. Juni 1997 in Bad Honnef, Deutschland statt.
Die Konferenz kombiniert zwei wichtige Konferenzen auf dem Gebiet der Beweisführung und der Unsicherheit: die Europäische Konferenz über symbolische und quantitative Verfahren der Beweisführung und für Unsicherheit (ECSQARU'97) und die Internationale Konferenz über formale und angewandte Beweisführung (FAPR'97).
Die ECSQARU war eine Initiative des DRUMS-Konsortiums (DRUMS = Defeasible Reasoning and Uncertainty Management Systems), das vom spezifischen gemeinschaftlichen FTE-Programm auf dem Gebiet der Informationstechnologien (ESPRIT) unterstützt wird. An diesem Projekt waren 21 europäische Hochschulen und Forschungseinrichtungen beteiligt. Ziele waren die Entwicklung und Synthese des Vorgehens auf den Gebieten Meinungsänderung, nichtmonotone Abduktion, inkonsequente Beweisführung, Abduktion, effiziente Vermutungsalgorithmen und dynamische Beweisführung unter Anwendung von Teilmodellen.
FAPR wurde vom MEDLAR-Projekt (Mechanising Deduction in the Logics of Practical Reasoning) gesponsort, das auch vom ESPRIT-Programm unterstützt wird, an dem 15 größere europäische Gruppen beteiligt sind.
Die gemeinsame Konferenz befaßt sich mit allen Gesichtspunkten der praktischen Beweisführung durch den Menschen. Sie steht der internationalen Gemeinschaft der Forscher offen, die an Beweisführung und Unsicherheit interessiert sind. Beitragsvorschläge sind bis zu, 6.Januar 1996 einzureichen.
Weitere Auskünfte von bzw. Einsendung von Beitragsvorschlägen für die ECSQARU an:
Otto von Guericke Universität Magdeburg
Herrn 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
Weitere Auskünfte über bzw. die Unterbreitung von Beitragsvorschlägen für FAPR an:
Imperial College
Herrn Prof. Dov Gabbay/Herrn Dr. Hans Jürgen 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(öffnet in neuem Fenster)
Die Konferenz kombiniert zwei wichtige Konferenzen auf dem Gebiet der Beweisführung und der Unsicherheit: die Europäische Konferenz über symbolische und quantitative Verfahren der Beweisführung und für Unsicherheit (ECSQARU'97) und die Internationale Konferenz über formale und angewandte Beweisführung (FAPR'97).
Die ECSQARU war eine Initiative des DRUMS-Konsortiums (DRUMS = Defeasible Reasoning and Uncertainty Management Systems), das vom spezifischen gemeinschaftlichen FTE-Programm auf dem Gebiet der Informationstechnologien (ESPRIT) unterstützt wird. An diesem Projekt waren 21 europäische Hochschulen und Forschungseinrichtungen beteiligt. Ziele waren die Entwicklung und Synthese des Vorgehens auf den Gebieten Meinungsänderung, nichtmonotone Abduktion, inkonsequente Beweisführung, Abduktion, effiziente Vermutungsalgorithmen und dynamische Beweisführung unter Anwendung von Teilmodellen.
FAPR wurde vom MEDLAR-Projekt (Mechanising Deduction in the Logics of Practical Reasoning) gesponsort, das auch vom ESPRIT-Programm unterstützt wird, an dem 15 größere europäische Gruppen beteiligt sind.
Die gemeinsame Konferenz befaßt sich mit allen Gesichtspunkten der praktischen Beweisführung durch den Menschen. Sie steht der internationalen Gemeinschaft der Forscher offen, die an Beweisführung und Unsicherheit interessiert sind. Beitragsvorschläge sind bis zu, 6.Januar 1996 einzureichen.
Weitere Auskünfte von bzw. Einsendung von Beitragsvorschlägen für die ECSQARU an:
Otto von Guericke Universität Magdeburg
Herrn 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
Weitere Auskünfte über bzw. die Unterbreitung von Beitragsvorschlägen für FAPR an:
Imperial College
Herrn Prof. Dov Gabbay/Herrn Dr. Hans Jürgen 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(öffnet in neuem Fenster)