TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 9709

Deduction

( Feb 24 – Feb 28, 1997 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/9709

Organizers
  • M. Stickel (SRI)
  • R. Hasegawa (Kyushu)
  • U. Furbach (Koblenz)
  • W. Bibel (Darmstadt)



Summary

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.

Copyright

Participants
  • M. Stickel (SRI)
  • R. Hasegawa (Kyushu)
  • U. Furbach (Koblenz)
  • W. Bibel (Darmstadt)

Related Seminars
  • 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)