Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Innerhalb dieser Seite:
Externe Seiten:
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp

Dagstuhl-Seminar 99091


( 28. Feb – 05. Mar, 1999 )

(zum Vergrößern in der Bildmitte klicken)

Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:

  • D. Kapur (Albany)
  • H. Ganzinger (MPI-Saarbrücken)
  • U. Furbach (Koblenz)


Logic has become a prominent formal language and formalism for all of computer science. It serves in many applications such as in problem specification, program development, program transformation, program verification, hardware design and verification, consistency checking of databases, theorem proving, expert systems, logic programming, and so on and so forth. Its strength derives from the universality of the language as well as from the fundamental logical operations and relations. Logical manipulations as needed in all these applications are realized by mechanisms developed in the field of deduction which has produced a variety of techniques of great importance in all these applications.

All these research issues are subject of a "Schwerpunktprogramm Deduktion'' funded by the Deutsche Forschungsgemeinschaft.

During the last years successful research in this program has led to the development of high performance deduction systems, and to laying a broad basis for various applications.

This success of deduction can be observed within the international AI and computer science scene as well. Deduction systems recently have achieved considerable successes and even public press: it was a first-order theorem prover which first proved the Robbins algebra conjecture and even reached the New York Times Science section. But not only in proofing mathematical theorems, also in various other disciplines of AI, automated deduction made substantial progress. In planning, for example, it turned out that propositional theorem provers are able to outperform special purpose planning systems. This is remarkable, since it was considered folklore that planning requires specialized algorithms, which was only recently disproved by the development of propositional satisfiability testing methods which can now handle much larger planning problem sizes. A very similar development can be observed in the field of model based diagnosis.

It is the idea of the proposed Dagstuhl-Seminar to bring together leading scientists in the area of Deduction from all over the world. By all participants the previous seminars in 1993, 1995 and 1997 were unanimously considered great successes and rated as top quality w.r.t. the scientific contributions presented in the talks. The quality is also reflected in the Dagstuhl-Seminar Reports No. 58, 110 and 170 of these seminars. Due to this outstanding success and to the growing importance of deduction the seminar will be held again.

A particular interest will be put on the application of deduction within AI systems and in general in software development.

  • D. Kapur (Albany)
  • H. Ganzinger (MPI-Saarbrücken)
  • U. Furbach (Koblenz)

Verwandte Seminare
  • Dagstuhl-Seminar 9310: Deduction (1993-03-08 - 1993-03-12) (Details)
  • Dagstuhl-Seminar 9512: Deduction (1995-03-20 - 1995-03-24) (Details)
  • Dagstuhl-Seminar 9709: Deduction (1997-02-24 - 1997-02-28) (Details)
  • Dagstuhl-Seminar 01101: Deduction (2001-03-04 - 2001-03-09) (Details)
  • Dagstuhl-Seminar 03171: Deduction and Infinite-state Model Checking (2003-04-21 - 2003-04-25) (Details)
  • Dagstuhl-Seminar 05431: Deduction and Applications (2005-10-23 - 2005-10-28) (Details)
  • Dagstuhl-Seminar 07401: Deduction and Decision Procedures (2007-09-30 - 2007-10-05) (Details)
  • Dagstuhl-Seminar 09411: Interaction versus Automation: The two Faces of Deduction (2009-10-04 - 2009-10-09) (Details)
  • Dagstuhl-Seminar 13411: Deduction and Arithmetic (2013-10-06 - 2013-10-11) (Details)
  • Dagstuhl-Seminar 15381: Information from Deduction: Models and Proofs (2015-09-13 - 2015-09-18) (Details)
  • Dagstuhl-Seminar 17371: Deduction Beyond First-Order Logic (2017-09-10 - 2017-09-15) (Details)
  • Dagstuhl-Seminar 19371: Deduction Beyond Satisfiability (2019-09-08 - 2019-09-13) (Details)
  • Dagstuhl-Seminar 21371: Integrated Deduction (2021-09-12 - 2021-09-17) (Details)
  • Dagstuhl-Seminar 23471: The Next Generation of Deduction Systems: From Composition to Compositionality (2023-11-19 - 2023-11-24) (Details)