Dagstuhl-Seminar 9709
Deduction
( 24. Feb – 28. Feb, 1997 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/9709
Organisatoren
- M. Stickel (SRI)
- R. Hasegawa (Kyushu)
- U. Furbach (Koblenz)
- W. Bibel (Darmstadt)
Kontakt
The report covers the seminar on Deduction, held at Dagstuhl, Germany during February 24–28, 1997. This seminar was organized by W. Bibel (Darmstadt, Germany), U. Furbach (Koblenz, Germnay), R. Hasegawa (Kyushu, Japan) and M. Stickel (SRI, USA). It brought together about 50 researchers from various countries.
Dagstuhl, a place being developed exclusively for research activities in Computer Science, provides an excellent atmosphere for researchers to meet and exchange ideas. During this seminar we had 41 talks, a panel, and a discussion how system implementors could cooperate.
The Dagstuhl Seminar on Deduction, succeeding the ones in 1993 and in 1995, was convened to give international researchers on deduction the opportunity to meet and discuss techniques, applications and research directions for deduction. The seminar also provided a forum for results obtained in the German focus project (DFG Schwerpunkprogramm) on deduction.
Throughout this seminar it turned out that logic is not only an essential formalism for computer science and artificial intelligence. Moreover there is a driving force towards using logic and automated deduction within various applications and other domains of computer science. There were talks ranging from more theoretical questions on deduction systems, to applications like planning, logic programming, knowledge representation and to verification of hard- and software.
With the excellent computing facilities available at Dagstuhl it also was possible to have a number of very impressive system demonstrations.
A panel on “How to get Automated Deduction out of its Corner” was organised during this seminar by Wolfgang Bibel. The discussion resulted in an agreement that there are realistic examples of applying automated deduction and its methods within various application areas.
Creative Commons BY 3.0 Unported license
- M. Stickel (SRI)
- R. Hasegawa (Kyushu)
- U. Furbach (Koblenz)
- W. Bibel (Darmstadt)
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 99091: Deduction (1999-02-28 - 1999-03-05) (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)
