TOP
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
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 9512

Deduction

( 20. Mar – 24. Mar, 1995 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/9512

Organisatoren
  • K. Furukawa
  • M. Stickel
  • W. Bibel



Motivation

Logic is an essential formalism for computer science and artificial intelligence. It is used in such diverse and important activities as

  • Problem specification;
  • Program transformation, verification, and synthesis;
  • Hardware design and verification;
  • Logic programming;
  • Deductive databases;
  • Knowledge representation, reasoning, diagnosis, and planning;
  • Natural language understanding;
  • Mathematical theorem proving.

The universality of the language of logic, the certainty about the meaning of statements in logic, and the implementability of operations of logic, all contribute to its usefulness in these endeavors.

Implementations of logical operations are realized in the field of automated deduction, which has introduced fundamental techniques such as unification, resolution, and term rewriting, and developed automated deduction systems for propositional, first-order, higher-order, and non-classical logics.

The 1995 Dagstuhl Seminar on Deduction, succeeding the one in 1993, was convened to give international researchers on deduction the opportunity to meet and discuss techniques, applications and research directions for deduction. It featured 38 presentations, a panel discussion, and an excursion. Some of the results were deemed really exciting by the audience; among those are the discovery of proofs for a number of new mathematical theorems (in algebraic geometry, quasi-groups etc.) which were established with substantial participation of automatic systems; further the mechanical proofs of large parts of mathematical books on set theory, automata theory, and so forth. With the comfortable facilities available at Dagstuhl, system demonstrations were given such as a geometry prover, remarkable not only for its proof power but also for its amazing interface featuring geometrical constructions along with the formal theories and theorems. To an extent limited by the restricted number (43) of participants the seminar provided also a forum for presenting results obtained in a German project (DFG Schwerpunktprogramm) on deduction to the international participants.

The success of this meeting was due in no small part to the Dagstuhl Seminar Center and its staff for creating such a friendly and productive environment. The organizers and participants greatly appreciate their effort. The organizers also thank Uwe Egly for his support in many organizational details. Financial support from NSF and CEU (directly and through Compulog) are also greatly appreciated.

Copyright

Teilnehmer
  • K. Furukawa
  • M. Stickel
  • W. Bibel

Verwandte Seminare
  • Dagstuhl-Seminar 9310: Deduction (1993-03-08 - 1993-03-12) (Details)
  • Dagstuhl-Seminar 9709: Deduction (1997-02-24 - 1997-02-28) (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)