07401 Executive Summary – Deduction and Decision Procedures

Authors Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis

Thumbnail PDF


  • Filesize: 75 kB
  • 3 pages

Document Identifiers

Author Details

Franz Baader
Byron Cook
Jürgen Giesl
Robert Nieuwenhuis

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)


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.
  • Formal Logic
  • Deduction
  • Artificial Intelligence


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads