Dagstuhl-Seminar 9310
Deduction
( 08. Mar – 12. Mar, 1993 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/9310
Organisatoren
- K. Furukawa
- M. Stickel
- W. Bibel
Kontakt
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 la.ngua.ge 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.
Creative Commons BY 3.0 DE
- K. Furukawa
- M. Stickel
- W. Bibel
Verwandte Seminare
- Dagstuhl-Seminar 9512: Deduction (1995-03-20 - 1995-03-24) (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)
