DagSemProc.07401.2.pdf
- Filesize: 75 kB
- 3 pages
Document
07401 Executive Summary – Deduction and Decision Procedures
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 7401
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2007-11-29
Cite AsGet BibTex
Franz Baader, Byron Cook, Jürgen Giesl, and Robert Nieuwenhuis. 07401 Executive Summary – Deduction and Decision Procedures. In Deduction and Decision Procedures. Dagstuhl Seminar Proceedings, Volume 7401, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
https://doi.org/10.4230/DagSemProc.07401.2
https://doi.org/10.4230/DagSemProc.07401.2
Abstract
Formal logic provides a mathematical foundation for many areas of
computer science. Significant progress has been made in the
challenge of making computers perform non-trivial logical reasoning.
be it fully automatic, or in interaction with humans.
In the last years it has become more and more evident that
theory-specific reasoners, and in particular decision procedures, are
extremely important in many applications of such deduction tools.
General-purpose reasoning methods such as resolution or paramodulation
alone are not efficient enough to handle the needs of real-world
applications.
%
For this reason, the focus of this seminar was on decision procedures,
their integration into general-purpose theorem provers,
and the application of the integrated tools in computer science.
Keywords
- Formal Logic
- Deduction
- Artificial Intelligence
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads