March 8 – 12 , 1993, Dagstuhl Seminar 9310



W. Bibel, K. Furukawa, M. Stickel

For support, please contact

Dagstuhl Service Team


Dagstuhl-Seminar-Report 58


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 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 nonclassical logics.

This meeting was convened to give international researchers on deduction the opportunity to meet and discuss techniques, applications, and research directions for deduction. Presentations covered many topics of current research in the field. At least equally valuable was the opportunity to discuss our successes, failures, plans, and dreams. We have achieved some great successes, such as solving open problems in mathematics and verifying a microprocessor design, and deductive techniques are embedded in logic programming, deductive database, and artificial intelligence systems. However, automated deduction systems are not yet used extensively by mathematicians, logicians, or hardware and software developers. At the start of a new German national project on deduction, our discussions of goals for the field, as well as its methods, could prove important.

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 organisers and participants greatly appreciate their effort.

Dagstuhl Seminar Series


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.